Index of /transitions/ocaml-next/repo/pool/coq-equations/

../
coq-equations_1.3.1-8.20-1+ocaml1.debian.tar.xz    15-May-2026 09:12                2820
coq-equations_1.3.1-8.20-1+ocaml1.dsc              15-May-2026 09:12                1300
coq-equations_1.3.1-8.20-1+ocaml1_amd64-2026-05..> 15-May-2026 09:12              114272
coq-equations_1.3.1-8.20-1+ocaml1_amd64.build      15-May-2026 09:12              114272
coq-equations_1.3.1-8.20-1+ocaml1_amd64.buildinfo  15-May-2026 09:12                6686
coq-equations_1.3.1-8.20-1+ocaml1_amd64.changes    15-May-2026 09:12                2477
coq-equations_1.3.1-8.20.orig.tar.gz               15-May-2026 09:11             1104362
libcoq-equations-dbgsym_1.3.1-8.20-1+ocaml1_amd..> 15-May-2026 09:12              155048
libcoq-equations_1.3.1-8.20-1+ocaml1_amd64.deb     15-May-2026 09:12             1198724