Index of /debian/pool/main/c/coq-hott

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-hott_8.16-2.debian.tar.xz	2023-01-25 10:12	2.5K
	coq-hott_8.16-2.dsc	2023-01-25 10:12	2.0K
	coq-hott_8.16.orig.tar.gz	2022-09-06 12:09	848K
	coq-hott_8.18-3.debian.tar.xz	2023-12-22 13:16	2.8K
	coq-hott_8.18-3.dsc	2023-12-22 13:16	2.0K
	coq-hott_8.18.orig.tar.gz	2023-09-01 15:20	888K
	coq-hott_8.19-1.debian.tar.xz	2024-04-26 16:51	2.8K
	coq-hott_8.19-1.dsc	2024-04-26 16:51	2.0K
	coq-hott_8.19-2.debian.tar.xz	2024-08-03 18:44	2.9K
	coq-hott_8.19-2.dsc	2024-08-03 18:44	1.8K
	coq-hott_8.19.orig.tar.gz	2024-04-26 16:51	961K
	coq-hott_8.20-1.debian.tar.xz	2024-11-20 12:57	2.9K
	coq-hott_8.20-1.dsc	2024-11-20 12:57	2.0K
	coq-hott_8.20.orig.tar.gz	2024-11-20 12:57	1.0M
	libcoq-hott_8.16-2+b1_amd64.deb	2023-02-13 08:27	13M
	libcoq-hott_8.16-2+b1_arm64.deb	2023-02-13 08:26	13M
	libcoq-hott_8.16-2+b1_armhf.deb	2023-02-13 08:27	13M
	libcoq-hott_8.16-2+b1_i386.deb	2023-02-13 08:26	13M
	libcoq-hott_8.16-2+b1_ppc64el.deb	2023-02-13 08:26	13M
	libcoq-hott_8.16-2+b1_s390x.deb	2023-02-13 08:26	13M
	libcoq-hott_8.18-3_amd64.deb	2023-12-22 14:07	12M
	libcoq-hott_8.18-3_arm64.deb	2023-12-22 13:57	12M
	libcoq-hott_8.18-3_armhf.deb	2023-12-22 13:57	12M
	libcoq-hott_8.18-3_i386.deb	2023-12-22 14:07	12M
	libcoq-hott_8.18-3_ppc64el.deb	2023-12-22 13:57	12M
	libcoq-hott_8.18-3_s390x.deb	2023-12-22 13:57	12M
	libcoq-hott_8.19-1+b1_amd64.deb	2024-06-15 13:59	14M
	libcoq-hott_8.19-1+b1_arm64.deb	2024-06-15 14:10	14M
	libcoq-hott_8.19-1+b1_armhf.deb	2024-06-15 14:10	14M
	libcoq-hott_8.19-1+b1_i386.deb	2024-06-15 14:05	14M
	libcoq-hott_8.19-1+b1_ppc64el.deb	2024-06-15 13:59	14M
	libcoq-hott_8.19-1+b1_riscv64.deb	2024-06-15 14:35	14M
	libcoq-hott_8.19-1+b1_s390x.deb	2024-06-16 00:06	14M
	libcoq-hott_8.19-1_amd64.deb	2024-04-28 01:08	14M
	libcoq-hott_8.19-1_arm64.deb	2024-04-28 01:08	14M
	libcoq-hott_8.19-1_armhf.deb	2024-04-28 01:14	14M
	libcoq-hott_8.19-1_i386.deb	2024-04-27 20:39	14M
	libcoq-hott_8.19-1_ppc64el.deb	2024-04-27 20:07	14M
	libcoq-hott_8.19-1_riscv64.deb	2024-04-27 21:06	14M
	libcoq-hott_8.19-1_s390x.deb	2024-04-28 01:41	14M
	libcoq-hott_8.19-2+b1_s390x.deb	2024-08-04 06:38	14M
	libcoq-hott_8.19-2_amd64.deb	2024-08-03 19:15	14M
	libcoq-hott_8.19-2_arm64.deb	2024-08-03 19:20	14M
	libcoq-hott_8.19-2_armhf.deb	2024-08-03 19:25	14M
	libcoq-hott_8.19-2_i386.deb	2024-08-03 19:20	14M
	libcoq-hott_8.19-2_ppc64el.deb	2024-08-03 19:14	14M
	libcoq-hott_8.19-2_riscv64.deb	2024-08-03 20:00	14M
	libcoq-hott_8.19-2_s390x.deb	2024-08-03 21:16	14M
	libcoq-hott_8.20-1+b1_arm64.deb	2024-11-20 19:40	14M
	libcoq-hott_8.20-1+b1_ppc64el.deb	2024-11-20 19:40	14M
	libcoq-hott_8.20-1+b1_s390x.deb	2024-11-21 06:56	14M
	libcoq-hott_8.20-1+b2_amd64.deb	2024-11-20 19:41	14M
	libcoq-hott_8.20-1_riscv64.deb	2024-11-20 18:17	14M