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

Home / ubuntu / pool / universe / c / cvc5

File Name

Size

Date

..

—

—
cvc5_1.1.2-1build1.debian.tar.xz

6.42KB

2024-03-31 21:36:42

cvc5_1.1.2-1build1.dsc

2.53KB

2024-03-31 21:36:42

cvc5_1.1.2-1build1_amd64.deb

93.36KB

2024-04-01 06:46:29

cvc5_1.1.2-2build1.debian.tar.xz

7.30KB

2025-01-03 23:43:24

cvc5_1.1.2-2build1.dsc

2.42KB

2025-01-03 23:43:24

cvc5_1.1.2-2build1_amd64.deb

89.78KB

2025-01-03 23:43:40

cvc5_1.1.2.orig.tar.gz

8.18MB

2024-03-03 13:23:16

libcvc5-1_1.1.2-1build1_amd64.deb

4.85MB

2024-04-01 06:46:29

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-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-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-2build1_amd64.deb

349.91KB

2025-01-03 23:43:39