THE OPEN SOURCE NETWORK

mathcomp-multinomials

/raspbian/pool/main/m/mathcomp-multinomials/

Name ↑	Modified (UTC)	Size
Parent directory	—	—
libcoq-mathcomp-multinomials_1.5.5-8+b4_armhf.deb	22 May 2023, 16:08	1.3 MiB
mathcomp-multinomials_1.5.5-8.debian.tar.xz	05 Jul 2022, 16:18	8.5 KiB
mathcomp-multinomials_1.5.5-8.dsc	05 Jul 2022, 16:18	2.2 KiB
mathcomp-multinomials_1.5.5.orig.tar.gz	17 May 2022, 20:15	85.0 KiB
mathcomp-multinomials_2.3.0-1.debian.tar.xz	18 Dec 2024, 16:08	8.8 KiB
mathcomp-multinomials_2.3.0-1.dsc	18 Dec 2024, 16:08	2.3 KiB
mathcomp-multinomials_2.3.0.orig.tar.gz	18 Dec 2024, 16:08	79.5 KiB
mathcomp-multinomials_2.5.0-3.debian.tar.xz	12 Aug 2026, 13:02	9.0 KiB
mathcomp-multinomials_2.5.0-3.dsc	12 Aug 2026, 13:02	2.3 KiB
mathcomp-multinomials_2.5.0.orig.tar.gz	20 Jul 2026, 23:13	82.9 KiB