Parent directory/ | - | - |
cvc5_1.1.1-1.debian.tar.xz | 6.8 KiB | 2024-Feb-12 03:02 |
cvc5_1.1.1-1.dsc | 2.4 KiB | 2024-Feb-12 03:02 |
cvc5_1.1.1-1_amd64.deb | 106.6 KiB | 2024-Feb-12 03:53 |
cvc5_1.1.1-1_arm64.deb | 94.1 KiB | 2024-Feb-12 04:34 |
cvc5_1.1.1.orig.tar.gz | 8.1 MiB | 2024-Feb-12 03:02 |
libcvc5-1_1.1.1-1_amd64.deb | 6.0 MiB | 2024-Feb-12 03:53 |
libcvc5-1_1.1.1-1_arm64.deb | 5.1 MiB | 2024-Feb-12 04:34 |
libcvc5-dev_1.1.1-1_amd64.deb | 77.8 KiB | 2024-Feb-12 03:53 |
libcvc5-dev_1.1.1-1_arm64.deb | 77.8 KiB | 2024-Feb-12 04:34 |
libcvc5parser1_1.1.1-1_amd64.deb | 226.4 KiB | 2024-Feb-12 03:53 |
libcvc5parser1_1.1.1-1_arm64.deb | 199.1 KiB | 2024-Feb-12 04:34 |
python3-cvc5_1.1.1-1_amd64.deb | 316.7 KiB | 2024-Feb-12 03:53 |
python3-cvc5_1.1.1-1_arm64.deb | 287.1 KiB | 2024-Feb-12 04:34 |