Index of /distrib/current/files

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]CoqIDE_8.6.1.dmg2017-07-06 13:37 70M 
[   ]RecTutorial.pdf2017-07-05 11:31 375K 
[   ]Reference-Manual.pdf2017-07-05 11:31 1.6M 
[   ]Tutorial.pdf2017-07-05 11:31 198K 
[   ]coq-8.6.1.tar.gz2017-07-05 10:55 5.3M 
[   ]coq-8.6.1.tar.gz.sha12017-07-05 11:32 59  
[   ]coq-installer-8.6.1-i686.exe2017-07-25 17:05 82M 
[   ]coq-installer-8.6.1-x86_64.exe2017-07-25 16:39 83M 
[   ]coq-opensource-archive-i686.zip2017-07-25 21:55 255M 
[   ]coq-opensource-archive-x86_64.zip2017-07-25 21:53 260M