Index of /transitions/20261111/repo/pool/coq-elpi/

../
coq-elpi_3.5.1-1+ocaml1.debian.tar.xz              11-Nov-2026 17:33                7540
coq-elpi_3.5.1-1+ocaml1.dsc                        11-Nov-2026 17:33                1255
coq-elpi_3.5.1-1+ocaml1_amd64-2026-11-11T13:42:..> 11-Nov-2026 17:33              755585
coq-elpi_3.5.1-1+ocaml1_amd64.build                11-Nov-2026 17:33              755585
coq-elpi_3.5.1-1+ocaml1_amd64.buildinfo            11-Nov-2026 17:33                7302
coq-elpi_3.5.1-1+ocaml1_amd64.changes              11-Nov-2026 17:33                1906
coq-elpi_3.5.1.orig.tar.gz                         11-Nov-2026 17:32             1144422
libcoq-elpi_3.5.1-1+ocaml1_amd64.deb               11-Nov-2026 17:33            13311168