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

../
coq-equations_1.3.2-9.2-2+ocaml1.debian.tar.xz     11-Nov-2026 17:33                3572
coq-equations_1.3.2-9.2-2+ocaml1.dsc               11-Nov-2026 17:33                1350
coq-equations_1.3.2-9.2-2+ocaml1_amd64-2026-11-..> 11-Nov-2026 17:33              157276
coq-equations_1.3.2-9.2-2+ocaml1_amd64.build       11-Nov-2026 17:33              157276
coq-equations_1.3.2-9.2-2+ocaml1_amd64.buildinfo   11-Nov-2026 17:33                7019
coq-equations_1.3.2-9.2-2+ocaml1_amd64.changes     11-Nov-2026 17:33                2096
coq-equations_1.3.2-9.2.orig.tar.gz                11-Nov-2026 17:32             1128151
libcoq-equations_1.3.2-9.2-2+ocaml1_amd64.deb      11-Nov-2026 17:33             9262892