Index of /ubuntu/pool/universe/m/mathcomp-zify/

Filename	Modified	Size	Type
[Parent Directory]	-	-	-
mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz	25/12/23 17:3125/12/23	20.6 KiB	[Save][Download]
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4build5_amd64.deb	20/02/25 04:2020/02/25	308 KiB	[Save][Download]
mathcomp-zify_1.5.0+2.0+8.16-1build5.debian.tar.xz	08/04/24 07:5708/04/24	8.6 KiB	[Save][Download]
mathcomp-zify_1.5.0+2.0+8.16-1build5.dsc	08/04/24 07:5708/04/24	2.2 KiB	[Save][Download]
mathcomp-zify_1.5.0+2.0+8.16-3build7.debian.tar.xz	17/09/24 15:5117/09/24	8.7 KiB	[Save][Download]
mathcomp-zify_1.5.0+2.0+8.16-4build5.dsc	19/02/25 07:5219/02/25	2.1 KiB	[Save][Download]
mathcomp-zify_1.5.0+2.0+8.16-4build9.debian.tar.xz	31/08/25 19:4231/08/25	8.8 KiB	[Save][Download]
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4build9_amd64.deb	01/09/25 19:5201/09/25	307 KiB	[Save][Download]
libcoq-mathcomp-zify_1.5.0+2.0+8.16-3build7_amd64.deb	19/09/24 23:3919/09/24	275 KiB	[Save][Download]
mathcomp-zify_1.5.0+2.0+8.16-3build7.dsc	17/09/24 15:5117/09/24	2.1 KiB	[Save][Download]
mathcomp-zify_1.5.0+2.0+8.16-4build5.debian.tar.xz	19/02/25 07:5219/02/25	8.7 KiB	[Save][Download]
mathcomp-zify_1.5.0+2.0+8.16-4build9.dsc	31/08/25 19:4231/08/25	2.1 KiB	[Save][Download]
libcoq-mathcomp-zify_1.5.0+2.0+8.16-1build5_amd64.deb	08/04/24 14:3608/04/24	267 KiB	[Save][Download]