Folder Path

/gentoo/sci-mathematics/coq/ 

     _                _          _     
 ___| |__   ___  _ __| | __  ___| |__  
/ __| '_ \ / _ \| '__| |/ / / __| '_ \ 
\__ \ | | | (_) | |  |   < | (__| | | |
|___/_| |_|\___/|_|  |_|\_(_)___|_| |_|

Rsync: rsync://mirrors.shork.ch/gentoo/sci-mathematics/coq/

Contact: admin@shork.ch

0 directories 8 files 21 KiB total
List Grid
Name
Size Modified
Up
coq-8.17.1-r1.ebuild
2.5 KiB
coq-8.19.2-r1.ebuild
2.5 KiB
coq-8.20.0-r1.ebuild
2.9 KiB
coq-9.1.0-r1.ebuild
2.7 KiB
coq-9.1.1.ebuild
2.7 KiB
coq-9.2.0.ebuild
2.7 KiB
Manifest
3.9 KiB
metadata.xml
1.2 KiB