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

Home / ubuntu / pool / universe / c / cvc5

File Name

Size

Date

..

—

—
cvc5_1.1.2-1build1_amd64.deb

93.36KB

2024-04-01 06:46:29

cvc5_1.1.2-2_amd64.deb

92.98KB

2024-05-03 05:39:50

cvc5_1.1.2-2build1_amd64.deb

89.78KB

2025-01-03 23:43:40

libcvc5-1_1.1.2-1build1_amd64.deb

4.85MB

2024-04-01 06:46:29

libcvc5-1_1.1.2-2_amd64.deb

4.86MB

2024-05-03 05:39:50

libcvc5-1_1.1.2-2build1_amd64.deb

5.04MB

2025-01-03 23:43:40

libcvc5-dev_1.1.2-1build1_amd64.deb

82.23KB

2024-04-01 06:46:29

libcvc5-dev_1.1.2-2_amd64.deb

82.23KB

2024-05-03 05:39:50

libcvc5-dev_1.1.2-2build1_amd64.deb

82.20KB

2025-01-03 23:43:40

libcvc5parser1_1.1.2-1build1_amd64.deb

204.97KB

2024-04-01 06:46:29

libcvc5parser1_1.1.2-2_amd64.deb

205.34KB

2024-05-03 05:39:50

libcvc5parser1_1.1.2-2build1_amd64.deb

206.26KB

2025-01-03 23:43:40

python3-cvc5_1.1.2-1build1_amd64.deb

339.19KB

2024-04-01 06:46:29

python3-cvc5_1.1.2-2_amd64.deb

340.88KB

2024-05-03 05:39:50

python3-cvc5_1.1.2-2build1_amd64.deb

349.91KB

2025-01-03 23:43:39