Index of /livecdroom/source/linuxlite/universe/c/coq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq_8.1.pl3+dfsg-1.diff.gz2012-01-27 08:03 15K 
[TXT]coq_8.1.pl3+dfsg-1.dsc2012-01-27 08:03 1.0K 
[ ]coq_8.1.pl3+dfsg.orig.tar.gz2012-01-27 08:03 2.4M 
[ ]coq_8.2.pl1+dfsg-6.diff.gz2012-01-27 08:03 15K 
[TXT]coq_8.2.pl1+dfsg-6.dsc2012-01-27 08:03 2.2K 
[ ]coq_8.2.pl1+dfsg.orig.tar.gz2012-01-27 08:03 3.0M 
[ ]coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz2012-01-27 08:03 17K 
[TXT]coq_8.2.pl2+dfsg-1ubuntu1.dsc2012-01-27 08:03 1.5K 
[ ]coq_8.2.pl2+dfsg.orig.tar.gz2012-01-27 08:03 3.0M 
[ ]coq_8.3.pl2+dfsg-1build1.debian.tar.gz2012-01-27 08:03 16K 
[TXT]coq_8.3.pl2+dfsg-1build1.dsc2012-01-27 08:03 1.5K 
[ ]coq_8.3.pl2+dfsg.orig.tar.gz2012-01-27 08:03 3.0M 
[ ]coq_8.3.pl3+dfsg-1.debian.tar.gz2012-01-27 08:03 16K 
[TXT]coq_8.3.pl3+dfsg-1.dsc2012-01-27 08:03 2.3K 
[ ]coq_8.3.pl3+dfsg.orig.tar.gz2012-01-27 08:03 3.0M 
[ ]coq_8.3.pl4+dfsg-1.debian.tar.gz2013-05-18 21:01 16K 
[TXT]coq_8.3.pl4+dfsg-1.dsc2013-05-18 21:01 2.3K 
[ ]coq_8.3.pl4+dfsg-2.debian.tar.gz2013-05-18 21:01 16K 
[TXT]coq_8.3.pl4+dfsg-2.dsc2013-05-18 21:01 2.3K 
[ ]coq_8.3.pl4+dfsg.orig.tar.gz2013-05-18 21:02 3.0M 
[ ]coq_8.4pl2dfsg-1.debian.tar.gz2013-05-18 21:01 17K 
[TXT]coq_8.4pl2dfsg-1.dsc2013-05-18 21:01 2.3K 
[ ]coq_8.4pl2dfsg.orig.tar.gz2013-05-18 21:01 3.4M 
[ ]coq_8.4pl3dfsg-1.debian.tar.xz2015-07-21 14:01 15K 
[TXT]coq_8.4pl3dfsg-1.dsc2017-08-05 22:13 2.3K 
[ ]coq_8.4pl3dfsg.orig.tar.gz2015-07-21 14:01 3.4M 
[ ]coq_8.4pl4dfsg-1.debian.tar.xz2015-07-21 14:01 15K 
[TXT]coq_8.4pl4dfsg-1.dsc2017-08-05 22:13 2.3K 
[ ]coq_8.4pl4dfsg-3build2.debian.tar.xz2017-08-05 22:13 16K 
[TXT]coq_8.4pl4dfsg-3build2.dsc2017-08-05 22:13 2.3K 
[ ]coq_8.4pl4dfsg.orig.tar.gz2015-07-21 14:01 3.4M 
[ ]coq_8.5-2build1.debian.tar.xz2017-08-05 22:13 16K 
[TXT]coq_8.5-2build1.dsc2017-08-05 22:13 2.4K 
[ ]coq_8.5.orig.tar.gz2017-08-05 22:13 4.6M 
[ ]coq_8.6-4.debian.tar.xz2017-08-05 22:13 21K 
[TXT]coq_8.6-4.dsc2017-08-05 22:13 2.3K 
[ ]coq_8.6-4build2.debian.tar.xz2017-08-05 22:13 22K 
[TXT]coq_8.6-4build2.dsc2017-08-05 22:13 2.1K 
[ ]coq_8.6-4build3.debian.tar.xz2017-08-05 22:13 22K 
[TXT]coq_8.6-4build3.dsc2017-08-05 22:13 2.1K 
[ ]coq_8.6-5build1.debian.tar.xz2018-05-30 15:29 21K 
[TXT]coq_8.6-5build1.dsc2018-05-30 15:29 2.3K 
[ ]coq_8.6.orig.tar.gz2017-08-05 22:13 4.8M 
[ ]coq_8.9.1-1.debian.tar.xz2020-05-27 14:07 29K 
[TXT]coq_8.9.1-1.dsc2020-05-27 14:07 2.1K 
[ ]coq_8.9.1.orig.tar.gz2020-05-27 14:07 5.1M 
[ ]coq_8.11.0-1.debian.tar.xz2020-05-27 14:07 31K 
[TXT]coq_8.11.0-1.dsc2020-05-27 14:07 2.4K 
[ ]coq_8.11.0-1build1.debian.tar.xz2020-05-27 14:07 31K 
[TXT]coq_8.11.0-1build1.dsc2020-05-27 14:07 2.5K 
[ ]coq_8.11.0.orig.tar.gz2020-05-27 14:07 5.6M 
[ ]coq_8.12.0-3build3.debian.tar.xz2022-05-10 02:22 37K 
[TXT]coq_8.12.0-3build3.dsc2022-05-10 02:22 2.4K 
[ ]coq_8.12.0.orig.tar.gz2022-05-10 02:22 5.7M 
[ ]coq_8.15.0+dfsg-2.debian.tar.xz2022-05-10 02:22 39K 
[TXT]coq_8.15.0+dfsg-2.dsc2022-05-10 02:22 2.5K 
[ ]coq_8.15.0+dfsg.orig.tar.xz2022-05-10 02:22 4.5M 
[ ]coq_8.15.1+dfsg-1build1.debian.tar.xz2022-05-10 02:22 39K 
[TXT]coq_8.15.1+dfsg-1build1.dsc2022-05-10 02:22 2.5K 
[ ]coq_8.15.1+dfsg.orig.tar.xz2022-05-10 02:22 4.5M 
[ ]coq_8.16.1+dfsg-1build2.debian.tar.xz2024-05-16 02:36 33K 
[TXT]coq_8.16.1+dfsg-1build2.dsc2024-05-16 02:36 2.6K 
[ ]coq_8.16.1+dfsg.orig.tar.xz2024-05-16 02:36 4.5M 
[ ]coq_8.17.0+dfsg-1build1.debian.tar.xz2024-05-16 02:36 32K 
[TXT]coq_8.17.0+dfsg-1build1.dsc2024-05-16 02:36 2.6K 
[ ]coq_8.17.0+dfsg.orig.tar.xz2024-05-16 02:36 4.6M 
[ ]coq_8.18.0+dfsg-1build2.debian.tar.xz2024-05-16 02:36 33K 
[TXT]coq_8.18.0+dfsg-1build2.dsc2024-05-16 02:36 2.6K 
[ ]coq_8.18.0+dfsg.orig.tar.xz2024-05-16 02:36 4.6M 
[ ]coq_8.19.1+dfsg-1.debian.tar.xz2024-05-16 02:36 32K 
[TXT]coq_8.19.1+dfsg-1.dsc2024-05-16 02:36 2.5K 
[ ]coq_8.19.1+dfsg.orig.tar.bz22024-05-16 02:36 5.3M 
Apache/2.4.56 (Debian) Server at simosnet.com Port 80