Index of /distrib/current/files

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]CoqIDE_8.5pl2.dmg11-Jul-2016 14:20 100M 
[   ]CoqIDE_8.5pl2.dmg.sha111-Jul-2016 16:20 60  
[   ]CoqSDK-85-1.zip23-Jan-2015 14:36 65M 
[   ]CoqSDK-85-1.zip.sha123-Jan-2015 14:37 58  
[   ]CoqSDK-85-1_64.zip17-Aug-2015 18:33 24M 
[   ]CoqSDK-85-1_64.zip.sha122-Jan-2016 20:27 61  
[   ]RecTutorial.pdf08-Jul-2016 14:39 375K 
[   ]Reference-Manual.pdf08-Jul-2016 14:38 1.6M 
[   ]Tutorial.pdf08-Jul-2016 14:39 194K 
[   ]coq-8.5pl2.tar.gz08-Jul-2016 13:19 5.1M 
[   ]coq-8.5pl2.tar.gz.sha108-Jul-2016 14:39 95  
[   ]coq-installer-8.5pl2-win32.exe11-Jul-2016 13:22 92M 
[   ]coq-installer-8.5pl2-win32.exe.sha111-Jul-2016 16:20 73  
[   ]coq-installer-8.5pl2-win64.exe11-Jul-2016 15:28 90M 
[   ]coq-installer-8.5pl2-win64.exe.sha111-Jul-2016 16:20 73