|
📁 ../
|
- |
- |
|
📄 coq-quickchick_1.6.4-3.debian.tar.xz
|
2724 bytes
|
2025-08-02 08:23:17 |
|
📄 coq-quickchick_1.6.4-3.dsc
|
2261 bytes
|
2025-08-02 08:23:17 |
|
📄 coq-quickchick_1.6.4.orig.tar.gz
|
388461 bytes
|
2025-08-02 08:23:17 |
|
📄 libcoq-quickchick_1.6.4-3+b1_amd64.deb
|
1584008 bytes
|
2025-08-02 08:23:18 |
|
📄 libcoq-quickchick_1.6.4-3+b1_arm64.deb
|
1605120 bytes
|
2025-08-02 08:23:18 |
|
📄 libcoq-quickchick_1.6.4-3+b1_armhf.deb
|
1579732 bytes
|
2025-08-02 08:23:18 |
|
📄 libcoq-quickchick_1.6.4-3+b1_i386.deb
|
1567080 bytes
|
2025-08-02 08:23:18 |
|
📄 quickchick_1.6.4-3+b1_amd64.deb
|
55660 bytes
|
2025-08-02 08:23:18 |
|
📄 quickchick_1.6.4-3+b1_arm64.deb
|
55652 bytes
|
2025-08-02 08:23:18 |
|
📄 quickchick_1.6.4-3+b1_armhf.deb
|
55656 bytes
|
2025-08-02 08:23:18 |
|
📄 quickchick_1.6.4-3+b1_i386.deb
|
55656 bytes
|
2025-08-02 08:23:18 |