Folder Path

/ubuntu-old-releases/ubuntu/pool/universe/c/coq-hott/

0 directories 27 files

	Name	Size	Modified
	Up
	coq-hott_8.15-4.debian.tar.xz	2.7 KiB	08/22/2022 05:34:11 PM +00:00
	coq-hott_8.15-4.dsc	2.0 KiB	08/22/2022 05:34:11 PM +00:00
	coq-hott_8.15.orig.tar.gz	820 KiB	07/08/2022 11:24:05 PM +00:00
	coq-hott_8.16-2build2.debian.tar.xz	2.6 KiB	02/16/2023 06:50:17 PM +00:00
	coq-hott_8.16-2build2.dsc	2.0 KiB	02/16/2023 06:50:17 PM +00:00
	coq-hott_8.16.orig.tar.gz	848 KiB	11/06/2022 03:17:25 AM +00:00
	coq-hott_8.18-1.debian.tar.xz	2.8 KiB	09/04/2023 08:09:29 AM +00:00
	coq-hott_8.18-1.dsc	2.0 KiB	09/04/2023 08:09:29 AM +00:00
	coq-hott_8.18.orig.tar.gz	888 KiB	09/04/2023 08:09:29 AM +00:00
	libcoq-hott_8.15-4_amd64.deb	16 MiB	08/22/2022 05:34:13 PM +00:00
	libcoq-hott_8.15-4_arm64.deb	16 MiB	08/22/2022 09:59:02 PM +00:00
	libcoq-hott_8.15-4_armhf.deb	16 MiB	08/22/2022 09:59:03 PM +00:00
	libcoq-hott_8.15-4_ppc64el.deb	16 MiB	08/22/2022 06:29:11 PM +00:00
	libcoq-hott_8.15-4_riscv64.deb	16 MiB	08/23/2022 02:14:31 AM +00:00
	libcoq-hott_8.15-4_s390x.deb	16 MiB	08/23/2022 12:26:06 AM +00:00
	libcoq-hott_8.16-2build2_amd64.deb	16 MiB	02/16/2023 06:50:27 PM +00:00
	libcoq-hott_8.16-2build2_arm64.deb	16 MiB	02/16/2023 06:50:33 PM +00:00
	libcoq-hott_8.16-2build2_armhf.deb	16 MiB	02/16/2023 06:50:45 PM +00:00
	libcoq-hott_8.16-2build2_ppc64el.deb	16 MiB	02/16/2023 06:50:50 PM +00:00
	libcoq-hott_8.16-2build2_riscv64.deb	16 MiB	02/16/2023 08:13:59 PM +00:00
	libcoq-hott_8.16-2build2_s390x.deb	16 MiB	02/16/2023 06:50:58 PM +00:00
	libcoq-hott_8.18-1_amd64.deb	16 MiB	09/04/2023 08:50:06 AM +00:00
	libcoq-hott_8.18-1_arm64.deb	16 MiB	09/04/2023 08:50:10 AM +00:00
	libcoq-hott_8.18-1_armhf.deb	16 MiB	09/04/2023 08:50:18 AM +00:00
	libcoq-hott_8.18-1_ppc64el.deb	16 MiB	09/04/2023 08:50:22 AM +00:00
	libcoq-hott_8.18-1_riscv64.deb	16 MiB	09/04/2023 10:24:45 AM +00:00
	libcoq-hott_8.18-1_s390x.deb	16 MiB	09/04/2023 08:50:30 AM +00:00