|
📁 ../
|
- |
- |
|
📄 cvc4_1.8-3.debian.tar.xz
|
16728 bytes
|
2025-08-02 08:25:50 |
|
📄 cvc4_1.8-3.dsc
|
2244 bytes
|
2025-08-02 08:25:50 |
|
📄 cvc4_1.8-3_amd64.deb
|
80688 bytes
|
2025-08-02 08:25:50 |
|
📄 cvc4_1.8-3_arm64.deb
|
75564 bytes
|
2025-08-02 08:25:50 |
|
📄 cvc4_1.8-3_armhf.deb
|
75108 bytes
|
2025-08-02 08:25:50 |
|
📄 cvc4_1.8-3_i386.deb
|
82652 bytes
|
2025-08-02 08:25:50 |
|
📄 cvc4_1.8.orig.tar.gz
|
7547187 bytes
|
2025-08-02 08:25:51 |
|
📄 libcvc4-7_1.8-3_amd64.deb
|
5936792 bytes
|
2025-08-02 08:25:51 |
|
📄 libcvc4-7_1.8-3_arm64.deb
|
4997468 bytes
|
2025-08-02 08:25:51 |
|
📄 libcvc4-7_1.8-3_armhf.deb
|
5299080 bytes
|
2025-08-02 08:25:51 |
|
📄 libcvc4-7_1.8-3_i386.deb
|
6700704 bytes
|
2025-08-02 08:25:51 |
|
📄 libcvc4-dev_1.8-3_amd64.deb
|
131112 bytes
|
2025-08-02 08:25:51 |
|
📄 libcvc4-dev_1.8-3_arm64.deb
|
131120 bytes
|
2025-08-02 08:25:51 |
|
📄 libcvc4-dev_1.8-3_armhf.deb
|
131116 bytes
|
2025-08-02 08:25:51 |
|
📄 libcvc4-dev_1.8-3_i386.deb
|
131112 bytes
|
2025-08-02 08:25:51 |
|
📄 libcvc4parser7_1.8-3_amd64.deb
|
362304 bytes
|
2025-08-02 08:25:52 |
|
📄 libcvc4parser7_1.8-3_arm64.deb
|
322668 bytes
|
2025-08-02 08:25:52 |
|
📄 libcvc4parser7_1.8-3_armhf.deb
|
329652 bytes
|
2025-08-02 08:25:52 |
|
📄 libcvc4parser7_1.8-3_i386.deb
|
387704 bytes
|
2025-08-02 08:25:52 |