Miroir L@goon NC

Location:

Name	Last modified	Size	Description

Parent Directory		-
mathcomp-multinomials_2.2.0.orig.tar.gz	2024-01-21 10:35	79K	GZIP compressed TAR archive
mathcomp-multinomials_2.2.0-4build1.dsc	2024-11-22 03:01	2.2K
mathcomp-multinomials_2.2.0-4build1.debian.tar.xz	2024-11-22 03:01	9.1K	TAR compressed archive
mathcomp-multinomials_2.2.0-3build6.dsc	2024-09-18 03:56	2.2K
mathcomp-multinomials_2.2.0-3build6.debian.tar.xz	2024-09-18 03:56	8.9K	TAR compressed archive
mathcomp-multinomials_2.2.0-1build5.dsc	2024-04-08 18:57	2.3K
mathcomp-multinomials_2.2.0-1build5.debian.tar.xz	2024-04-08 18:57	8.9K	TAR compressed archive
mathcomp-multinomials_1.5.5.orig.tar.gz	2022-05-20 10:34	85K	GZIP compressed TAR archive
mathcomp-multinomials_1.5.5-8build7.dsc	2023-02-17 05:50	2.2K
mathcomp-multinomials_1.5.5-8build7.debian.tar.xz	2023-02-17 05:50	8.7K	TAR compressed archive
libcoq-mathcomp-multinomials_2.2.0-4build1_amd64.deb	2024-11-22 03:02	1.9M
libcoq-mathcomp-multinomials_2.2.0-3build6_amd64.deb	2024-09-20 12:35	1.9M
libcoq-mathcomp-multinomials_2.2.0-1build5_amd64.deb	2024-04-09 17:03	1.6M
libcoq-mathcomp-multinomials_1.5.5-8build7_amd64.deb	2023-02-17 06:44	1.5M