Folder Path

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

0 directories 18 files

	Name	Size	Modified
	Up
	coq-equations_1.3-8.15-2build1.debian.tar.xz	2.2 KiB	08/30/2022 10:48:54 AM +00:00
	coq-equations_1.3-8.15-2build1.dsc	2.1 KiB	08/30/2022 10:48:55 AM +00:00
	coq-equations_1.3-8.15.orig.tar.gz	1.0 MiB	07/18/2022 11:49:00 PM +00:00
	coq-equations_1.3-8.17-2build2.debian.tar.xz	2.6 KiB	09/04/2023 01:25:10 PM +00:00
	coq-equations_1.3-8.17-2build2.dsc	2.1 KiB	09/04/2023 01:25:10 PM +00:00
	coq-equations_1.3-8.17.orig.tar.gz	1.0 MiB	06/13/2023 11:34:30 AM +00:00
	libcoq-equations_1.3-8.15-2build1_amd64.deb	1.6 MiB	08/30/2022 10:48:57 AM +00:00
	libcoq-equations_1.3-8.15-2build1_arm64.deb	1.6 MiB	08/30/2022 10:48:57 AM +00:00
	libcoq-equations_1.3-8.15-2build1_armhf.deb	1.6 MiB	08/30/2022 10:48:58 AM +00:00
	libcoq-equations_1.3-8.15-2build1_ppc64el.deb	1.6 MiB	08/30/2022 10:48:58 AM +00:00
	libcoq-equations_1.3-8.15-2build1_riscv64.deb	1.6 MiB	08/30/2022 11:34:19 AM +00:00
	libcoq-equations_1.3-8.15-2build1_s390x.deb	1.6 MiB	08/30/2022 10:48:58 AM +00:00
	libcoq-equations_1.3-8.17-2build2_amd64.deb	1.5 MiB	09/04/2023 02:14:14 PM +00:00
	libcoq-equations_1.3-8.17-2build2_arm64.deb	1.6 MiB	09/04/2023 02:14:24 PM +00:00
	libcoq-equations_1.3-8.17-2build2_armhf.deb	1.5 MiB	09/04/2023 02:14:24 PM +00:00
	libcoq-equations_1.3-8.17-2build2_ppc64el.deb	1.6 MiB	09/04/2023 02:14:25 PM +00:00
	libcoq-equations_1.3-8.17-2build2_riscv64.deb	1.5 MiB	09/04/2023 02:14:25 PM +00:00
	libcoq-equations_1.3-8.17-2build2_s390x.deb	1.6 MiB	09/04/2023 02:14:25 PM +00:00