Folder Path

/ubuntu-ports/pool/universe/c/coq-interval/

0 directories 22 files 92 MiB total

	Name	Size	Modified
	Up
	coq-interval_4.11.0-2build5.debian.tar.xz	9.3 KiB	09/17/2024 04:56:34 PM +00:00
	coq-interval_4.11.0-2build5.dsc	2.1 KiB	09/17/2024 04:56:34 PM +00:00
	coq-interval_4.11.0.orig.tar.bz2	295 KiB	06/08/2024 05:43:10 PM +00:00
	coq-interval_4.11.1-1build1.debian.tar.xz	9.2 KiB	11/21/2024 04:01:47 PM +00:00
	coq-interval_4.11.1-1build1.dsc	2.1 KiB	11/21/2024 04:01:47 PM +00:00
	coq-interval_4.11.1.orig.tar.gz	372 KiB	11/20/2024 06:47:27 PM +00:00
	coq-interval_4.9.0-1build5.debian.tar.xz	9.2 KiB	04/08/2024 07:57:39 AM +00:00
	coq-interval_4.9.0-1build5.dsc	2.2 KiB	04/08/2024 07:57:39 AM +00:00
	coq-interval_4.9.0.orig.tar.bz2	275 KiB	12/26/2023 05:17:07 PM +00:00
	libcoq-interval_4.11.0-2build5_arm64.deb	7.3 MiB	09/20/2024 04:15:36 AM +00:00
	libcoq-interval_4.11.0-2build5_ppc64el.deb	7.3 MiB	09/20/2024 04:15:36 AM +00:00
	libcoq-interval_4.11.0-2build5_riscv64.deb	7.3 MiB	09/20/2024 01:55:35 PM +00:00
	libcoq-interval_4.11.0-2build5_s390x.deb	7.3 MiB	09/20/2024 01:35:18 AM +00:00
	libcoq-interval_4.11.1-1build1_arm64.deb	7.3 MiB	11/21/2024 04:02:16 PM +00:00
	libcoq-interval_4.11.1-1build1_ppc64el.deb	7.3 MiB	11/21/2024 04:02:19 PM +00:00
	libcoq-interval_4.11.1-1build1_riscv64.deb	7.3 MiB	11/22/2024 01:00:18 AM +00:00
	libcoq-interval_4.11.1-1build1_s390x.deb	7.3 MiB	11/21/2024 04:02:26 PM +00:00
	libcoq-interval_4.9.0-1build5_arm64.deb	6.5 MiB	04/08/2024 08:09:08 PM +00:00
	libcoq-interval_4.9.0-1build5_armhf.deb	6.5 MiB	04/08/2024 07:24:35 PM +00:00
	libcoq-interval_4.9.0-1build5_ppc64el.deb	6.5 MiB	04/08/2024 08:52:53 PM +00:00
	libcoq-interval_4.9.0-1build5_riscv64.deb	6.5 MiB	04/09/2024 07:42:31 AM +00:00
	libcoq-interval_4.9.0-1build5_s390x.deb	6.5 MiB	04/09/2024 02:23:37 AM +00:00