Index of /mirrors/parrot/pool/main/c/coq-quickchick/

Name Size Date
📁 ../ - -
📄 coq-quickchick_1.6.4-3.debian.tar.xz 2724 bytes 2023-01-27 06:18:56
📄 coq-quickchick_1.6.4-3.dsc 2261 bytes 2023-01-27 06:18:56
📄 coq-quickchick_1.6.4.orig.tar.gz 388461 bytes 2022-08-15 06:38:36
📄 coq-quickchick_2.1.0-1.debian.tar.xz 2908 bytes 2025-03-18 12:33:51
📄 coq-quickchick_2.1.0-1.dsc 2288 bytes 2025-03-18 12:33:51
📄 coq-quickchick_2.1.0.orig.tar.gz 414544 bytes 2025-03-18 12:33:51
📄 libcoq-quickchick_1.6.4-3+b1_amd64.deb 1584008 bytes 2023-02-14 06:11:16
📄 libcoq-quickchick_1.6.4-3+b1_arm64.deb 1605120 bytes 2023-02-14 06:11:14
📄 libcoq-quickchick_2.1.0-1+b1_riscv64.deb 4416132 bytes 2025-06-17 21:40:10
📄 libcoq-quickchick_2.1.0-1+b2_amd64.deb 4253160 bytes 2025-06-15 11:30:23
📄 libcoq-quickchick_2.1.0-1+b2_arm64.deb 4262452 bytes 2025-06-15 11:35:28
📄 quickchick_1.6.4-3+b1_amd64.deb 55660 bytes 2023-02-14 06:11:16
📄 quickchick_1.6.4-3+b1_arm64.deb 55652 bytes 2023-02-14 06:11:14
📄 quickchick_2.1.0-1+b1_riscv64.deb 511940 bytes 2025-06-17 21:40:10
📄 quickchick_2.1.0-1+b2_amd64.deb 492264 bytes 2025-06-15 11:30:23
📄 quickchick_2.1.0-1+b2_arm64.deb 536168 bytes 2025-06-15 11:35:28