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

../
coq-elpi_1.16.0-2.debian.tar.xz                    09-Jun-2026 20:46                3412
coq-elpi_1.16.0-2.dsc                              09-Jun-2026 20:46                2030
coq-elpi_1.16.0.orig.tar.gz                        09-Jun-2026 20:46              426223
coq-elpi_2.5.0-1.1.debian.tar.xz                   09-Jun-2026 20:46                3900
coq-elpi_2.5.0-1.1.dsc                             09-Jun-2026 20:46                2050
coq-elpi_2.5.0-1.2.debian.tar.xz                   09-Jun-2026 20:46                3920
coq-elpi_2.5.0-1.2.dsc                             09-Jun-2026 20:46                2050
coq-elpi_2.5.0.orig.tar.gz                         09-Jun-2026 20:46              745968
coq-elpi_3.2.0-3.debian.tar.xz                     09-Jun-2026 20:46                3884
coq-elpi_3.2.0-3.dsc                               09-Jun-2026 20:46                2087
coq-elpi_3.2.0.orig.tar.gz                         09-Jun-2026 20:46              766708
libcoq-elpi_1.16.0-2+b1_amd64.deb                  09-Jun-2026 20:46             2428696
libcoq-elpi_1.16.0-2+b1_arm64.deb                  09-Jun-2026 20:46             2513016
libcoq-elpi_2.5.0-1.1_amd64.deb                    09-Jun-2026 20:46            12299728
libcoq-elpi_2.5.0-1.1_arm64.deb                    09-Jun-2026 20:46            12779040
libcoq-elpi_2.5.0-1.2+b4_amd64.deb                 09-Jun-2026 20:46            12112164
libcoq-elpi_2.5.0-1.2+b4_arm64.deb                 09-Jun-2026 20:46            12819368
libcoq-elpi_3.2.0-3+b1_amd64.deb                   09-Jun-2026 20:46            16839672
libcoq-elpi_3.2.0-3+b1_arm64.deb                   09-Jun-2026 20:46            17216768