Index of /distrib/current/files

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]RecTutorial.pdf2017-10-17 15:48 375K 
[   ]Reference-Manual.pdf2017-10-17 15:48 1.9M 
[   ]Tutorial.pdf2017-10-17 15:48 192K 
[   ]V8.7.0.tar.gz2017-10-18 13:40 5.4M 
[   ]coq-8.7.0-installer-macos.dmg2017-10-17 11:03 65M 
[   ]coq-8.7.0-installer-windows-i686.exe2017-10-17 10:49 52M 
[   ]coq-8.7.0-installer-windows-x86_64.exe2017-10-17 10:50 53M 
[   ]coq-8.7.0.tar.gz2017-10-18 13:40 5.4M 
[   ]coq-8.7.0.tar.gz.sha5122017-10-17 16:30 147  
[TXT]coq-8.7.0.tar.gz.sha512.asc2017-10-17 16:34 1.0K