Index of /ubuntu/pool/universe/c/cvc4/

name size date
cvc4_1.8-5_amd64.deb 68.7K 2025-10-28 00:16:27
libcvc4-7_1.8-5_amd64.deb 4.69M 2025-10-28 00:16:27
libcvc4-dev_1.8-5_amd64.deb 122.3K 2025-10-28 00:16:26
libcvc4parser7_1.8-5_amd64.deb 375.1K 2025-10-28 00:16:26
cvc4_1.8-3build2_amd64.deb 73.6K 2024-03-31 20:36:19
libcvc4-7_1.8-3build2_amd64.deb 4.52M 2024-03-31 20:36:19
libcvc4-dev_1.8-3build2_amd64.deb 122.3K 2024-03-31 20:36:18
libcvc4parser7_1.8-3build2_amd64.deb 365.1K 2024-03-31 20:36:18
cvc4_1.8-2_amd64.deb 71.6K 2020-09-30 16:28:33
libcvc4-7_1.8-2_amd64.deb 5.40M 2020-09-30 16:28:33
libcvc4-dev_1.8-2_amd64.deb 120.3K 2020-09-30 16:28:33
libcvc4parser7_1.8-2_amd64.deb 349.1K 2020-09-30 16:28:33
cvc4_1.6-2build2_amd64.deb 134.5K 2020-02-03 23:45:00
libcvc4-5_1.6-2build2_amd64.deb 4.30M 2020-02-03 23:45:00
libcvc4-dev_1.6-2build2_amd64.deb 6.96M 2020-02-03 23:45:00
libcvc4parser5_1.6-2build2_amd64.deb 355.6K 2020-02-03 23:45:00