Parent directory/ | - | - |
cvc4_1.8.orig.tar.gz | 7547187 | 2020-Sep-13 23:17 |
libcvc4-7_1.8-3_i386.deb | 6700704 | 2022-Oct-29 21:23 |
libcvc4-7_1.8-3_amd64.deb | 5936792 | 2022-Oct-29 21:29 |
libcvc4-7_1.8-3_armhf.deb | 5299080 | 2022-Oct-29 21:47 |
libcvc4-7_1.8-3_arm64.deb | 4997468 | 2022-Oct-29 21:47 |
libcvc4parser7_1.8-3_i386.deb | 387704 | 2022-Oct-29 21:23 |
libcvc4parser7_1.8-3_amd64.deb | 362304 | 2022-Oct-29 21:29 |
libcvc4parser7_1.8-3_armhf.deb | 329652 | 2022-Oct-29 21:47 |
libcvc4parser7_1.8-3_arm64.deb | 322668 | 2022-Oct-29 21:47 |
libcvc4-dev_1.8-3_arm64.deb | 131120 | 2022-Oct-29 21:47 |
libcvc4-dev_1.8-3_armhf.deb | 131116 | 2022-Oct-29 21:47 |
libcvc4-dev_1.8-3_i386.deb | 131112 | 2022-Oct-29 21:23 |
libcvc4-dev_1.8-3_amd64.deb | 131112 | 2022-Oct-29 21:29 |
cvc4_1.8-3_i386.deb | 82652 | 2022-Oct-29 21:23 |
cvc4_1.8-3_amd64.deb | 80688 | 2022-Oct-29 21:29 |
cvc4_1.8-3_arm64.deb | 75564 | 2022-Oct-29 21:47 |
cvc4_1.8-3_armhf.deb | 75108 | 2022-Oct-29 21:47 |
cvc4_1.8-3.debian.tar.xz | 16728 | 2022-Oct-29 19:57 |
cvc4_1.8-3.dsc | 2244 | 2022-Oct-29 19:57 |