Name Size Modified
../ - -
coq_8.16.1+dfsg-1+b2_amd64.deb 93.2 MB
coq_8.20.1+dfsg-1+b1_amd64.deb 70.2 MB
coq_8.20.1+dfsg-1+b1_arm64.deb 74.4 MB
coq_8.20.1+dfsg-1+b1_riscv64.deb 71.2 MB
coq_8.20.1+dfsg-1.debian.tar.xz 30.2 kB
coq_8.20.1+dfsg-1.dsc 2.6 kB
coq_8.20.1+dfsg.orig.tar.xz 5.0 MB
coqide_8.16.1+dfsg-1+b2_amd64.deb 2.0 MB
coqide_8.20.1+dfsg-1+b1_amd64.deb 1.9 MB
coqide_8.20.1+dfsg-1+b1_arm64.deb 2.2 MB
coqide_8.20.1+dfsg-1+b1_riscv64.deb 2.0 MB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 42.7 MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 68.7 MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb 68.6 MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb 73.5 MB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 22.6 MB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 26.0 MB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb 26.4 MB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb 26.0 MB
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 21.5 MB
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 23.5 MB
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb 23.5 MB
libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb 23.5 MB

This page is generated by rsync-sjtug. rsync-sjtug is a tool used by SJTUG to sync from rsync upstream to object storage.

Revision 73344, Last updated at , query time 2ms