Index of /pool/universe/m/mathcomp-multinomials/

NameLast ModifiedSizeType
../ -  Directory
libcoq-mathcomp-multinomials_2.2.0-1build5_amd64.deb2024-Apr-09 06:03:241.5Mapplication/vnd.debian.binary-package
libcoq-mathcomp-multinomials_2.3.0-1build10_amd64.deb2025-Sep-02 08:35:591.9Mapplication/vnd.debian.binary-package
libcoq-mathcomp-multinomials_2.3.0-1build13_amd64.deb2026-Jan-06 08:32:111.9Mapplication/vnd.debian.binary-package
libcoq-mathcomp-multinomials_2.3.0-1build13_amd64v3.deb2026-Jan-06 08:32:121.9Mapplication/vnd.debian.binary-package
libcoq-mathcomp-multinomials_2.3.0-1build15_amd64.deb2026-Mar-08 17:19:121.9Mapplication/vnd.debian.binary-package
libcoq-mathcomp-multinomials_2.3.0-1build15_amd64v3.deb2026-Mar-08 17:19:141.9Mapplication/vnd.debian.binary-package
libcoq-mathcomp-multinomials_2.3.0-1build6_amd64.deb2025-Feb-20 09:56:591.9Mapplication/vnd.debian.binary-package
mathcomp-multinomials_2.2.0-1build5.debian.tar.xz2024-Apr-08 07:57:398.9Kapplication/x-xz
mathcomp-multinomials_2.2.0-1build5.dsc2024-Apr-08 07:57:392.3Ktext/prs.lines.tag
mathcomp-multinomials_2.2.0.orig.tar.gz2024-Jan-20 23:35:3079.2Kapplication/x-gtar-compressed
mathcomp-multinomials_2.3.0-1build10.debian.tar.xz2025-Aug-31 19:42:099.0Kapplication/x-xz
mathcomp-multinomials_2.3.0-1build10.dsc2025-Aug-31 19:42:092.2Ktext/prs.lines.tag
mathcomp-multinomials_2.3.0-1build13.debian.tar.xz2026-Jan-04 23:06:469.0Kapplication/x-xz
mathcomp-multinomials_2.3.0-1build13.dsc2026-Jan-04 23:06:462.2Ktext/prs.lines.tag
mathcomp-multinomials_2.3.0-1build15.debian.tar.xz2026-Mar-08 17:18:299.1Kapplication/x-xz
mathcomp-multinomials_2.3.0-1build15.dsc2026-Mar-08 17:18:292.2Ktext/prs.lines.tag
mathcomp-multinomials_2.3.0-1build6.debian.tar.xz2025-Feb-19 07:52:108.9Kapplication/x-xz
mathcomp-multinomials_2.3.0-1build6.dsc2025-Feb-19 07:52:102.2Ktext/prs.lines.tag
mathcomp-multinomials_2.3.0.orig.tar.gz2024-Dec-18 23:41:3679.5Kapplication/x-gtar-compressed
lighttpd/1.4.69