Index of /debian/pool/main/c/coq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq_8.16.1+dfsg-1+b2_arm64.deb2025-07-30 20:53 97M 
[ ]coq_8.16.1+dfsg-1+b2_amd64.deb2025-07-30 20:53 89M 
[ ]coq_8.16.1+dfsg-1+b2_armhf.deb2025-08-02 15:56 86M 
[ ]coq_8.20.1+dfsg-1+b1_arm64.deb2025-07-30 20:53 71M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb2025-07-30 23:56 70M 
[ ]coq_8.20.1+dfsg-1+b1_riscv64.deb2025-07-30 23:56 68M 
[ ]coq_8.20.1+dfsg-1+b1_amd64.deb2025-07-30 20:53 67M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb2025-07-30 20:54 66M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb2025-07-30 20:54 65M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb2025-08-02 15:56 41M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb2025-07-30 20:54 41M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb2025-07-30 20:54 41M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb2025-07-30 20:54 25M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb2025-07-30 23:56 25M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb2025-07-30 20:54 25M 
[ ]libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb2025-07-30 20:54 22M 
[ ]libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb2025-07-30 23:56 22M 
[ ]libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb2025-07-30 20:54 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb2025-07-30 20:54 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb2025-07-30 20:54 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb2025-08-02 15:56 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb2025-07-30 20:54 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb2025-08-02 15:56 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb2025-07-30 20:54 21M 
[ ]coqide_8.16.1+dfsg-1+b2_arm64.deb2025-07-30 20:53 2.2M 
[ ]coqide_8.20.1+dfsg-1+b1_arm64.deb2025-07-30 20:53 2.1M 
[ ]coqide_8.20.1+dfsg-1+b1_riscv64.deb2025-07-30 23:56 1.9M 
[ ]coqide_8.16.1+dfsg-1+b2_amd64.deb2025-07-30 20:53 1.9M 
[ ]coqide_8.20.1+dfsg-1+b1_amd64.deb2025-07-30 20:53 1.8M 
[ ]coqide_8.16.1+dfsg-1+b2_armhf.deb2025-08-02 15:56 1.7M 
Apache/2.4.58 (Ubuntu) Server at mirror.alexanderwagner.xyz Port 443