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

../
coq-equations_1.3.1-8.20-1+ocaml1.debian.tar.xz    02-Jul-2026 21:15                2820
coq-equations_1.3.1-8.20-1+ocaml1.dsc              02-Jul-2026 21:15                1300
coq-equations_1.3.1-8.20-1+ocaml1_amd64-2026-07..> 02-Jul-2026 21:15              114657
coq-equations_1.3.1-8.20-1+ocaml1_amd64.build      02-Jul-2026 21:15              114657
coq-equations_1.3.1-8.20-1+ocaml1_amd64.buildinfo  02-Jul-2026 21:15                6761
coq-equations_1.3.1-8.20-1+ocaml1_amd64.changes    02-Jul-2026 21:15                2477
coq-equations_1.3.1-8.20.orig.tar.gz               02-Jul-2026 21:13             1104362
libcoq-equations-dbgsym_1.3.1-8.20-1+ocaml1_amd..> 02-Jul-2026 21:15              155176
libcoq-equations_1.3.1-8.20-1+ocaml1_amd64.deb     02-Jul-2026 21:15             1201700