Index of /debian/pool/main/m/mathcomp-multinomials/
../
libcoq-mathcomp-multinomials_1.5.5-8+b5_amd64.deb 14-Feb-2023 14:27 1335252
libcoq-mathcomp-multinomials_2.2.0-1+b1_amd64.deb 16-Feb-2024 23:40 1426604
libcoq-mathcomp-multinomials_2.2.0-2+b1_amd64.deb 05-Jun-2024 08:28 1543496
libcoq-mathcomp-multinomials_2.2.0-2+b2_amd64.deb 15-Jun-2024 21:52 1544740
libcoq-mathcomp-multinomials_2.2.0-2_amd64.deb 01-May-2024 23:20 1539308
libcoq-mathcomp-multinomials_2.2.0-3+b1_amd64.deb 09-Aug-2024 06:12 1761376
libcoq-mathcomp-multinomials_2.2.0-3+b2_amd64.deb 21-Aug-2024 17:16 1761632
libcoq-mathcomp-multinomials_2.2.0-3+b3_amd64.deb 31-Aug-2024 13:31 1757356
libcoq-mathcomp-multinomials_2.2.0-3+b4_amd64.deb 17-Sep-2024 20:41 1757760
libcoq-mathcomp-multinomials_2.2.0-3+b5_amd64.deb 13-Oct-2024 20:30 1761864
libcoq-mathcomp-multinomials_2.2.0-3_amd64.deb 05-Aug-2024 04:07 1759500
libcoq-mathcomp-multinomials_2.2.0-4_amd64.deb 21-Nov-2024 08:38 1732576
libcoq-mathcomp-multinomials_2.3.0-1+b10_amd64.deb 16-Sep-2025 20:29 1837864
libcoq-mathcomp-multinomials_2.3.0-1+b11_amd64.deb 24-Sep-2025 19:05 1838904
libcoq-mathcomp-multinomials_2.3.0-1+b12_amd64.deb 17-Oct-2025 21:12 1838624
libcoq-mathcomp-multinomials_2.3.0-1+b13_amd64.deb 29-Oct-2025 05:24 1836440
libcoq-mathcomp-multinomials_2.3.0-1+b15_amd64.deb 28-Dec-2025 14:47 1837136
libcoq-mathcomp-multinomials_2.3.0-1+b1_amd64.deb 20-Dec-2024 03:54 1866912
libcoq-mathcomp-multinomials_2.3.0-1+b2_amd64.deb 15-Jan-2025 15:12 1866432
libcoq-mathcomp-multinomials_2.3.0-1+b3_amd64.deb 29-Jan-2025 05:42 1867896
libcoq-mathcomp-multinomials_2.3.0-1+b6_amd64.deb 19-Mar-2025 03:06 1837448
libcoq-mathcomp-multinomials_2.3.0-1+b7_amd64.deb 15-Jun-2025 12:47 1838364
libcoq-mathcomp-multinomials_2.3.0-1+b8_amd64.deb 26-Aug-2025 20:41 1838552
libcoq-mathcomp-multinomials_2.3.0-1+b9_amd64.deb 12-Sep-2025 06:48 1839184
libcoq-mathcomp-multinomials_2.3.0-1_amd64.deb 19-Dec-2024 00:38 1732880
libcoq-mathcomp-multinomials_2.4.0-1_amd64.deb 30-Oct-2025 15:33 2184444
libcoq-mathcomp-multinomials_2.4.0-2_amd64.deb 12-Nov-2025 04:07 2922908
mathcomp-multinomials_1.5.5-8.debian.tar.xz 06-Jul-2022 00:18 8724
mathcomp-multinomials_1.5.5-8.dsc 06-Jul-2022 00:18 2274
mathcomp-multinomials_1.5.5.orig.tar.gz 18-May-2022 04:15 87064
mathcomp-multinomials_2.2.0-1.debian.tar.xz 21-Jan-2024 03:42 8860
mathcomp-multinomials_2.2.0-1.dsc 21-Jan-2024 03:42 2274
mathcomp-multinomials_2.2.0-2.debian.tar.xz 26-Apr-2024 22:17 8892
mathcomp-multinomials_2.2.0-2.dsc 26-Apr-2024 22:17 2274
mathcomp-multinomials_2.2.0-3.debian.tar.xz 03-Aug-2024 20:47 8964
mathcomp-multinomials_2.2.0-3.dsc 03-Aug-2024 20:47 2055
mathcomp-multinomials_2.2.0-4.debian.tar.xz 20-Nov-2024 18:12 9196
mathcomp-multinomials_2.2.0-4.dsc 20-Nov-2024 18:12 2297
mathcomp-multinomials_2.2.0.orig.tar.gz 21-Jan-2024 03:42 81190
mathcomp-multinomials_2.3.0-1.debian.tar.xz 19-Dec-2024 00:08 8992
mathcomp-multinomials_2.3.0-1.dsc 19-Dec-2024 00:08 2309
mathcomp-multinomials_2.3.0.orig.tar.gz 19-Dec-2024 00:08 81439
mathcomp-multinomials_2.4.0-1.debian.tar.xz 30-Oct-2025 15:33 9076
mathcomp-multinomials_2.4.0-1.dsc 30-Oct-2025 15:33 2299
mathcomp-multinomials_2.4.0-2.debian.tar.xz 12-Nov-2025 04:07 9116
mathcomp-multinomials_2.4.0-2.dsc 12-Nov-2025 04:07 2306
mathcomp-multinomials_2.4.0.orig.tar.gz 30-Oct-2025 15:33 81638