Index of /livecdroom/source/konalinux-ue/universe/c/coq
Name
Last modified
Size
Description
Parent Directory
-
coq_8.1.pl3+dfsg-1.diff.gz
2012-01-27 08:03
15K
coq_8.1.pl3+dfsg-1.dsc
2012-01-27 08:03
1.0K
coq_8.1.pl3+dfsg.orig.tar.gz
2012-01-27 08:03
2.4M
coq_8.2.pl1+dfsg-6.diff.gz
2012-01-27 08:03
15K
coq_8.2.pl1+dfsg-6.dsc
2012-01-27 08:03
2.2K
coq_8.2.pl1+dfsg.orig.tar.gz
2012-01-27 08:03
3.0M
coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz
2012-01-27 08:03
17K
coq_8.2.pl2+dfsg-1ubuntu1.dsc
2012-01-27 08:03
1.5K
coq_8.2.pl2+dfsg.orig.tar.gz
2012-01-27 08:03
3.0M
coq_8.3.pl2+dfsg-1build1.debian.tar.gz
2012-01-27 08:03
16K
coq_8.3.pl2+dfsg-1build1.dsc
2012-01-27 08:03
1.5K
coq_8.3.pl2+dfsg.orig.tar.gz
2012-01-27 08:03
3.0M
coq_8.3.pl3+dfsg-1.debian.tar.gz
2012-01-27 08:03
16K
coq_8.3.pl3+dfsg-1.dsc
2012-01-27 08:03
2.3K
coq_8.3.pl3+dfsg.orig.tar.gz
2012-01-27 08:03
3.0M
coq_8.3.pl4+dfsg-1.debian.tar.gz
2013-05-18 21:01
16K
coq_8.3.pl4+dfsg-1.dsc
2013-05-18 21:01
2.3K
coq_8.3.pl4+dfsg-2.debian.tar.gz
2013-05-18 21:01
16K
coq_8.3.pl4+dfsg-2.dsc
2013-05-18 21:01
2.3K
coq_8.3.pl4+dfsg.orig.tar.gz
2013-05-18 21:02
3.0M
coq_8.4pl2dfsg-1.debian.tar.gz
2013-05-18 21:01
17K
coq_8.4pl2dfsg-1.dsc
2013-05-18 21:01
2.3K
coq_8.4pl2dfsg.orig.tar.gz
2013-05-18 21:01
3.4M
coq_8.4pl3dfsg-1.debian.tar.xz
2015-07-21 14:01
15K
coq_8.4pl3dfsg-1.dsc
2017-08-05 22:13
2.3K
coq_8.4pl3dfsg.orig.tar.gz
2015-07-21 14:01
3.4M
coq_8.4pl4dfsg-1.debian.tar.xz
2015-07-21 14:01
15K
coq_8.4pl4dfsg-1.dsc
2017-08-05 22:13
2.3K
coq_8.4pl4dfsg-3build2.debian.tar.xz
2017-08-05 22:13
16K
coq_8.4pl4dfsg-3build2.dsc
2017-08-05 22:13
2.3K
coq_8.4pl4dfsg.orig.tar.gz
2015-07-21 14:01
3.4M
coq_8.5-2build1.debian.tar.xz
2017-08-05 22:13
16K
coq_8.5-2build1.dsc
2017-08-05 22:13
2.4K
coq_8.5.orig.tar.gz
2017-08-05 22:13
4.6M
coq_8.6-4.debian.tar.xz
2017-08-05 22:13
21K
coq_8.6-4.dsc
2017-08-05 22:13
2.3K
coq_8.6-4build2.debian.tar.xz
2017-08-05 22:13
22K
coq_8.6-4build2.dsc
2017-08-05 22:13
2.1K
coq_8.6-4build3.debian.tar.xz
2017-08-05 22:13
22K
coq_8.6-4build3.dsc
2017-08-05 22:13
2.1K
coq_8.6-5build1.debian.tar.xz
2018-05-30 15:29
21K
coq_8.6-5build1.dsc
2018-05-30 15:29
2.3K
coq_8.6.orig.tar.gz
2017-08-05 22:13
4.8M
coq_8.9.1-1.debian.tar.xz
2020-05-27 14:07
29K
coq_8.9.1-1.dsc
2020-05-27 14:07
2.1K
coq_8.9.1.orig.tar.gz
2020-05-27 14:07
5.1M
coq_8.11.0-1.debian.tar.xz
2020-05-27 14:07
31K
coq_8.11.0-1.dsc
2020-05-27 14:07
2.4K
coq_8.11.0-1build1.debian.tar.xz
2020-05-27 14:07
31K
coq_8.11.0-1build1.dsc
2020-05-27 14:07
2.5K
coq_8.11.0.orig.tar.gz
2020-05-27 14:07
5.6M
coq_8.12.0-3build3.debian.tar.xz
2022-05-10 02:22
37K
coq_8.12.0-3build3.dsc
2022-05-10 02:22
2.4K
coq_8.12.0.orig.tar.gz
2022-05-10 02:22
5.7M
coq_8.15.0+dfsg-2.debian.tar.xz
2022-05-10 02:22
39K
coq_8.15.0+dfsg-2.dsc
2022-05-10 02:22
2.5K
coq_8.15.0+dfsg.orig.tar.xz
2022-05-10 02:22
4.5M
coq_8.15.1+dfsg-1build1.debian.tar.xz
2022-05-10 02:22
39K
coq_8.15.1+dfsg-1build1.dsc
2022-05-10 02:22
2.5K
coq_8.15.1+dfsg.orig.tar.xz
2022-05-10 02:22
4.5M
coq_8.16.1+dfsg-1build2.debian.tar.xz
2024-05-16 02:36
33K
coq_8.16.1+dfsg-1build2.dsc
2024-05-16 02:36
2.6K
coq_8.16.1+dfsg.orig.tar.xz
2024-05-16 02:36
4.5M
coq_8.17.0+dfsg-1build1.debian.tar.xz
2024-05-16 02:36
32K
coq_8.17.0+dfsg-1build1.dsc
2024-05-16 02:36
2.6K
coq_8.17.0+dfsg.orig.tar.xz
2024-05-16 02:36
4.6M
coq_8.18.0+dfsg-1build2.debian.tar.xz
2024-05-16 02:36
33K
coq_8.18.0+dfsg-1build2.dsc
2024-05-16 02:36
2.6K
coq_8.18.0+dfsg.orig.tar.xz
2024-05-16 02:36
4.6M
coq_8.19.1+dfsg-1.debian.tar.xz
2024-05-16 02:36
32K
coq_8.19.1+dfsg-1.dsc
2024-05-16 02:36
2.5K
coq_8.19.1+dfsg.orig.tar.bz2
2024-05-16 02:36
5.3M
Apache/2.4.56 (Debian) Server at simosnet.com Port 80