Index of /ubuntu/pool/universe/c/coq-relation-algebra/

Filename	Modified	Size	Type
[Parent Directory]	-	-	-
coq-relation-algebra_1.7.9-2build5.dsc	08/04/24 07:5708/04/24	2.3 KiB	[Save][Download]
coq-relation-algebra_1.7.11-1build12.dsc	04/01/26 23:0604/01/26	2.2 KiB	[Save][Download]
libcoq-relation-algebra_1.7.11-1build13_amd64v3.deb	31/01/26 08:1731/01/26	2.3 MiB	[Save][Download]
libcoq-relation-algebra_1.7.11-1build5_amd64.deb	20/02/25 04:2020/02/25	2.3 MiB	[Save][Download]
coq-relation-algebra_1.7.11-1build13.dsc	28/01/26 00:5928/01/26	2.2 KiB	[Save][Download]
coq-relation-algebra_1.7.11-1build5.debian.tar.xz	19/02/25 07:5219/02/25	2.3 KiB	[Save][Download]
coq-relation-algebra_1.7.11-1build5.dsc	19/02/25 07:5219/02/25	2.2 KiB	[Save][Download]
coq-relation-algebra_1.7.11.orig.tar.gz	20/11/24 18:4720/11/24	192 KiB	[Save][Download]
coq-relation-algebra_1.7.9-2build5.debian.tar.xz	08/04/24 07:5708/04/24	2.5 KiB	[Save][Download]
coq-relation-algebra_1.7.9.orig.tar.gz	14/06/23 23:2414/06/23	192 KiB	[Save][Download]
coq-relation-algebra_1.7.11-1build9.dsc	31/08/25 19:4231/08/25	2.2 KiB	[Save][Download]
libcoq-relation-algebra_1.7.11-1build12_amd64.deb	06/01/26 00:0806/01/26	2.3 MiB	[Save][Download]
coq-relation-algebra_1.7.11-1build13.debian.tar.xz	28/01/26 00:5928/01/26	2.5 KiB	[Save][Download]
libcoq-relation-algebra_1.7.11-1build12_amd64v3.deb	06/01/26 00:0906/01/26	2.3 MiB	[Save][Download]
libcoq-relation-algebra_1.7.9-2build5_amd64.deb	08/04/24 14:3608/04/24	2.3 MiB	[Save][Download]
coq-relation-algebra_1.7.11-1build9.debian.tar.xz	31/08/25 19:4231/08/25	2.4 KiB	[Save][Download]
libcoq-relation-algebra_1.7.11-1build9_amd64.deb	01/09/25 19:5201/09/25	2.3 MiB	[Save][Download]
coq-relation-algebra_1.7.11-1build12.debian.tar.xz	04/01/26 23:0604/01/26	2.5 KiB	[Save][Download]
libcoq-relation-algebra_1.7.11-1build13_amd64.deb	31/01/26 08:1731/01/26	2.3 MiB	[Save][Download]