Triple - Together we Inspire
News
About us
Contact
Careers
/ubuntu/pool/universe/c/cvc5/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
python3-cvc5_1.1.2-2_amd64.deb
349064
2024-May-03 02:39
python3-cvc5_1.1.2-1build1_amd64.deb
347334
2024-Apr-01 03:46
python3-cvc5_1.0.5-3_amd64.deb
245226
2023-Jun-25 08:04
libcvc5parser1_1.1.2-2_amd64.deb
210268
2024-May-03 02:39
libcvc5parser1_1.1.2-1build1_amd64.deb
209894
2024-Apr-01 03:46
libcvc5parser1_1.0.5-3_amd64.deb
352602
2023-Jun-25 08:04
libcvc5parser1_1.0.3-1_amd64.deb
304354
2022-Dec-20 11:49
libcvc5-dev_1.1.2-2_amd64.deb
84208
2024-May-03 02:39
libcvc5-dev_1.1.2-1build1_amd64.deb
84208
2024-Apr-01 03:46
libcvc5-dev_1.0.5-3_amd64.deb
54488
2023-Jun-25 08:04
libcvc5-dev_1.0.3-1_amd64.deb
52762
2022-Dec-20 11:49
libcvc5-1_1.1.2-2_amd64.deb
5094078
2024-May-03 02:39
libcvc5-1_1.1.2-1build1_amd64.deb
5085718
2024-Apr-01 03:46
libcvc5-1_1.0.5-3_amd64.deb
4793888
2023-Jun-25 08:04
libcvc5-1_1.0.3-1_amd64.deb
4777062
2022-Dec-20 11:49
cvc5_1.1.2.orig.tar.gz
8581968
2024-Mar-03 11:23
cvc5_1.1.2-2_amd64.deb
95212
2024-May-03 02:39
cvc5_1.1.2-2.dsc
2470
2024-May-03 01:55
cvc5_1.1.2-2.debian.tar.xz
7396
2024-May-03 01:55
cvc5_1.1.2-1build1_amd64.deb
95604
2024-Apr-01 03:46
cvc5_1.1.2-1build1.dsc
2589
2024-Mar-31 18:36
cvc5_1.1.2-1build1.debian.tar.xz
6576
2024-Mar-31 18:36
cvc5_1.0.5.orig.tar.gz
8431503
2023-Jun-20 23:39
cvc5_1.0.5-3_amd64.deb
90332
2023-Jun-25 08:04
cvc5_1.0.5-3.dsc
2495
2023-Jun-24 11:45
cvc5_1.0.5-3.debian.tar.xz
7072
2023-Jun-24 11:45
cvc5_1.0.3.orig.tar.gz
8335175
2022-Dec-20 11:29
cvc5_1.0.3-1_amd64.deb
98580
2022-Dec-20 11:49
cvc5_1.0.3-1.dsc
2305
2022-Dec-20 11:29
cvc5_1.0.3-1.debian.tar.xz
5964
2022-Dec-20 11:29