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

../
coq-equations_1.3.1-8.20-1+ocaml1.debian.tar.xz    25-Apr-2026 08:24                2820
coq-equations_1.3.1-8.20-1+ocaml1.dsc              25-Apr-2026 08:24                1300
coq-equations_1.3.1-8.20-1+ocaml1_amd64-2026-04..> 25-Apr-2026 08:24              113870
coq-equations_1.3.1-8.20-1+ocaml1_amd64.build      25-Apr-2026 08:24              113870
coq-equations_1.3.1-8.20-1+ocaml1_amd64.buildinfo  25-Apr-2026 08:24                6685
coq-equations_1.3.1-8.20-1+ocaml1_amd64.changes    25-Apr-2026 08:24                2477
coq-equations_1.3.1-8.20.orig.tar.gz               25-Apr-2026 08:23             1104362
libcoq-equations-dbgsym_1.3.1-8.20-1+ocaml1_amd..> 25-Apr-2026 08:24              155124
libcoq-equations_1.3.1-8.20-1+ocaml1_amd64.deb     25-Apr-2026 08:24             1198964