| ../ | | - | Directory |
| cvc5_1.3.2-1.debian.tar.xz | 2025-Dec-24 10:13:58 | 8.3K | application/x-xz |
| cvc5_1.3.2-1.dsc | 2025-Dec-24 10:13:58 | 2.4K | application/octet-stream |
| cvc5_1.3.2-1_amd64.deb | 2025-Dec-24 10:49:37 | 140.3K | application/vnd.debian.binary-package |
| cvc5_1.3.2-1_arm64.deb | 2025-Dec-24 10:54:48 | 125.6K | application/vnd.debian.binary-package |
| cvc5_1.3.2-1_armhf.deb | 2025-Dec-24 10:54:52 | 129.0K | application/vnd.debian.binary-package |
| cvc5_1.3.2-1_i386.deb | 2025-Dec-24 10:49:41 | 141.9K | application/vnd.debian.binary-package |
| cvc5_1.3.2.orig.tar.gz | 2025-Dec-24 10:13:58 | 8.8M | application/x-gtar-compressed |
| libcvc5-1_1.3.2-1_amd64.deb | 2025-Dec-24 10:49:37 | 7.3M | application/vnd.debian.binary-package |
| libcvc5-1_1.3.2-1_arm64.deb | 2025-Dec-24 10:54:49 | 6.3M | application/vnd.debian.binary-package |
| libcvc5-1_1.3.2-1_armhf.deb | 2025-Dec-24 10:54:52 | 6.2M | application/vnd.debian.binary-package |
| libcvc5-1_1.3.2-1_i386.deb | 2025-Dec-24 10:49:41 | 7.9M | application/vnd.debian.binary-package |
| libcvc5-dev_1.3.2-1_amd64.deb | 2025-Dec-24 10:49:37 | 121.1K | application/vnd.debian.binary-package |
| libcvc5-dev_1.3.2-1_arm64.deb | 2025-Dec-24 10:54:49 | 121.1K | application/vnd.debian.binary-package |
| libcvc5-dev_1.3.2-1_armhf.deb | 2025-Dec-24 10:54:52 | 121.1K | application/vnd.debian.binary-package |
| libcvc5-dev_1.3.2-1_i386.deb | 2025-Dec-24 10:49:41 | 121.1K | application/vnd.debian.binary-package |
| libcvc5parser1_1.3.2-1_amd64.deb | 2025-Dec-24 10:49:37 | 266.7K | application/vnd.debian.binary-package |
| libcvc5parser1_1.3.2-1_arm64.deb | 2025-Dec-24 10:54:49 | 231.8K | application/vnd.debian.binary-package |
| libcvc5parser1_1.3.2-1_armhf.deb | 2025-Dec-24 10:54:52 | 233.5K | application/vnd.debian.binary-package |
| libcvc5parser1_1.3.2-1_i386.deb | 2025-Dec-24 10:49:41 | 286.7K | application/vnd.debian.binary-package |
| python3-cvc5_1.3.2-1_amd64.deb | 2025-Dec-24 10:49:37 | 375.9K | application/vnd.debian.binary-package |
| python3-cvc5_1.3.2-1_arm64.deb | 2025-Dec-24 10:54:49 | 315.1K | application/vnd.debian.binary-package |
| python3-cvc5_1.3.2-1_armhf.deb | 2025-Dec-24 10:54:52 | 343.9K | application/vnd.debian.binary-package |
| python3-cvc5_1.3.2-1_i386.deb | 2025-Dec-24 10:49:41 | 365.3K | application/vnd.debian.binary-package |