Index of /backports/20260106/pool/coq-elpi/

../
coq-elpi_2.5.0-1.2+ocaml1.debian.tar.xz            06-Jan-2026 07:22                3996
coq-elpi_2.5.0-1.2+ocaml1.dsc                      06-Jan-2026 07:22                1195
coq-elpi_2.5.0-1.2+ocaml1_amd64-2026-01-06T07:1..> 06-Jan-2026 07:22              924263
coq-elpi_2.5.0-1.2+ocaml1_amd64.build              06-Jan-2026 07:22              924263
coq-elpi_2.5.0-1.2+ocaml1_amd64.buildinfo          06-Jan-2026 07:22                7401
coq-elpi_2.5.0-1.2+ocaml1_amd64.changes            06-Jan-2026 07:22                2268
coq-elpi_2.5.0.orig.tar.gz                         06-Jan-2026 07:22              745968
libcoq-elpi-dbgsym_2.5.0-1.2+ocaml1_amd64.deb      06-Jan-2026 07:22              801896
libcoq-elpi_2.5.0-1.2+ocaml1_amd64.deb             06-Jan-2026 07:22            12115220