Index of /transitions/20240715/ocaml-5.2.0/pool/coq-elpi/

../
coq-elpi_2.1.0-1+ocaml1.debian.tar.xz              15-Jul-2024 17:17                3724
coq-elpi_2.1.0-1+ocaml1.dsc                        15-Jul-2024 17:17                1143
coq-elpi_2.1.0-1+ocaml1_amd64-2024-07-15T17:10:..> 15-Jul-2024 17:17              656723
coq-elpi_2.1.0-1+ocaml1_amd64.build                15-Jul-2024 17:17              656723
coq-elpi_2.1.0-1+ocaml1_amd64.buildinfo            15-Jul-2024 17:17                6954
coq-elpi_2.1.0-1+ocaml1_amd64.changes              15-Jul-2024 17:17                2223
coq-elpi_2.1.0.orig.tar.gz                         15-Jul-2024 17:17              715777
libcoq-elpi-dbgsym_2.1.0-1+ocaml1_amd64.deb        15-Jul-2024 17:17              168544
libcoq-elpi_2.1.0-1+ocaml1_amd64.deb               15-Jul-2024 17:17             2854184