Index of /ubuntu/pool/universe/c/cvc5/
Name
Last Modified
Size
Parent Directory
cvc5_1.0.3-1.debian.tar.xz
20-12-2022 11:29
8k
cvc5_1.0.3-1.dsc
20-12-2022 11:29
4k
cvc5_1.0.3-1_amd64.deb
20-12-2022 11:49
100k
cvc5_1.0.3.orig.tar.gz
20-12-2022 11:29
8140k
cvc5_1.0.5-3.debian.tar.xz
24-06-2023 11:45
8k
cvc5_1.0.5-3.dsc
24-06-2023 11:45
4k
cvc5_1.0.5-3_amd64.deb
25-06-2023 08:04
92k
cvc5_1.0.5.orig.tar.gz
20-06-2023 23:39
8236k
cvc5_1.1.2-1build1.debian.tar.xz
31-03-2024 18:36
8k
cvc5_1.1.2-1build1.dsc
31-03-2024 18:36
4k
cvc5_1.1.2-1build1_amd64.deb
01-04-2024 03:46
96k
cvc5_1.1.2-2.debian.tar.xz
03-05-2024 01:55
8k
cvc5_1.1.2-2.dsc
03-05-2024 01:55
4k
cvc5_1.1.2-2_amd64.deb
03-05-2024 02:39
96k
cvc5_1.1.2.orig.tar.gz
03-03-2024 11:23
8384k
libcvc5-1_1.0.3-1_amd64.deb
20-12-2022 11:49
4668k
libcvc5-1_1.0.5-3_amd64.deb
25-06-2023 08:04
4684k
libcvc5-1_1.1.2-1build1_amd64.deb
01-04-2024 03:46
4968k
libcvc5-1_1.1.2-2_amd64.deb
03-05-2024 02:39
4976k
libcvc5-dev_1.0.3-1_amd64.deb
20-12-2022 11:49
52k
libcvc5-dev_1.0.5-3_amd64.deb
25-06-2023 08:04
56k
libcvc5-dev_1.1.2-1build1_amd64.deb
01-04-2024 03:46
84k
libcvc5-dev_1.1.2-2_amd64.deb
03-05-2024 02:39
84k
libcvc5parser1_1.0.3-1_amd64.deb
20-12-2022 11:49
300k
libcvc5parser1_1.0.5-3_amd64.deb
25-06-2023 08:04
348k
libcvc5parser1_1.1.2-1build1_amd64.deb
01-04-2024 03:46
208k
libcvc5parser1_1.1.2-2_amd64.deb
03-05-2024 02:39
208k
python3-cvc5_1.0.5-3_amd64.deb
25-06-2023 08:04
240k
python3-cvc5_1.1.2-1build1_amd64.deb
01-04-2024 03:46
340k
python3-cvc5_1.1.2-2_amd64.deb
03-05-2024 02:39
344k
Alojado en Chile por Hostenode SpA -
https://hnd.cl