Index of /livecdroom/source/kanotix/main/c/coq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq_8.3.pl4+dfsg-2.debian.tar.gz2017-11-20 10:34 16K 
[TXT]coq_8.3.pl4+dfsg-2.dsc2017-11-20 10:34 2.3K 
[ ]coq_8.3.pl4+dfsg.orig.tar.gz2017-11-20 10:34 3.0M 
[ ]coq_8.4pl4dfsg-1.debian.tar.xz2015-07-25 08:21 15K 
[TXT]coq_8.4pl4dfsg-1.dsc2015-07-25 08:21 2.3K 
[ ]coq_8.4pl4dfsg.orig.tar.gz2015-07-25 08:21 3.4M 
[ ]coq_8.5~beta2+dfsg-1.debian.tar.xz2015-07-25 08:21 15K 
[TXT]coq_8.5~beta2+dfsg-1.dsc2015-07-25 08:21 2.4K 
[ ]coq_8.5~beta2+dfsg-2.debian.tar.xz2015-07-25 08:21 16K 
[TXT]coq_8.5~beta2+dfsg-2.dsc2015-07-25 08:21 2.4K 
[ ]coq_8.5~beta2+dfsg.orig.tar.gz2015-07-25 08:21 4.6M 
[ ]coq_8.6-4.debian.tar.xz2017-08-07 05:28 21K 
[TXT]coq_8.6-4.dsc2017-08-07 05:28 2.3K 
[ ]coq_8.6-5.debian.tar.xz2017-11-20 10:34 21K 
[TXT]coq_8.6-5.dsc2017-11-20 10:34 2.4K 
[ ]coq_8.6.orig.tar.gz2017-08-07 05:28 4.8M 
[ ]coq_8.9.0-1.debian.tar.xz2019-09-04 15:02 27K 
[TXT]coq_8.9.0-1.dsc2019-09-04 15:02 2.4K 
[ ]coq_8.9.0.orig.tar.gz2019-09-04 15:02 5.1M 
[ ]coq_8.9.1-1.debian.tar.xz2019-09-04 15:02 29K 
[TXT]coq_8.9.1-1.dsc2019-09-04 15:02 2.1K 
[ ]coq_8.9.1.orig.tar.gz2019-09-04 15:02 5.1M 
[ ]coq_8.12.0-3.debian.tar.xz2021-09-22 18:46 37K 
[TXT]coq_8.12.0-3.dsc2021-09-22 18:46 2.4K 
[ ]coq_8.12.0.orig.tar.gz2021-09-22 18:46 5.7M 
[ ]coq_8.16.1+dfsg-1.debian.tar.xz2023-07-15 23:49 32K 
[TXT]coq_8.16.1+dfsg-1.dsc2023-07-15 23:49 2.6K 
[ ]coq_8.16.1+dfsg.orig.tar.xz2023-07-15 23:49 4.5M 
[ ]coq_8.17.0+dfsg-1.debian.tar.xz2023-07-15 23:49 32K 
[TXT]coq_8.17.0+dfsg-1.dsc2023-07-15 23:49 2.6K 
[ ]coq_8.17.0+dfsg.orig.tar.xz2023-07-15 23:49 4.6M 
Apache/2.4.56 (Debian) Server at simosnet.com Port 80