|
Go up
|
— |
— |
|
|
cvc4_1.6-2.debian.tar.xz
|
8.0 KiB |
|
|
|
cvc4_1.6-2.dsc
|
2.6 KiB |
|
|
|
cvc4_1.6.orig.tar.gz
|
7.5 MiB |
|
|
|
cvc4_1.8-2.debian.tar.xz
|
16 KiB |
|
|
|
cvc4_1.8-2.dsc
|
2.2 KiB |
|
|
|
cvc4_1.8-2_armhf.deb
|
73 KiB |
|
|
|
cvc4_1.8-3.debian.tar.xz
|
16 KiB |
|
|
|
cvc4_1.8-3.dsc
|
2.2 KiB |
|
|
|
cvc4_1.8-3_armhf.deb
|
72 KiB |
|
|
|
cvc4_1.8.orig.tar.gz
|
7.2 MiB |
|
|
|
libcvc4-7_1.8-2_armhf.deb
|
4.7 MiB |
|
|
|
libcvc4-7_1.8-3_armhf.deb
|
5.0 MiB |
|
|
|
libcvc4-dev_1.8-2_armhf.deb
|
128 KiB |
|
|
|
libcvc4-dev_1.8-3_armhf.deb
|
128 KiB |
|
|
|
libcvc4parser7_1.8-2_armhf.deb
|
317 KiB |
|
|
|
libcvc4parser7_1.8-3_armhf.deb
|
310 KiB |
|
|