Index of /nova/pool/extendido/c/cvc4/
../
cvc4_1.5-1.debian.tar.xz 11-Jun-2020 01:07 6012
cvc4_1.5-1.dsc 11-Jun-2020 01:07 2221
cvc4_1.5-1_amd64.deb 11-Jun-2020 04:35 138624
cvc4_1.5-1_i386.deb 11-Jun-2020 01:37 142804
cvc4_1.5.orig.tar.gz 11-Jun-2020 01:07 7926116
cvc4_1.6-2build2.debian.tar.xz 22-Jun-2020 11:16 8392
cvc4_1.6-2build2.dsc 22-Jun-2020 11:16 2755
cvc4_1.6-2build2_amd64.deb 22-Jun-2020 03:36 137732
cvc4_1.6.orig.tar.gz 22-Jun-2020 11:16 7815893
cvc4_1.8-2.debian.tar.xz 30-Apr-2022 18:12 16456
cvc4_1.8-2.dsc 30-Apr-2022 18:12 2275
cvc4_1.8-2_amd64.deb 30-Apr-2022 03:21 73336
cvc4_1.8.orig.tar.gz 30-Apr-2022 18:12 7547187
libcvc4-4_1.5-1_amd64.deb 11-Jun-2020 04:41 3375660
libcvc4-4_1.5-1_i386.deb 11-Jun-2020 02:57 3618828
libcvc4-5_1.6-2build2_amd64.deb 22-Jun-2020 09:17 4512744
libcvc4-7_1.8-2_amd64.deb 30-Apr-2022 03:54 5659900
libcvc4-dev_1.5-1_amd64.deb 11-Jun-2020 03:41 5968312
libcvc4-dev_1.5-1_i386.deb 11-Jun-2020 04:48 6384320
libcvc4-dev_1.6-2build2_amd64.deb 22-Jun-2020 12:01 7295824
libcvc4-dev_1.8-2_amd64.deb 30-Apr-2022 03:30 123212
libcvc4parser4_1.5-1_amd64.deb 11-Jun-2020 01:17 363676
libcvc4parser4_1.5-1_i386.deb 11-Jun-2020 01:36 390272
libcvc4parser5_1.6-2build2_amd64.deb 22-Jun-2020 10:01 364108
libcvc4parser7_1.8-2_amd64.deb 30-Apr-2022 07:54 357524