Index of /debian/pool/main/c/coq-mtac2/


../
coq-mtac2_1.4+8.16-2.debian.tar.xz                 26-Jan-2023 20:44                2480
coq-mtac2_1.4+8.16-2.dsc                           26-Jan-2023 20:44                2100
coq-mtac2_1.4+8.16.orig.tar.gz                     06-Sep-2022 17:09              251070
coq-mtac2_1.4+8.18-1.debian.tar.xz                 22-Dec-2023 19:07                2756
coq-mtac2_1.4+8.18-1.dsc                           22-Dec-2023 19:07                2100
coq-mtac2_1.4+8.18.orig.tar.gz                     22-Dec-2023 19:07              252158
coq-mtac2_1.4+8.19-1.debian.tar.xz                 26-Apr-2024 22:06                2788
coq-mtac2_1.4+8.19-1.dsc                           26-Apr-2024 22:06                2100
coq-mtac2_1.4+8.19-2.debian.tar.xz                 04-Aug-2024 13:25                2856
coq-mtac2_1.4+8.19-2.dsc                           04-Aug-2024 13:25                1872
coq-mtac2_1.4+8.19-3.debian.tar.xz                 20-Nov-2024 18:07                4916
coq-mtac2_1.4+8.19-3.dsc                           20-Nov-2024 18:07                2100
coq-mtac2_1.4+8.19.orig.tar.gz                     26-Apr-2024 22:06              252242
coq-mtac2_1.4+8.20-1.debian.tar.xz                 23-Nov-2024 23:27                2924
coq-mtac2_1.4+8.20-1.dsc                           23-Nov-2024 23:27                2100
coq-mtac2_1.4+8.20.orig.tar.gz                     23-Nov-2024 23:27              252390
coq-mtac2_1.4+9.0-1.debian.tar.xz                  29-Oct-2025 17:29                4464
coq-mtac2_1.4+9.0-1.dsc                            29-Oct-2025 17:29                2105
coq-mtac2_1.4+9.0-2.debian.tar.xz                  12-Nov-2025 02:46                4508
coq-mtac2_1.4+9.0-2.dsc                            12-Nov-2025 02:46                2112
coq-mtac2_1.4+9.0.orig.tar.gz                      29-Oct-2025 17:29              252586
libcoq-mtac2_1.4+8.16-2+b1_amd64.deb               13-Feb-2023 15:28              762732
libcoq-mtac2_1.4+8.18-1_amd64.deb                  23-Dec-2023 19:52              785092
libcoq-mtac2_1.4+8.19-1+b1_amd64.deb               15-Jun-2024 19:25              801888
libcoq-mtac2_1.4+8.19-1_amd64.deb                  28-Apr-2024 23:11              796760
libcoq-mtac2_1.4+8.19-2+b1_amd64.deb               12-Aug-2024 12:05              809776
libcoq-mtac2_1.4+8.19-2+b2_amd64.deb               21-Aug-2024 12:04              810676
libcoq-mtac2_1.4+8.19-2_amd64.deb                  04-Aug-2024 14:06              800624
libcoq-mtac2_1.4+8.19-3_amd64.deb                  20-Nov-2024 23:07              793216
libcoq-mtac2_1.4+8.20-1+b1_amd64.deb               30-Jan-2025 15:52              793384
libcoq-mtac2_1.4+8.20-1+b3_amd64.deb               18-Feb-2025 08:46              793240
libcoq-mtac2_1.4+8.20-1+b4_amd64.deb               15-Jun-2025 19:15              794248
libcoq-mtac2_1.4+8.20-1+b5_amd64.deb               28-Dec-2025 12:45              791576
libcoq-mtac2_1.4+8.20-1_amd64.deb                  23-Nov-2024 23:47              793188
libcoq-mtac2_1.4+9.0-1_amd64.deb                   29-Oct-2025 17:29              796520
libcoq-mtac2_1.4+9.0-2_amd64.deb                   12-Nov-2025 02:46              795808