ubuntu/pool/universe/c/cvc4 • Public Open Source Mirror

Home / ubuntu / pool / universe / c / cvc4

File Name

Size

Date

..

—

—
cvc4_1.5-1_amd64.deb

135.38KB

2017-11-03 08:57:06

cvc4_1.5-1_i386.deb

139.46KB

2017-11-03 08:59:19

cvc4_1.6-2build2_amd64.deb

134.50KB

2020-02-04 01:45:00

cvc4_1.8-2_amd64.deb

71.62KB

2020-09-30 19:28:33

cvc4_1.8-3build2_amd64.deb

73.62KB

2024-03-31 23:36:19

libcvc4-4_1.5-1_amd64.deb

3.22MB

2017-11-03 08:57:06

libcvc4-4_1.5-1_i386.deb

3.45MB

2017-11-03 08:59:18

libcvc4-5_1.6-2build2_amd64.deb

4.30MB

2020-02-04 01:45:00

libcvc4-7_1.8-2_amd64.deb

5.40MB

2020-09-30 19:28:33

libcvc4-7_1.8-3build2_amd64.deb

4.52MB

2024-03-31 23:36:19

libcvc4-dev_1.5-1_amd64.deb

5.69MB

2017-11-03 08:57:06

libcvc4-dev_1.5-1_i386.deb

6.09MB

2017-11-03 08:59:18

libcvc4-dev_1.6-2build2_amd64.deb

6.96MB

2020-02-04 01:45:00

libcvc4-dev_1.8-2_amd64.deb

120.32KB

2020-09-30 19:28:33

libcvc4-dev_1.8-3build2_amd64.deb

122.32KB

2024-03-31 23:36:18

libcvc4parser4_1.5-1_amd64.deb

355.15KB

2017-11-03 08:57:06

libcvc4parser4_1.5-1_i386.deb

381.12KB

2017-11-03 08:59:19

libcvc4parser5_1.6-2build2_amd64.deb

355.57KB

2020-02-04 01:45:00

libcvc4parser7_1.8-2_amd64.deb

349.14KB

2020-09-30 19:28:33

libcvc4parser7_1.8-3build2_amd64.deb

365.06KB

2024-03-31 23:36:18