File Name
-
..——
-
cvc4_1.5-1.debian.tar.xz5.87KB2017-11-01 15:57:17cvc4_1.5-1.dsc2.17KB2017-11-01 15:57:10cvc4_1.5-1_amd64.deb135.38KB2017-11-03 08:57:06cvc4_1.5-1_i386.deb139.46KB2017-11-03 08:59:19cvc4_1.5.orig.tar.gz7.56MB2017-11-01 15:57:10cvc4_1.6-2build2.debian.tar.xz8.20KB2020-02-04 00:24:25cvc4_1.6-2build2.dsc2.69KB2020-02-04 00:24:25cvc4_1.6-2build2_amd64.deb134.50KB2020-02-04 01:45:00cvc4_1.6.orig.tar.gz7.45MB2018-08-12 08:13:23cvc4_1.8-2.debian.tar.xz16.07KB2020-09-30 18:43:40cvc4_1.8-2.dsc2.22KB2020-09-30 18:43:39cvc4_1.8-2_amd64.deb71.62KB2020-09-30 19:28:33cvc4_1.8-3.debian.tar.xz16.34KB2022-11-06 05:17:45cvc4_1.8-3.dsc2.19KB2022-11-06 05:17:44cvc4_1.8-3_amd64.deb72.78KB2022-11-06 05:21:42cvc4_1.8-3build2.debian.tar.xz16.48KB2024-03-31 21:36:43cvc4_1.8-3build2.dsc2.31KB2024-03-31 21:36:43cvc4_1.8-3build2_amd64.deb73.62KB2024-03-31 23:36:19cvc4_1.8.orig.tar.gz7.20MB2020-09-30 18:43:39libcvc4-4_1.5-1_amd64.deb3.22MB2017-11-03 08:57:06libcvc4-4_1.5-1_i386.deb3.45MB2017-11-03 08:59:18libcvc4-5_1.6-2build2_amd64.deb4.30MB2020-02-04 01:45:00libcvc4-7_1.8-2_amd64.deb5.40MB2020-09-30 19:28:33libcvc4-7_1.8-3_amd64.deb4.54MB2022-11-06 05:21:42libcvc4-7_1.8-3build2_amd64.deb4.52MB2024-03-31 23:36:19libcvc4-dev_1.5-1_amd64.deb5.69MB2017-11-03 08:57:06libcvc4-dev_1.5-1_i386.deb6.09MB2017-11-03 08:59:18libcvc4-dev_1.6-2build2_amd64.deb6.96MB2020-02-04 01:45:00libcvc4-dev_1.8-2_amd64.deb120.32KB2020-09-30 19:28:33libcvc4-dev_1.8-3_amd64.deb122.28KB2022-11-06 05:21:41libcvc4-dev_1.8-3build2_amd64.deb122.32KB2024-03-31 23:36:18libcvc4parser4_1.5-1_amd64.deb355.15KB2017-11-03 08:57:06libcvc4parser4_1.5-1_i386.deb381.12KB2017-11-03 08:59:19libcvc4parser5_1.6-2build2_amd64.deb355.57KB2020-02-04 01:45:00libcvc4parser7_1.8-2_amd64.deb349.14KB2020-09-30 19:28:33libcvc4parser7_1.8-3_amd64.deb370.18KB2022-11-06 05:21:41libcvc4parser7_1.8-3build2_amd64.deb365.06KB2024-03-31 23:36:18