Index of /transitions/ocaml-5.5.2/repo/pool/coq-elpi/

../
coq-elpi_3.5.0-3+ocaml1.debian.tar.xz              24-Oct-2026 07:14                5788
coq-elpi_3.5.0-3+ocaml1.dsc                        24-Oct-2026 07:14                1255
coq-elpi_3.5.0-3+ocaml1_amd64-2026-10-23T17:40:..> 24-Oct-2026 07:14              843619
coq-elpi_3.5.0-3+ocaml1_amd64.build                24-Oct-2026 07:14              843619
coq-elpi_3.5.0-3+ocaml1_amd64.buildinfo            24-Oct-2026 07:14                7245
coq-elpi_3.5.0-3+ocaml1_amd64.changes              24-Oct-2026 07:14                1906
coq-elpi_3.5.0.orig.tar.gz                         24-Oct-2026 07:13             1132542
libcoq-elpi_3.5.0-3+ocaml1_amd64.deb               24-Oct-2026 07:14            13096864