Index of /images/snapshot/Debian/pool/main/c/coq

	Name	Last modified	Size
	Parent Directory		-
	coq-libs_8.0pl2-2_all.deb	2005-04-01 00:17	3.6M
	coq-libs_8.0pl3-2_all.deb	2006-02-19 13:32	3.6M
	coq-libs_8.1.pl3+dfsg-1_all.deb	2008-01-05 10:32	12M
	coq-theories_8.2.pl2+dfsg-1_all.deb	2010-07-02 17:19	18M
	coq-theories_8.3.pl4+dfsg-2_all.deb	2012-06-06 08:32	52M
	coq-theories_8.4pl4dfsg-1_all.deb	2014-07-27 17:26	31M
	coq-theories_8.6-4_amd64.deb	2016-12-30 01:56	30M
	coq-theories_8.6-4_arm64.deb	2016-12-30 02:57	22M
	coq-theories_8.6-4_armel.deb	2016-12-30 04:12	22M
	coq-theories_8.6-4_armhf.deb	2016-12-30 04:12	22M
	coq-theories_8.6-4_i386.deb	2016-12-30 02:57	29M
	coq-theories_8.6-4_mips.deb	2016-12-30 08:57	22M
	coq-theories_8.6-4_mips64el.deb	2016-12-30 15:29	22M
	coq-theories_8.6-4_mipsel.deb	2016-12-30 08:57	22M
	coq-theories_8.6-4_ppc64el.deb	2016-12-30 04:57	22M
	coq-theories_8.6-4_s390x.deb	2016-12-30 06:27	22M
	coq-theories_8.9.0-1_amd64.deb	2019-02-06 19:49	28M
	coq-theories_8.9.0-1_arm64.deb	2019-02-06 21:26	19M
	coq-theories_8.9.0-1_armel.deb	2019-02-07 02:44	19M
	coq-theories_8.9.0-1_armhf.deb	2019-02-07 22:15	19M
	coq-theories_8.9.0-1_i386.deb	2019-02-06 21:21	27M
	coq-theories_8.9.0-1_mips.deb	2019-02-07 04:15	19M
	coq-theories_8.9.0-1_mips64el.deb	2019-02-09 09:29	19M
	coq-theories_8.9.0-1_mipsel.deb	2019-02-07 01:59	19M
	coq-theories_8.9.0-1_ppc64el.deb	2019-02-06 21:00	19M
	coq-theories_8.9.0-1_s390x.deb	2019-02-06 21:00	19M
	coq-theories_8.12.0-3+b3_amd64.deb	2020-11-25 08:28	35M
	coq-theories_8.12.0-3+b3_arm64.deb	2020-11-25 08:58	23M
	coq-theories_8.12.0-3+b3_armel.deb	2020-11-25 18:44	23M
	coq-theories_8.12.0-3+b3_armhf.deb	2020-11-25 08:43	23M
	coq-theories_8.12.0-3+b3_i386.deb	2020-11-25 08:18	34M
	coq-theories_8.12.0-3+b3_mips64el.deb	2020-11-25 17:41	23M
	coq-theories_8.12.0-3+b3_mipsel.deb	2020-11-26 01:43	23M
	coq-theories_8.12.0-3+b3_ppc64el.deb	2020-11-25 08:28	23M
	coq7-libs_8.0pl2-2_all.deb	2005-04-01 00:17	3.6M
	coq7-libs_8.0pl3-2_all.deb	2006-02-19 13:32	3.6M
	coq_7.2-9.diff.gz	2002-02-15 20:24	4.5K
	coq_7.2-9_alpha.deb	2002-02-16 19:22	8.5M
	coq_7.2-9_arm.deb	2002-02-16 12:41	8.1M
	coq_7.2-9_hppa.deb	2002-02-16 19:11	7.0M
	coq_7.2-9_i386.deb	2002-02-15 20:24	7.8M
	coq_7.2-9_ia64.deb	2002-02-16 19:11	9.5M
	coq_7.2-9_m68k.deb	2002-02-18 12:12	6.8M
	coq_7.2-9_mips.deb	2002-02-16 19:33	6.9M
	coq_7.2-9_mipsel.deb	2002-02-16 19:32	6.9M
	coq_7.2-9_powerpc.deb	2002-02-16 19:36	6.9M
	coq_7.2-9_s390.deb	2002-02-16 15:14	6.9M
	coq_7.2-9_sparc.deb	2002-02-16 19:32	6.9M
	coq_7.2.orig.tar.gz	2002-01-18 22:26	1.1M
	coq_8.0pl2-2.diff.gz	2005-04-01 00:17	11K
	coq_8.0pl2-2_alpha.deb	2005-04-01 05:17	2.8M
	coq_8.0pl2-2_arm.deb	2005-04-09 02:18	2.7M
	coq_8.0pl2-2_hppa.deb	2005-04-01 03:32	7.0M
	coq_8.0pl2-2_i386.deb	2005-04-01 00:17	5.8M
	coq_8.0pl2-2_ia64.deb	2005-04-01 03:47	3.0M
	coq_8.0pl2-2_m68k.deb	2005-04-02 12:17	2.6M
	coq_8.0pl2-2_mips.deb	2005-04-04 20:02	2.7M
	coq_8.0pl2-2_mipsel.deb	2005-04-01 05:02	2.7M
	coq_8.0pl2-2_powerpc.deb	2005-04-01 02:02	6.6M
	coq_8.0pl2-2_s390.deb	2005-04-01 10:32	2.8M
	coq_8.0pl2-2_sparc.deb	2005-04-01 04:17	6.7M
	coq_8.0pl2.orig.tar.gz	2005-01-31 18:17	2.2M
	coq_8.0pl3-2.diff.gz	2006-02-19 13:32	16K
	coq_8.0pl3-2_alpha.deb	2006-02-20 18:02	2.9M
	coq_8.0pl3-2_amd64.deb	2006-03-31 17:02	6.2M
	coq_8.0pl3-2_arm.deb	2006-02-20 03:47	2.7M
	coq_8.0pl3-2_hppa.deb	2006-02-19 18:47	2.8M
	coq_8.0pl3-2_i386.deb	2006-02-19 13:32	5.8M
	coq_8.0pl3-2_ia64.deb	2006-02-19 18:47	3.0M
	coq_8.0pl3-2_mips.deb	2006-02-20 18:02	2.8M
	coq_8.0pl3-2_mipsel.deb	2006-02-20 18:02	2.8M
	coq_8.0pl3-2_powerpc.deb	2006-02-20 18:02	6.6M
	coq_8.0pl3-2_s390.deb	2006-02-19 22:47	2.8M
	coq_8.0pl3-2_sparc.deb	2006-02-20 03:47	6.7M
	coq_8.0pl3.orig.tar.gz	2006-01-23 23:02	2.2M
	coq_8.1.pl3+dfsg-1+b2_alpha.deb	2008-05-24 20:02	4.1M
	coq_8.1.pl3+dfsg-1+b2_amd64.deb	2008-05-23 18:17	8.6M
	coq_8.1.pl3+dfsg-1+b2_arm.deb	2008-05-25 11:02	4.0M
	coq_8.1.pl3+dfsg-1+b2_armel.deb	2008-05-25 01:17	4.0M
	coq_8.1.pl3+dfsg-1+b2_hppa.deb	2008-05-29 14:32	4.1M
	coq_8.1.pl3+dfsg-1+b2_i386.deb	2008-05-26 16:17	8.1M
	coq_8.1.pl3+dfsg-1+b2_ia64.deb	2008-05-27 14:32	4.3M
	coq_8.1.pl3+dfsg-1+b2_mips.deb	2008-05-27 18:17	4.0M
	coq_8.1.pl3+dfsg-1+b2_mipsel.deb	2008-05-24 20:02	4.0M
	coq_8.1.pl3+dfsg-1+b2_powerpc.deb	2008-05-28 19:47	9.0M
	coq_8.1.pl3+dfsg-1+b2_s390.deb	2008-05-25 20:47	4.1M
	coq_8.1.pl3+dfsg-1+b2_sparc.deb	2008-05-24 11:02	9.0M
	coq_8.1.pl3+dfsg-1.diff.gz	2008-01-05 10:32	15K
	coq_8.1.pl3+dfsg-1.dsc	2008-01-05 10:32	1.0K
	coq_8.1.pl3+dfsg.orig.tar.gz	2008-01-05 10:32	2.4M
	coq_8.2.pl2+dfsg-1.debian.tar.gz	2010-07-02 17:19	16K
	coq_8.2.pl2+dfsg-1.dsc	2010-07-02 17:19	2.1K
	coq_8.2.pl2+dfsg-1_amd64.deb	2010-07-02 17:19	15M
	coq_8.2.pl2+dfsg-1_armel.deb	2010-07-03 22:17	3.5M
	coq_8.2.pl2+dfsg-1_i386.deb	2010-07-02 19:03	13M
	coq_8.2.pl2+dfsg-1_ia64.deb	2010-07-03 22:47	3.5M
	coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb	2010-07-04 15:48	15M
	coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb	2010-07-04 15:18	13M
	coq_8.2.pl2+dfsg-1_mips.deb	2010-07-04 14:48	3.5M
	coq_8.2.pl2+dfsg-1_mipsel.deb	2010-07-03 08:32	3.5M
	coq_8.2.pl2+dfsg-1_powerpc.deb	2010-07-03 18:42	15M
	coq_8.2.pl2+dfsg-1_s390.deb	2010-07-03 18:42	3.5M
	coq_8.2.pl2+dfsg-1_sparc.deb	2010-07-04 15:18	15M
	coq_8.2.pl2+dfsg.orig.tar.gz	2010-07-02 17:19	3.0M
	coq_8.3.pl4+dfsg-2.debian.tar.gz	2012-06-06 08:32	16K
	coq_8.3.pl4+dfsg-2.dsc	2012-06-06 08:32	2.3K
	coq_8.3.pl4+dfsg-2_amd64.deb	2012-06-06 08:32	5.4M
	coq_8.3.pl4+dfsg-2_armel.deb	2012-06-06 12:47	5.8M
	coq_8.3.pl4+dfsg-2_armhf.deb	2012-06-06 17:32	1.7M
	coq_8.3.pl4+dfsg-2_i386.deb	2012-06-06 09:32	4.8M
	coq_8.3.pl4+dfsg-2_ia64.deb	2012-06-07 21:03	1.7M
	coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb	2012-06-06 22:48	5.4M
	coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb	2012-06-06 12:17	4.8M
	coq_8.3.pl4+dfsg-2_mips.deb	2012-06-08 17:19	1.7M
	coq_8.3.pl4+dfsg-2_mipsel.deb	2012-06-06 14:32	1.7M
	coq_8.3.pl4+dfsg-2_powerpc.deb	2012-06-06 11:02	5.3M
	coq_8.3.pl4+dfsg-2_s390.deb	2012-06-06 12:17	1.7M
	coq_8.3.pl4+dfsg-2_s390x.deb	2012-06-06 13:17	1.7M
	coq_8.3.pl4+dfsg-2_sparc.deb	2012-06-06 12:32	5.2M
	coq_8.3.pl4+dfsg.orig.tar.gz	2012-03-27 09:02	3.0M
	coq_8.4pl4dfsg-1+b1_s390x.deb	2014-08-27 04:42	1.1M
	coq_8.4pl4dfsg-1.debian.tar.xz	2014-07-27 17:26	15K
	coq_8.4pl4dfsg-1.dsc	2014-07-27 17:26	2.3K
	coq_8.4pl4dfsg-1_amd64.deb	2014-07-27 17:26	3.9M
	coq_8.4pl4dfsg-1_arm64.deb	2014-09-11 05:27	1.1M
	coq_8.4pl4dfsg-1_armel.deb	2014-07-27 20:28	3.7M
	coq_8.4pl4dfsg-1_armhf.deb	2014-07-27 23:28	3.7M
	coq_8.4pl4dfsg-1_i386.deb	2014-07-27 18:57	3.6M
	coq_8.4pl4dfsg-1_mips.deb	2014-07-31 16:58	1.1M
	coq_8.4pl4dfsg-1_mipsel.deb	2014-07-28 04:14	1.1M
	coq_8.4pl4dfsg-1_powerpc.deb	2014-07-27 19:28	3.4M
	coq_8.4pl4dfsg-1_ppc64el.deb	2014-09-06 19:57	1.1M
	coq_8.4pl4dfsg.orig.tar.gz	2014-07-27 17:26	3.4M
	coq_8.6-4.debian.tar.xz	2016-12-30 01:56	21K
	coq_8.6-4.dsc	2016-12-30 01:56	2.3K
	coq_8.6-4_amd64.deb	2016-12-30 01:56	13M
	coq_8.6-4_arm64.deb	2016-12-30 02:57	13M
	coq_8.6-4_armel.deb	2016-12-30 04:12	13M
	coq_8.6-4_armhf.deb	2016-12-30 04:12	13M
	coq_8.6-4_i386.deb	2016-12-30 02:57	13M
	coq_8.6-4_mips.deb	2016-12-30 08:57	18M
	coq_8.6-4_mips64el.deb	2016-12-30 15:29	18M
	coq_8.6-4_mipsel.deb	2016-12-30 08:57	18M
	coq_8.6-4_ppc64el.deb	2016-12-30 04:57	18M
	coq_8.6-4_s390x.deb	2016-12-30 06:27	18M
	coq_8.6.orig.tar.gz	2016-12-28 14:44	4.8M
	coq_8.9.0-1.debian.tar.xz	2019-02-06 19:49	27K
	coq_8.9.0-1.dsc	2019-02-06 19:49	2.4K
	coq_8.9.0-1_amd64.deb	2019-02-06 19:49	56M
	coq_8.9.0-1_arm64.deb	2019-02-06 21:26	60M
	coq_8.9.0-1_armel.deb	2019-02-07 02:44	48M
	coq_8.9.0-1_armhf.deb	2019-02-07 22:15	55M
	coq_8.9.0-1_i386.deb	2019-02-06 21:21	54M
	coq_8.9.0-1_mips.deb	2019-02-07 04:15	48M
	coq_8.9.0-1_mips64el.deb	2019-02-09 09:29	48M
	coq_8.9.0-1_mipsel.deb	2019-02-07 01:59	48M
	coq_8.9.0-1_ppc64el.deb	2019-02-06 21:00	58M
	coq_8.9.0-1_s390x.deb	2019-02-06 21:00	56M
	coq_8.9.0.orig.tar.gz	2019-02-06 19:49	5.1M
	coq_8.12.0-3+b3_amd64.deb	2020-11-25 08:28	86M
	coq_8.12.0-3+b3_arm64.deb	2020-11-25 08:58	92M
	coq_8.12.0-3+b3_armel.deb	2020-11-25 18:44	101M
	coq_8.12.0-3+b3_armhf.deb	2020-11-25 08:43	84M
	coq_8.12.0-3+b3_i386.deb	2020-11-25 08:18	84M
	coq_8.12.0-3+b3_mips64el.deb	2020-11-25 17:41	101M
	coq_8.12.0-3+b3_mipsel.deb	2020-11-26 01:43	101M
	coq_8.12.0-3+b3_ppc64el.deb	2020-11-25 08:28	87M
	coq_8.12.0-3.debian.tar.xz	2020-09-10 08:38	37K
	coq_8.12.0-3.dsc	2020-09-10 08:38	2.4K
	coq_8.12.0.orig.tar.gz	2020-08-22 11:26	5.7M
	coq_8.16.1+dfsg-1+b1_amd64.deb	2023-01-23 19:29	89M
	coq_8.16.1+dfsg-1+b1_arm64.deb	2023-01-23 19:44	97M
	coq_8.16.1+dfsg-1+b1_armhf.deb	2023-01-23 20:15	86M
	coq_8.16.1+dfsg-1+b1_i386.deb	2023-01-23 20:26	83M
	coq_8.16.1+dfsg-1+b1_ppc64el.deb	2023-01-23 20:00	90M
	coq_8.16.1+dfsg-1+b1_s390x.deb	2023-01-23 19:24	89M
	coq_8.16.1+dfsg-1+b2_amd64.deb	2023-02-13 02:14	89M
	coq_8.16.1+dfsg-1+b2_arm64.deb	2023-02-13 02:55	97M
	coq_8.16.1+dfsg-1+b2_armhf.deb	2023-02-13 02:55	86M
	coq_8.16.1+dfsg-1+b2_i386.deb	2023-02-13 02:29	83M
	coq_8.16.1+dfsg-1+b2_ppc64el.deb	2023-02-13 04:13	90M
	coq_8.16.1+dfsg-1+b2_s390x.deb	2023-02-13 02:45	89M
	coq_8.16.1+dfsg-1.debian.tar.xz	2022-11-29 09:35	32K
	coq_8.16.1+dfsg-1.dsc	2022-11-29 09:35	2.6K
	coq_8.16.1+dfsg.orig.tar.xz	2022-11-29 09:35	4.5M
	coq_8.17.0+dfsg-1+b2_amd64.deb	2023-07-23 07:13	75M
	coq_8.17.0+dfsg-1+b2_arm64.deb	2023-07-23 09:16	81M
	coq_8.17.0+dfsg-1+b2_armhf.deb	2023-07-23 07:44	73M
	coq_8.17.0+dfsg-1+b2_ppc64el.deb	2023-07-23 08:40	76M
	coq_8.17.0+dfsg-1+b2_s390x.deb	2023-07-23 23:40	75M
	coq_8.17.0+dfsg-1+b3_amd64.deb	2023-09-22 08:56	77M
	coq_8.17.0+dfsg-1+b3_arm64.deb	2023-09-22 09:57	83M
	coq_8.17.0+dfsg-1+b3_armhf.deb	2023-09-22 09:16	74M
	coq_8.17.0+dfsg-1+b3_ppc64el.deb	2023-09-22 09:26	77M
	coq_8.17.0+dfsg-1+b3_s390x.deb	2023-09-22 08:40	76M
	coq_8.17.0+dfsg-1.debian.tar.xz	2023-06-12 09:05	32K
	coq_8.17.0+dfsg-1.dsc	2023-06-12 09:05	2.6K
	coq_8.17.0+dfsg-1_amd64.deb	2023-06-12 10:12	75M
	coq_8.17.0+dfsg-1_arm64.deb	2023-06-13 06:34	81M
	coq_8.17.0+dfsg-1_armhf.deb	2023-06-12 22:02	73M
	coq_8.17.0+dfsg-1_ppc64el.deb	2023-06-15 08:10	75M
	coq_8.17.0+dfsg-1_s390x.deb	2023-06-12 11:12	75M
	coq_8.17.0+dfsg.orig.tar.xz	2023-06-12 09:05	4.6M
	coq_8.18.0+dfsg-1.debian.tar.xz	2023-12-21 14:58	32K
	coq_8.18.0+dfsg-1.dsc	2023-12-21 14:58	2.5K
	coq_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	78M
	coq_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	84M
	coq_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	75M
	coq_8.18.0+dfsg-1_ppc64el.deb	2023-12-21 17:50	78M
	coq_8.18.0+dfsg-1_s390x.deb	2023-12-21 16:14	77M
	coq_8.18.0+dfsg.orig.tar.xz	2023-12-21 14:58	4.6M
	coq_8.19.1+dfsg-2.debian.tar.xz	2024-06-15 08:05	32K
	coq_8.19.1+dfsg-2.dsc	2024-06-15 08:05	2.3K
	coq_8.19.1+dfsg-2_amd64.deb	2024-06-15 08:46	79M
	coq_8.19.1+dfsg-2_arm64.deb	2024-06-15 09:02	84M
	coq_8.19.1+dfsg-2_armhf.deb	2024-06-15 08:47	76M
	coq_8.19.1+dfsg-2_ppc64el.deb	2024-06-15 08:47	79M
	coq_8.19.1+dfsg-2_s390x.deb	2024-06-15 08:52	78M
	coq_8.19.1+dfsg-3+b2_amd64.deb	2024-08-20 20:10	83M
	coq_8.19.1+dfsg-3+b2_arm64.deb	2024-08-20 20:16	88M
	coq_8.19.1+dfsg-3+b2_riscv64.deb	2024-08-20 21:44	84M
	coq_8.19.1+dfsg-3+b2_s390x.deb	2024-08-20 20:47	83M
	coq_8.19.1+dfsg-3+b3_ppc64el.deb	2024-08-30 08:07	83M
	coq_8.19.1+dfsg-3.debian.tar.xz	2024-08-03 09:53	32K
	coq_8.19.1+dfsg-3.dsc	2024-08-03 09:53	2.3K
	coq_8.19.1+dfsg.orig.tar.bz2	2024-04-26 15:46	5.3M
	coq_8.20.0+dfsg-1_amd64.deb	2024-11-20 11:33	73M
	coq_8.20.0+dfsg-1_arm64.deb	2024-11-20 11:58	77M
	coq_8.20.0+dfsg-1_ppc64el.deb	2024-11-20 12:00	74M
	coq_8.20.0+dfsg-1_riscv64.deb	2024-11-20 14:10	74M
	coq_8.20.0+dfsg-1_s390x.deb	2024-11-20 16:02	74M
	coqide_8.0pl2-2_alpha.deb	2005-04-01 05:17	1.9M
	coqide_8.0pl2-2_arm.deb	2005-04-09 02:18	1.9M
	coqide_8.0pl2-2_hppa.deb	2005-04-01 03:32	4.5M
	coqide_8.0pl2-2_i386.deb	2005-04-01 00:17	3.9M
	coqide_8.0pl2-2_ia64.deb	2005-04-01 03:47	1.9M
	coqide_8.0pl2-2_m68k.deb	2005-04-02 12:17	1.9M
	coqide_8.0pl2-2_mips.deb	2005-04-04 20:02	1.9M
	coqide_8.0pl2-2_mipsel.deb	2005-04-01 05:02	1.9M
	coqide_8.0pl2-2_powerpc.deb	2005-04-01 02:02	4.3M
	coqide_8.0pl2-2_s390.deb	2005-04-01 10:32	1.9M
	coqide_8.0pl2-2_sparc.deb	2005-04-01 04:17	4.4M
	coqide_8.0pl3-2_alpha.deb	2006-02-20 18:02	1.3M
	coqide_8.0pl3-2_amd64.deb	2006-03-31 17:02	3.5M
	coqide_8.0pl3-2_arm.deb	2006-02-20 03:47	1.3M
	coqide_8.0pl3-2_hppa.deb	2006-02-19 18:47	1.3M
	coqide_8.0pl3-2_i386.deb	2006-02-19 13:32	3.3M
	coqide_8.0pl3-2_ia64.deb	2006-02-19 18:47	1.3M
	coqide_8.0pl3-2_mips.deb	2006-02-20 18:02	1.3M
	coqide_8.0pl3-2_mipsel.deb	2006-02-20 18:02	1.3M
	coqide_8.0pl3-2_powerpc.deb	2006-02-20 18:02	3.7M
	coqide_8.0pl3-2_s390.deb	2006-02-19 22:47	1.3M
	coqide_8.0pl3-2_sparc.deb	2006-02-20 03:47	3.8M
	coqide_8.1.pl3+dfsg-1+b2_alpha.deb	2008-05-24 20:02	2.4M
	coqide_8.1.pl3+dfsg-1+b2_amd64.deb	2008-05-23 18:17	5.0M
	coqide_8.1.pl3+dfsg-1+b2_arm.deb	2008-05-25 11:02	2.3M
	coqide_8.1.pl3+dfsg-1+b2_armel.deb	2008-05-25 01:17	2.3M
	coqide_8.1.pl3+dfsg-1+b2_hppa.deb	2008-05-29 14:32	2.3M
	coqide_8.1.pl3+dfsg-1+b2_i386.deb	2008-05-26 16:17	4.7M
	coqide_8.1.pl3+dfsg-1+b2_ia64.deb	2008-05-27 14:32	2.4M
	coqide_8.1.pl3+dfsg-1+b2_mips.deb	2008-05-27 18:17	2.3M
	coqide_8.1.pl3+dfsg-1+b2_mipsel.deb	2008-05-24 20:02	2.3M
	coqide_8.1.pl3+dfsg-1+b2_powerpc.deb	2008-05-28 19:47	5.2M
	coqide_8.1.pl3+dfsg-1+b2_s390.deb	2008-05-25 20:47	2.4M
	coqide_8.1.pl3+dfsg-1+b2_sparc.deb	2008-05-24 11:02	5.3M
	coqide_8.2.pl2+dfsg-1_amd64.deb	2010-07-02 17:19	6.2M
	coqide_8.2.pl2+dfsg-1_armel.deb	2010-07-03 22:17	2.3M
	coqide_8.2.pl2+dfsg-1_i386.deb	2010-07-02 19:03	5.7M
	coqide_8.2.pl2+dfsg-1_ia64.deb	2010-07-03 22:47	2.3M
	coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb	2010-07-04 15:48	6.2M
	coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb	2010-07-04 15:18	5.7M
	coqide_8.2.pl2+dfsg-1_mips.deb	2010-07-04 14:48	2.3M
	coqide_8.2.pl2+dfsg-1_mipsel.deb	2010-07-03 08:32	2.3M
	coqide_8.2.pl2+dfsg-1_powerpc.deb	2010-07-03 18:42	6.3M
	coqide_8.2.pl2+dfsg-1_s390.deb	2010-07-03 18:42	2.3M
	coqide_8.2.pl2+dfsg-1_sparc.deb	2010-07-04 15:18	6.3M
	coqide_8.3.pl4+dfsg-2_amd64.deb	2012-06-06 08:32	5.4M
	coqide_8.3.pl4+dfsg-2_armel.deb	2012-06-06 12:47	5.9M
	coqide_8.3.pl4+dfsg-2_armhf.deb	2012-06-06 17:32	2.4M
	coqide_8.3.pl4+dfsg-2_i386.deb	2012-06-06 09:32	5.0M
	coqide_8.3.pl4+dfsg-2_ia64.deb	2012-06-07 21:03	2.4M
	coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb	2012-06-06 22:48	5.4M
	coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb	2012-06-06 12:17	5.0M
	coqide_8.3.pl4+dfsg-2_mips.deb	2012-06-08 17:19	2.4M
	coqide_8.3.pl4+dfsg-2_mipsel.deb	2012-06-06 14:32	2.4M
	coqide_8.3.pl4+dfsg-2_powerpc.deb	2012-06-06 11:02	5.4M
	coqide_8.3.pl4+dfsg-2_s390.deb	2012-06-06 12:17	2.4M
	coqide_8.3.pl4+dfsg-2_s390x.deb	2012-06-06 13:17	2.4M
	coqide_8.3.pl4+dfsg-2_sparc.deb	2012-06-06 12:32	5.2M
	coqide_8.4pl4dfsg-1+b1_s390x.deb	2014-08-27 04:42	250K
	coqide_8.4pl4dfsg-1_amd64.deb	2014-07-27 17:26	779K
	coqide_8.4pl4dfsg-1_arm64.deb	2014-09-11 05:27	249K
	coqide_8.4pl4dfsg-1_armel.deb	2014-07-27 20:28	780K
	coqide_8.4pl4dfsg-1_armhf.deb	2014-07-27 23:28	804K
	coqide_8.4pl4dfsg-1_i386.deb	2014-07-27 18:57	714K
	coqide_8.4pl4dfsg-1_mips.deb	2014-07-31 16:58	249K
	coqide_8.4pl4dfsg-1_mipsel.deb	2014-07-28 04:14	249K
	coqide_8.4pl4dfsg-1_powerpc.deb	2014-07-27 19:28	679K
	coqide_8.4pl4dfsg-1_ppc64el.deb	2014-09-06 19:57	249K
	coqide_8.6-4_amd64.deb	2016-12-30 01:56	1.3M
	coqide_8.6-4_arm64.deb	2016-12-30 02:57	1.4M
	coqide_8.6-4_armel.deb	2016-12-30 04:12	1.4M
	coqide_8.6-4_armhf.deb	2016-12-30 04:12	1.4M
	coqide_8.6-4_i386.deb	2016-12-30 02:57	1.3M
	coqide_8.6-4_mips.deb	2016-12-30 08:57	1.8M
	coqide_8.6-4_mips64el.deb	2016-12-30 15:29	1.8M
	coqide_8.6-4_mipsel.deb	2016-12-30 08:57	1.8M
	coqide_8.6-4_ppc64el.deb	2016-12-30 04:57	1.8M
	coqide_8.6-4_s390x.deb	2016-12-30 06:27	1.8M
	coqide_8.12.0-3+b3_amd64.deb	2020-11-25 08:28	1.8M
	coqide_8.12.0-3+b3_arm64.deb	2020-11-25 08:58	2.1M
	coqide_8.12.0-3+b3_armel.deb	2020-11-25 18:44	46K
	coqide_8.12.0-3+b3_armhf.deb	2020-11-25 08:43	1.7M
	coqide_8.12.0-3+b3_i386.deb	2020-11-25 08:18	1.6M
	coqide_8.12.0-3+b3_mips64el.deb	2020-11-25 17:41	46K
	coqide_8.12.0-3+b3_mipsel.deb	2020-11-26 01:43	46K
	coqide_8.12.0-3+b3_ppc64el.deb	2020-11-25 08:28	1.9M
	coqide_8.16.1+dfsg-1+b1_amd64.deb	2023-01-23 19:29	1.9M
	coqide_8.16.1+dfsg-1+b1_arm64.deb	2023-01-23 19:44	2.2M
	coqide_8.16.1+dfsg-1+b1_armhf.deb	2023-01-23 20:15	1.8M
	coqide_8.16.1+dfsg-1+b1_i386.deb	2023-01-23 20:26	1.7M
	coqide_8.16.1+dfsg-1+b1_ppc64el.deb	2023-01-23 20:00	2.0M
	coqide_8.16.1+dfsg-1+b1_s390x.deb	2023-01-23 19:24	1.9M
	coqide_8.16.1+dfsg-1+b2_amd64.deb	2023-02-13 02:14	1.9M
	coqide_8.16.1+dfsg-1+b2_arm64.deb	2023-02-13 02:55	2.2M
	coqide_8.16.1+dfsg-1+b2_armhf.deb	2023-02-13 02:55	1.7M
	coqide_8.16.1+dfsg-1+b2_i386.deb	2023-02-13 02:29	1.7M
	coqide_8.16.1+dfsg-1+b2_ppc64el.deb	2023-02-13 04:13	2.0M
	coqide_8.16.1+dfsg-1+b2_s390x.deb	2023-02-13 02:45	1.9M
	coqide_8.17.0+dfsg-1+b2_amd64.deb	2023-07-23 07:13	1.9M
	coqide_8.17.0+dfsg-1+b2_arm64.deb	2023-07-23 09:16	2.2M
	coqide_8.17.0+dfsg-1+b2_armhf.deb	2023-07-23 07:44	1.7M
	coqide_8.17.0+dfsg-1+b2_ppc64el.deb	2023-07-23 08:40	2.0M
	coqide_8.17.0+dfsg-1+b2_s390x.deb	2023-07-23 23:40	1.9M
	coqide_8.17.0+dfsg-1+b3_amd64.deb	2023-09-22 08:56	1.9M
	coqide_8.17.0+dfsg-1+b3_arm64.deb	2023-09-22 09:57	2.2M
	coqide_8.17.0+dfsg-1+b3_armhf.deb	2023-09-22 09:16	1.7M
	coqide_8.17.0+dfsg-1+b3_ppc64el.deb	2023-09-22 09:26	2.0M
	coqide_8.17.0+dfsg-1+b3_s390x.deb	2023-09-22 08:40	1.9M
	coqide_8.17.0+dfsg-1_amd64.deb	2023-06-12 10:12	1.9M
	coqide_8.17.0+dfsg-1_arm64.deb	2023-06-13 06:34	2.2M
	coqide_8.17.0+dfsg-1_armhf.deb	2023-06-12 22:02	1.7M
	coqide_8.17.0+dfsg-1_ppc64el.deb	2023-06-15 08:10	2.0M
	coqide_8.17.0+dfsg-1_s390x.deb	2023-06-12 11:12	1.9M
	coqide_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	1.9M
	coqide_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	2.2M
	coqide_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	1.8M
	coqide_8.18.0+dfsg-1_ppc64el.deb	2023-12-21 17:50	2.0M
	coqide_8.18.0+dfsg-1_s390x.deb	2023-12-21 16:14	1.9M
	coqide_8.19.1+dfsg-2_amd64.deb	2024-06-15 08:46	1.9M
	coqide_8.19.1+dfsg-2_arm64.deb	2024-06-15 09:02	2.2M
	coqide_8.19.1+dfsg-2_armhf.deb	2024-06-15 08:47	1.8M
	coqide_8.19.1+dfsg-2_ppc64el.deb	2024-06-15 08:47	2.0M
	coqide_8.19.1+dfsg-2_s390x.deb	2024-06-15 08:52	1.9M
	coqide_8.19.1+dfsg-3+b2_amd64.deb	2024-08-20 20:10	2.1M
	coqide_8.19.1+dfsg-3+b2_arm64.deb	2024-08-20 20:16	2.4M
	coqide_8.19.1+dfsg-3+b2_riscv64.deb	2024-08-20 21:44	2.1M
	coqide_8.19.1+dfsg-3+b2_s390x.deb	2024-08-20 20:47	2.1M
	coqide_8.19.1+dfsg-3+b3_ppc64el.deb	2024-08-30 08:07	2.1M
	coqide_8.20.0+dfsg-1_amd64.deb	2024-11-20 11:33	1.8M
	coqide_8.20.0+dfsg-1_arm64.deb	2024-11-20 11:58	2.1M
	coqide_8.20.0+dfsg-1_ppc64el.deb	2024-11-20 12:00	1.9M
	coqide_8.20.0+dfsg-1_riscv64.deb	2024-11-20 14:10	1.9M
	coqide_8.20.0+dfsg-1_s390x.deb	2024-11-20 16:02	1.9M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_amd64.deb	2023-01-23 19:29	41M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_arm64.deb	2023-01-23 19:44	41M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_armhf.deb	2023-01-23 20:15	41M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_i386.deb	2023-01-23 20:26	40M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_ppc64el.deb	2023-01-23 20:00	42M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_s390x.deb	2023-01-23 19:24	40M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb	2023-02-13 02:14	41M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb	2023-02-13 02:55	41M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb	2023-02-13 02:55	41M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb	2023-02-13 02:29	40M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb	2023-02-13 04:13	42M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb	2023-02-13 02:45	40M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_amd64.deb	2023-07-23 07:13	41M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_arm64.deb	2023-07-23 09:16	41M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_armhf.deb	2023-07-23 07:44	42M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_ppc64el.deb	2023-07-23 08:40	42M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_s390x.deb	2023-07-23 23:40	41M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_amd64.deb	2023-09-22 08:56	41M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_arm64.deb	2023-09-22 09:57	41M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_armhf.deb	2023-09-22 09:16	42M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_ppc64el.deb	2023-09-22 09:26	42M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_s390x.deb	2023-09-22 08:40	41M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1_amd64.deb	2023-06-12 10:12	41M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1_arm64.deb	2023-06-13 06:34	41M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1_armhf.deb	2023-06-12 22:02	41M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1_ppc64el.deb	2023-06-15 08:10	42M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1_s390x.deb	2023-06-12 11:12	41M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	42M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	42M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	43M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc64el.deb	2023-12-21 17:50	43M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_s390x.deb	2023-12-21 16:14	42M
	libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb	2024-06-15 08:46	43M
	libcoq-core-ocaml-dev_8.19.1+dfsg-2_arm64.deb	2024-06-15 09:02	44M
	libcoq-core-ocaml-dev_8.19.1+dfsg-2_armhf.deb	2024-06-15 08:47	44M
	libcoq-core-ocaml-dev_8.19.1+dfsg-2_ppc64el.deb	2024-06-15 08:47	44M
	libcoq-core-ocaml-dev_8.19.1+dfsg-2_s390x.deb	2024-06-15 08:52	43M
	libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb	2024-08-20 20:10	64M
	libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_arm64.deb	2024-08-20 20:16	64M
	libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_riscv64.deb	2024-08-20 21:44	69M
	libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_s390x.deb	2024-08-20 20:47	64M
	libcoq-core-ocaml-dev_8.19.1+dfsg-3+b3_ppc64el.deb	2024-08-30 08:07	65M
	libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb	2024-11-20 11:33	66M
	libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb	2024-11-20 11:58	66M
	libcoq-core-ocaml-dev_8.20.0+dfsg-1_ppc64el.deb	2024-11-20 12:00	67M
	libcoq-core-ocaml-dev_8.20.0+dfsg-1_riscv64.deb	2024-11-20 14:10	71M
	libcoq-core-ocaml-dev_8.20.0+dfsg-1_s390x.deb	2024-11-20 16:02	66M
	libcoq-core-ocaml_8.16.1+dfsg-1+b1_amd64.deb	2023-01-23 19:29	22M
	libcoq-core-ocaml_8.16.1+dfsg-1+b1_arm64.deb	2023-01-23 19:44	22M
	libcoq-core-ocaml_8.16.1+dfsg-1+b1_armhf.deb	2023-01-23 20:15	21M
	libcoq-core-ocaml_8.16.1+dfsg-1+b1_i386.deb	2023-01-23 20:26	21M
	libcoq-core-ocaml_8.16.1+dfsg-1+b1_ppc64el.deb	2023-01-23 20:00	22M
	libcoq-core-ocaml_8.16.1+dfsg-1+b1_s390x.deb	2023-01-23 19:24	22M
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb	2023-02-13 02:14	22M
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb	2023-02-13 02:55	22M
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb	2023-02-13 02:55	21M
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb	2023-02-13 02:29	21M
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb	2023-02-13 04:13	22M
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb	2023-02-13 02:45	22M
	libcoq-core-ocaml_8.17.0+dfsg-1+b2_amd64.deb	2023-07-23 07:13	22M
	libcoq-core-ocaml_8.17.0+dfsg-1+b2_arm64.deb	2023-07-23 09:16	22M
	libcoq-core-ocaml_8.17.0+dfsg-1+b2_armhf.deb	2023-07-23 07:44	21M
	libcoq-core-ocaml_8.17.0+dfsg-1+b2_ppc64el.deb	2023-07-23 08:40	22M
	libcoq-core-ocaml_8.17.0+dfsg-1+b2_s390x.deb	2023-07-23 23:40	22M
	libcoq-core-ocaml_8.17.0+dfsg-1+b3_amd64.deb	2023-09-22 08:56	22M
	libcoq-core-ocaml_8.17.0+dfsg-1+b3_arm64.deb	2023-09-22 09:57	22M
	libcoq-core-ocaml_8.17.0+dfsg-1+b3_armhf.deb	2023-09-22 09:16	21M
	libcoq-core-ocaml_8.17.0+dfsg-1+b3_ppc64el.deb	2023-09-22 09:26	22M
	libcoq-core-ocaml_8.17.0+dfsg-1+b3_s390x.deb	2023-09-22 08:40	22M
	libcoq-core-ocaml_8.17.0+dfsg-1_amd64.deb	2023-06-12 10:12	22M
	libcoq-core-ocaml_8.17.0+dfsg-1_arm64.deb	2023-06-13 06:34	22M
	libcoq-core-ocaml_8.17.0+dfsg-1_armhf.deb	2023-06-12 22:02	21M
	libcoq-core-ocaml_8.17.0+dfsg-1_ppc64el.deb	2023-06-15 08:10	22M
	libcoq-core-ocaml_8.17.0+dfsg-1_s390x.deb	2023-06-12 11:12	22M
	libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	22M
	libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	23M
	libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	22M
	libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb	2023-12-21 17:50	22M
	libcoq-core-ocaml_8.18.0+dfsg-1_s390x.deb	2023-12-21 16:14	22M
	libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb	2024-06-15 08:46	22M
	libcoq-core-ocaml_8.19.1+dfsg-2_arm64.deb	2024-06-15 09:02	23M
	libcoq-core-ocaml_8.19.1+dfsg-2_armhf.deb	2024-06-15 08:47	22M
	libcoq-core-ocaml_8.19.1+dfsg-2_ppc64el.deb	2024-06-15 08:47	22M
	libcoq-core-ocaml_8.19.1+dfsg-2_s390x.deb	2024-06-15 08:52	22M
	libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb	2024-08-20 20:10	24M
	libcoq-core-ocaml_8.19.1+dfsg-3+b2_arm64.deb	2024-08-20 20:16	24M
	libcoq-core-ocaml_8.19.1+dfsg-3+b2_riscv64.deb	2024-08-20 21:44	24M
	libcoq-core-ocaml_8.19.1+dfsg-3+b2_s390x.deb	2024-08-20 20:47	24M
	libcoq-core-ocaml_8.19.1+dfsg-3+b3_ppc64el.deb	2024-08-30 08:07	24M
	libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb	2024-11-20 11:33	25M
	libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb	2024-11-20 11:58	25M
	libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb	2024-11-20 12:00	25M
	libcoq-core-ocaml_8.20.0+dfsg-1_riscv64.deb	2024-11-20 14:10	25M
	libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb	2024-11-20 16:02	25M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb	2010-07-02 17:19	5.8M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb	2010-07-03 22:17	1.9M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb	2010-07-02 19:03	5.7M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb	2010-07-03 22:47	1.9M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb	2010-07-04 15:48	5.8M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb	2010-07-04 15:18	5.6M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb	2010-07-04 14:48	1.9M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb	2010-07-03 08:32	1.9M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb	2010-07-03 18:42	6.7M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb	2010-07-03 18:42	1.9M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb	2010-07-04 15:18	6.4M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb	2012-06-06 08:32	5.6M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb	2012-06-06 12:47	7.2M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb	2012-06-06 17:32	2.4M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb	2012-06-06 09:32	5.5M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_ia64.deb	2012-06-07 21:03	2.4M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb	2012-06-06 22:48	5.6M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb	2012-06-06 12:17	5.5M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_mips.deb	2012-06-08 17:19	2.4M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb	2012-06-06 14:32	2.4M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb	2012-06-06 11:02	6.4M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390.deb	2012-06-06 12:17	2.4M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb	2012-06-06 13:17	2.4M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb	2012-06-06 12:32	6.1M
	libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb	2014-08-27 04:42	1.2M
	libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb	2014-07-27 17:26	3.6M
	libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb	2014-09-11 05:27	1.2M
	libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb	2014-07-27 20:28	3.9M
	libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb	2014-07-27 23:28	3.8M
	libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb	2014-07-27 18:57	3.6M
	libcoq-ocaml-dev_8.4pl4dfsg-1_mips.deb	2014-07-31 16:58	1.2M
	libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb	2014-07-28 04:14	1.2M
	libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb	2014-07-27 19:28	3.5M
	libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb	2014-09-06 19:57	1.2M
	libcoq-ocaml-dev_8.6-4_amd64.deb	2016-12-30 01:56	13M
	libcoq-ocaml-dev_8.6-4_arm64.deb	2016-12-30 02:57	13M
	libcoq-ocaml-dev_8.6-4_armel.deb	2016-12-30 04:12	13M
	libcoq-ocaml-dev_8.6-4_armhf.deb	2016-12-30 04:12	13M
	libcoq-ocaml-dev_8.6-4_i386.deb	2016-12-30 02:57	13M
	libcoq-ocaml-dev_8.6-4_mips.deb	2016-12-30 08:57	9.6M
	libcoq-ocaml-dev_8.6-4_mips64el.deb	2016-12-30 15:29	9.6M
	libcoq-ocaml-dev_8.6-4_mipsel.deb	2016-12-30 08:57	9.6M
	libcoq-ocaml-dev_8.6-4_ppc64el.deb	2016-12-30 04:57	9.6M
	libcoq-ocaml-dev_8.6-4_s390x.deb	2016-12-30 06:27	9.6M
	libcoq-ocaml-dev_8.9.0-1_amd64.deb	2019-02-06 19:49	13M
	libcoq-ocaml-dev_8.9.0-1_arm64.deb	2019-02-06 21:26	13M
	libcoq-ocaml-dev_8.9.0-1_armel.deb	2019-02-07 02:44	7.6M
	libcoq-ocaml-dev_8.9.0-1_armhf.deb	2019-02-07 22:15	14M
	libcoq-ocaml-dev_8.9.0-1_i386.deb	2019-02-06 21:21	13M
	libcoq-ocaml-dev_8.9.0-1_mips.deb	2019-02-07 04:15	7.6M
	libcoq-ocaml-dev_8.9.0-1_mips64el.deb	2019-02-09 09:29	7.6M
	libcoq-ocaml-dev_8.9.0-1_mipsel.deb	2019-02-07 01:59	7.6M
	libcoq-ocaml-dev_8.9.0-1_ppc64el.deb	2019-02-06 21:00	13M
	libcoq-ocaml-dev_8.9.0-1_s390x.deb	2019-02-06 21:00	13M
	libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb	2020-11-25 08:28	18M
	libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb	2020-11-25 08:58	18M
	libcoq-ocaml-dev_8.12.0-3+b3_armel.deb	2020-11-25 18:44	11M
	libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb	2020-11-25 08:43	18M
	libcoq-ocaml-dev_8.12.0-3+b3_i386.deb	2020-11-25 08:18	18M
	libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb	2020-11-25 17:41	11M
	libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb	2020-11-26 01:43	11M
	libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb	2020-11-25 08:28	19M
	libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb	2012-06-06 08:32	2.0M
	libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb	2012-06-06 12:47	521K
	libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb	2012-06-06 17:32	524K
	libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb	2012-06-06 09:32	1.8M
	libcoq-ocaml_8.3.pl4+dfsg-2_ia64.deb	2012-06-07 21:03	524K
	libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb	2012-06-06 22:48	2.0M
	libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb	2012-06-06 12:17	1.8M
	libcoq-ocaml_8.3.pl4+dfsg-2_mips.deb	2012-06-08 17:19	521K
	libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb	2012-06-06 14:32	521K
	libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb	2012-06-06 11:02	2.0M
	libcoq-ocaml_8.3.pl4+dfsg-2_s390.deb	2012-06-06 12:17	520K
	libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb	2012-06-06 13:17	524K
	libcoq-ocaml_8.3.pl4+dfsg-2_sparc.deb	2012-06-06 12:32	2.0M
	libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb	2014-08-27 04:42	374K
	libcoq-ocaml_8.4pl4dfsg-1_amd64.deb	2014-07-27 17:26	1.6M
	libcoq-ocaml_8.4pl4dfsg-1_arm64.deb	2014-09-11 05:27	371K
	libcoq-ocaml_8.4pl4dfsg-1_armel.deb	2014-07-27 20:28	1.5M
	libcoq-ocaml_8.4pl4dfsg-1_armhf.deb	2014-07-27 23:28	1.5M
	libcoq-ocaml_8.4pl4dfsg-1_i386.deb	2014-07-27 18:57	1.4M
	libcoq-ocaml_8.4pl4dfsg-1_mips.deb	2014-07-31 16:58	373K
	libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb	2014-07-28 04:14	373K
	libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb	2014-07-27 19:28	1.4M
	libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb	2014-09-06 19:57	372K
	libcoq-ocaml_8.6-4_amd64.deb	2016-12-30 01:56	3.3M
	libcoq-ocaml_8.6-4_arm64.deb	2016-12-30 02:57	3.3M
	libcoq-ocaml_8.6-4_armel.deb	2016-12-30 04:12	3.4M
	libcoq-ocaml_8.6-4_armhf.deb	2016-12-30 04:12	3.4M
	libcoq-ocaml_8.6-4_i386.deb	2016-12-30 02:57	3.2M
	libcoq-ocaml_8.6-4_mips.deb	2016-12-30 08:57	2.3M
	libcoq-ocaml_8.6-4_mips64el.deb	2016-12-30 15:29	2.3M
	libcoq-ocaml_8.6-4_mipsel.deb	2016-12-30 08:57	2.3M
	libcoq-ocaml_8.6-4_ppc64el.deb	2016-12-30 04:57	2.3M
	libcoq-ocaml_8.6-4_s390x.deb	2016-12-30 06:27	2.3M
	libcoq-ocaml_8.9.0-1_amd64.deb	2019-02-06 19:49	5.2M
	libcoq-ocaml_8.9.0-1_arm64.deb	2019-02-06 21:26	5.5M
	libcoq-ocaml_8.9.0-1_armel.deb	2019-02-07 02:44	3.4M
	libcoq-ocaml_8.9.0-1_armhf.deb	2019-02-07 22:15	5.1M
	libcoq-ocaml_8.9.0-1_i386.deb	2019-02-06 21:21	4.9M
	libcoq-ocaml_8.9.0-1_mips.deb	2019-02-07 04:15	3.4M
	libcoq-ocaml_8.9.0-1_mips64el.deb	2019-02-09 09:29	3.4M
	libcoq-ocaml_8.9.0-1_mipsel.deb	2019-02-07 01:59	3.4M
	libcoq-ocaml_8.9.0-1_ppc64el.deb	2019-02-06 21:00	5.3M
	libcoq-ocaml_8.9.0-1_s390x.deb	2019-02-06 21:00	5.3M
	libcoq-ocaml_8.12.0-3+b3_amd64.deb	2020-11-25 08:28	7.4M
	libcoq-ocaml_8.12.0-3+b3_arm64.deb	2020-11-25 08:58	7.6M
	libcoq-ocaml_8.12.0-3+b3_armel.deb	2020-11-25 18:44	5.2M
	libcoq-ocaml_8.12.0-3+b3_armhf.deb	2020-11-25 08:43	7.4M
	libcoq-ocaml_8.12.0-3+b3_i386.deb	2020-11-25 08:18	7.2M
	libcoq-ocaml_8.12.0-3+b3_mips64el.deb	2020-11-25 17:41	5.2M
	libcoq-ocaml_8.12.0-3+b3_mipsel.deb	2020-11-26 01:43	5.2M
	libcoq-ocaml_8.12.0-3+b3_ppc64el.deb	2020-11-25 08:28	7.5M
	libcoq-stdlib_8.16.1+dfsg-1+b1_amd64.deb	2023-01-23 19:29	21M
	libcoq-stdlib_8.16.1+dfsg-1+b1_arm64.deb	2023-01-23 19:44	21M
	libcoq-stdlib_8.16.1+dfsg-1+b1_armhf.deb	2023-01-23 20:15	21M
	libcoq-stdlib_8.16.1+dfsg-1+b1_i386.deb	2023-01-23 20:26	21M
	libcoq-stdlib_8.16.1+dfsg-1+b1_ppc64el.deb	2023-01-23 20:00	21M
	libcoq-stdlib_8.16.1+dfsg-1+b1_s390x.deb	2023-01-23 19:24	21M
	libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb	2023-02-13 02:14	21M
	libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb	2023-02-13 02:55	21M
	libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb	2023-02-13 02:55	21M
	libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb	2023-02-13 02:29	21M
	libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb	2023-02-13 04:13	21M
	libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb	2023-02-13 02:45	21M
	libcoq-stdlib_8.17.0+dfsg-1+b2_amd64.deb	2023-07-23 07:13	24M
	libcoq-stdlib_8.17.0+dfsg-1+b2_arm64.deb	2023-07-23 09:16	24M
	libcoq-stdlib_8.17.0+dfsg-1+b2_armhf.deb	2023-07-23 07:44	24M
	libcoq-stdlib_8.17.0+dfsg-1+b2_ppc64el.deb	2023-07-23 08:40	24M
	libcoq-stdlib_8.17.0+dfsg-1+b2_s390x.deb	2023-07-23 23:40	24M
	libcoq-stdlib_8.17.0+dfsg-1+b3_amd64.deb	2023-09-22 08:56	24M
	libcoq-stdlib_8.17.0+dfsg-1+b3_arm64.deb	2023-09-22 09:57	24M
	libcoq-stdlib_8.17.0+dfsg-1+b3_armhf.deb	2023-09-22 09:16	24M
	libcoq-stdlib_8.17.0+dfsg-1+b3_ppc64el.deb	2023-09-22 09:26	24M
	libcoq-stdlib_8.17.0+dfsg-1+b3_s390x.deb	2023-09-22 08:40	24M
	libcoq-stdlib_8.17.0+dfsg-1_amd64.deb	2023-06-12 10:12	24M
	libcoq-stdlib_8.17.0+dfsg-1_arm64.deb	2023-06-13 06:34	24M
	libcoq-stdlib_8.17.0+dfsg-1_armhf.deb	2023-06-12 22:02	24M
	libcoq-stdlib_8.17.0+dfsg-1_ppc64el.deb	2023-06-15 08:10	24M
	libcoq-stdlib_8.17.0+dfsg-1_s390x.deb	2023-06-12 11:12	24M
	libcoq-stdlib_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	22M
	libcoq-stdlib_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	22M
	libcoq-stdlib_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	22M
	libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb	2023-12-21 17:50	22M
	libcoq-stdlib_8.18.0+dfsg-1_s390x.deb	2023-12-21 16:14	22M
	libcoq-stdlib_8.19.1+dfsg-2_amd64.deb	2024-06-15 08:46	23M
	libcoq-stdlib_8.19.1+dfsg-2_arm64.deb	2024-06-15 09:02	23M
	libcoq-stdlib_8.19.1+dfsg-2_armhf.deb	2024-06-15 08:47	23M
	libcoq-stdlib_8.19.1+dfsg-2_ppc64el.deb	2024-06-15 08:47	23M
	libcoq-stdlib_8.19.1+dfsg-2_s390x.deb	2024-06-15 08:52	23M
	libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb	2024-08-20 20:10	23M
	libcoq-stdlib_8.19.1+dfsg-3+b2_arm64.deb	2024-08-20 20:16	23M
	libcoq-stdlib_8.19.1+dfsg-3+b2_riscv64.deb	2024-08-20 21:44	23M
	libcoq-stdlib_8.19.1+dfsg-3+b2_s390x.deb	2024-08-20 20:47	23M
	libcoq-stdlib_8.19.1+dfsg-3+b3_ppc64el.deb	2024-08-30 08:07	23M
	libcoq-stdlib_8.20.0+dfsg-1_amd64.deb	2024-11-20 11:33	22M
	libcoq-stdlib_8.20.0+dfsg-1_arm64.deb	2024-11-20 11:58	22M
	libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb	2024-11-20 12:00	22M
	libcoq-stdlib_8.20.0+dfsg-1_riscv64.deb	2024-11-20 14:10	22M
	libcoq-stdlib_8.20.0+dfsg-1_s390x.deb	2024-11-20 16:02	22M