ubuntu/pool/universe/c/cvc5 • Linux Public Mirror - VISION Technologies Limited

Welcome to VISION Mirror Server

This mirror is hosted in VISION Technologies Limited Tier III Data Center in Bangladesh

Home / ubuntu / pool / universe / c / cvc5

File Name

Size

Last Modified

..

—

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

6.42KB

March 31, 2024, 6:36 pm

cvc5_1.1.2-1build1.dsc

2.53KB

March 31, 2024, 6:36 pm

cvc5_1.1.2-1build1_amd64.deb

93.36KB

April 1, 2024, 3:46 am

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

7.30KB

January 3, 2025, 9:43 pm

cvc5_1.1.2-2build1.dsc

2.42KB

January 3, 2025, 9:43 pm

cvc5_1.1.2-2build1_amd64.deb

89.78KB

January 3, 2025, 9:43 pm

cvc5_1.1.2.orig.tar.gz

8.18MB

March 3, 2024, 11:23 am

libcvc5-1_1.1.2-1build1_amd64.deb

4.85MB

April 1, 2024, 3:46 am

libcvc5-1_1.1.2-2build1_amd64.deb

5.04MB

January 3, 2025, 9:43 pm

libcvc5-dev_1.1.2-1build1_amd64.deb

82.23KB

April 1, 2024, 3:46 am

libcvc5-dev_1.1.2-2build1_amd64.deb

82.20KB

January 3, 2025, 9:43 pm

libcvc5parser1_1.1.2-1build1_amd64.deb

204.97KB

April 1, 2024, 3:46 am

libcvc5parser1_1.1.2-2build1_amd64.deb

206.26KB

January 3, 2025, 9:43 pm

python3-cvc5_1.1.2-1build1_amd64.deb

339.19KB

April 1, 2024, 3:46 am

python3-cvc5_1.1.2-2build1_amd64.deb

349.91KB

January 3, 2025, 9:43 pm