Index of /ubuntu/pool/universe/c/coq-equations/

Filename	Modified	Size	Type
[Parent Directory]	-	-	-
coq-equations_1.3-8.19-2build3.dsc	07/09/24 19:0407/09/24	2.1 KiB	[Save][Download]
libcoq-equations_1.3-8.19-2build3_amd64.deb	07/09/24 19:0507/09/24	1.3 MiB	[Save][Download]
coq-equations_1.3.1-8.20-1build4.debian.tar.xz	19/02/25 07:5219/02/25	2.8 KiB	[Save][Download]
coq-equations_1.3.1-8.20-1build4.dsc	19/02/25 07:5219/02/25	2.1 KiB	[Save][Download]
coq-equations_1.3-8.18.orig.tar.gz	23/12/23 17:1623/12/23	1.1 MiB	[Save][Download]
coq-equations_1.3.1-8.20.orig.tar.gz	20/11/24 18:4720/11/24	1.1 MiB	[Save][Download]
libcoq-equations_1.3.1-8.20-1build4_amd64.deb	19/02/25 07:5319/02/25	1.3 MiB	[Save][Download]
coq-equations_1.3-8.18-1build3.debian.tar.xz	08/04/24 07:5708/04/24	2.8 KiB	[Save][Download]
coq-equations_1.3-8.18-1build3.dsc	08/04/24 07:5708/04/24	2.2 KiB	[Save][Download]
libcoq-equations_1.3-8.18-1build3_amd64.deb	08/04/24 10:5908/04/24	1.5 MiB	[Save][Download]
coq-equations_1.3-8.19-2build3.debian.tar.xz	07/09/24 19:0407/09/24	2.8 KiB	[Save][Download]
coq-equations_1.3-8.19.orig.tar.gz	02/05/24 11:5302/05/24	1.1 MiB	[Save][Download]