Index of /distrib/current/files

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]CoqIDE_8.5pl2.dmg2016-07-11 14:20 100M 
[   ]CoqIDE_8.5pl2.dmg.sha12016-07-11 16:20 60  
[   ]CoqSDK-85-1.zip2015-01-23 14:36 65M 
[   ]CoqSDK-85-1.zip.sha12015-01-23 14:37 58  
[   ]CoqSDK-85-1_64.zip2015-08-17 18:33 24M 
[   ]CoqSDK-85-1_64.zip.sha12016-01-22 20:27 61  
[   ]RecTutorial.pdf2016-07-08 14:39 375K 
[   ]Reference-Manual.pdf2016-07-08 14:38 1.6M 
[   ]Tutorial.pdf2016-07-08 14:39 194K 
[   ]coq-8.5pl2.tar.gz2016-07-08 13:19 5.1M 
[   ]coq-8.5pl2.tar.gz.sha12016-07-08 14:39 95  
[   ]coq-installer-8.5pl2-win32.exe2016-07-11 13:22 92M 
[   ]coq-installer-8.5pl2-win32.exe.sha12016-07-11 16:20 73  
[   ]coq-installer-8.5pl2-win64.exe2016-07-11 15:28 90M 
[   ]coq-installer-8.5pl2-win64.exe.sha12016-07-11 16:20 73