/debian/debian_trixie_main/2026-04-08T13:27:14Z.tmp/pool/main/c/coq/

0 directories 5 files 182 MiB total
List Grid
Name
Size Modified
Up
coq_8.20.1+dfsg-1+b1_amd64.deb
67 MiB
coqide_8.20.1+dfsg-1+b1_amd64.deb
1.8 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb
66 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb
25 MiB
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb
22 MiB