Index of /distrib/current/files

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]CoqIDE_8.6.dmg2016-12-13 23:35 100M 
[   ]RecTutorial.pdf2016-12-14 16:15 375K 
[   ]Reference-Manual.pdf2016-12-14 16:14 1.6M 
[   ]Tutorial.pdf2016-12-14 16:15 194K 
[   ]coq-8.6.tar.gz2016-12-08 16:13 5.3M 
[   ]coq-8.6.tar.gz.sha12016-12-14 16:16 57  
[   ]coq-installer-8.6-i686.exe2016-12-12 13:55 82M 
[   ]coq-installer-8.6-x86_64.exe2016-12-12 13:55 82M 
[   ]coq-opensource-archive-i686.zip2016-12-16 00:31 261M 
[   ]coq-opensource-archive-x86_64.zip2016-12-16 01:10 261M