Folder Path

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

0 directories 17 files 150 MiB total

	Name	Size	Modified
	Up
	coq-hott_8.16-2.debian.tar.xz	2.5 KiB	01/25/2023 07:12:01 AM +00:00
	coq-hott_8.16-2.dsc	2.0 KiB	01/25/2023 07:12:01 AM +00:00
	coq-hott_8.16.orig.tar.gz	848 KiB	09/06/2022 09:09:11 AM +00:00
	coq-hott_8.19-2.debian.tar.xz	2.9 KiB	08/03/2024 03:44:21 PM +00:00
	coq-hott_8.19-2.dsc	1.8 KiB	08/03/2024 03:44:21 PM +00:00
	coq-hott_8.19.orig.tar.gz	961 KiB	04/26/2024 01:51:26 PM +00:00
	libcoq-hott_8.16-2+b1_amd64.deb	14 MiB	02/13/2023 05:27:06 AM +00:00
	libcoq-hott_8.16-2+b1_arm64.deb	13 MiB	02/13/2023 05:26:52 AM +00:00
	libcoq-hott_8.16-2+b1_armhf.deb	13 MiB	02/13/2023 05:27:00 AM +00:00
	libcoq-hott_8.16-2+b1_i386.deb	13 MiB	02/13/2023 05:26:59 AM +00:00
	libcoq-hott_8.16-2+b1_ppc64el.deb	13 MiB	02/13/2023 05:26:58 AM +00:00
	libcoq-hott_8.16-2+b1_s390x.deb	14 MiB	02/13/2023 05:26:56 AM +00:00
	libcoq-hott_8.19-2+b2_amd64.deb	14 MiB	08/21/2024 03:48:56 AM +00:00
	libcoq-hott_8.19-2+b2_arm64.deb	14 MiB	08/21/2024 03:54:02 AM +00:00
	libcoq-hott_8.19-2+b2_riscv64.deb	14 MiB	08/21/2024 05:36:17 AM +00:00
	libcoq-hott_8.19-2+b3_ppc64el.deb	14 MiB	08/30/2024 03:10:19 PM +00:00
	libcoq-hott_8.19-2+b3_s390x.deb	14 MiB	08/21/2024 04:04:30 AM +00:00