Parent directory/ | - | - |
cvc5_1.0.3-1.dsc | 2.3 KiB | 2022-Dec-20 19:29 |
cvc5_1.1.1-1.dsc | 2.4 KiB | 2024-Feb-15 20:29 |
cvc5_1.0.8-1.dsc | 2.4 KiB | 2024-Jan-21 19:30 |
cvc5_1.0.5-3.dsc | 2.4 KiB | 2023-Jun-24 19:45 |
cvc5_1.0.3-1.debian.tar.xz | 5.8 KiB | 2022-Dec-20 19:29 |
cvc5_1.0.8-1.debian.tar.xz | 6.2 KiB | 2024-Jan-21 19:30 |
cvc5_1.1.1-1.debian.tar.xz | 6.8 KiB | 2024-Feb-15 20:29 |
cvc5_1.0.5-3.debian.tar.xz | 6.9 KiB | 2023-Jun-24 19:45 |
libcvc5-dev_1.0.3-1_amd64.deb | 51.5 KiB | 2022-Dec-20 19:49 |
libcvc5-dev_1.0.5-3_amd64.deb | 53.2 KiB | 2023-Jun-25 16:04 |
libcvc5-dev_1.0.8-1_amd64.deb | 56.0 KiB | 2024-Jan-21 20:14 |
libcvc5-dev_1.1.1-1_amd64.deb | 70.0 KiB | 2024-Feb-16 17:33 |
cvc5_1.0.5-3_amd64.deb | 88.2 KiB | 2023-Jun-25 16:04 |
cvc5_1.0.8-1_amd64.deb | 91.2 KiB | 2024-Jan-21 20:14 |
cvc5_1.1.1-1_amd64.deb | 92.9 KiB | 2024-Feb-16 17:33 |
cvc5_1.0.3-1_amd64.deb | 96.3 KiB | 2022-Dec-20 19:49 |
libcvc5parser1_1.0.8-1_amd64.deb | 194.0 KiB | 2024-Jan-21 20:14 |
libcvc5parser1_1.1.1-1_amd64.deb | 203.7 KiB | 2024-Feb-16 17:33 |
python3-cvc5_1.0.5-3_amd64.deb | 239.5 KiB | 2023-Jun-25 16:04 |
python3-cvc5_1.0.8-1_amd64.deb | 286.6 KiB | 2024-Jan-21 20:14 |
libcvc5parser1_1.0.3-1_amd64.deb | 297.2 KiB | 2022-Dec-20 19:49 |
python3-cvc5_1.1.1-1_amd64.deb | 335.2 KiB | 2024-Feb-16 17:33 |
libcvc5parser1_1.0.5-3_amd64.deb | 344.3 KiB | 2023-Jun-25 16:04 |
libcvc5-1_1.0.3-1_amd64.deb | 4.6 MiB | 2022-Dec-20 19:49 |
libcvc5-1_1.0.5-3_amd64.deb | 4.6 MiB | 2023-Jun-25 16:04 |
libcvc5-1_1.0.8-1_amd64.deb | 4.7 MiB | 2024-Jan-21 20:14 |
libcvc5-1_1.1.1-1_amd64.deb | 4.8 MiB | 2024-Feb-16 17:33 |
cvc5_1.0.3.orig.tar.gz | 7.9 MiB | 2022-Dec-20 19:29 |
cvc5_1.0.8.orig.tar.gz | 8.0 MiB | 2024-Jan-21 19:30 |
cvc5_1.0.5.orig.tar.gz | 8.0 MiB | 2023-Jun-21 07:39 |
cvc5_1.1.1.orig.tar.gz | 8.1 MiB | 2024-Feb-15 20:29 |