Index of /ubuntu/archive/pool/universe/c/cvc5/

Index of /ubuntu/archive/pool/universe/c/cvc5/

../
cvc5_1.1.2-1build1.debian.tar.xz                   31-Mar-2024 19:36    6576
cvc5_1.1.2-1build1.dsc                             31-Mar-2024 19:36    2589
cvc5_1.1.2-1build1_amd64.deb                       01-Apr-2024 04:46     93K
cvc5_1.1.2-2.debian.tar.xz                         03-May-2024 02:55    7396
cvc5_1.1.2-2.dsc                                   03-May-2024 02:55    2470
cvc5_1.1.2-2_amd64.deb                             03-May-2024 03:39     93K
cvc5_1.1.2-2build1.debian.tar.xz                   03-Jan-2025 22:43    7476
cvc5_1.1.2-2build1.dsc                             03-Jan-2025 22:43    2473
cvc5_1.1.2-2build1_amd64.deb                       03-Jan-2025 22:43     90K
cvc5_1.1.2.orig.tar.gz                             03-Mar-2024 12:23      8M
libcvc5-1_1.1.2-1build1_amd64.deb                  01-Apr-2024 04:46      5M
libcvc5-1_1.1.2-2_amd64.deb                        03-May-2024 03:39      5M
libcvc5-1_1.1.2-2build1_amd64.deb                  03-Jan-2025 22:43      5M
libcvc5-dev_1.1.2-1build1_amd64.deb                01-Apr-2024 04:46     82K
libcvc5-dev_1.1.2-2_amd64.deb                      03-May-2024 03:39     82K
libcvc5-dev_1.1.2-2build1_amd64.deb                03-Jan-2025 22:43     82K
libcvc5parser1_1.1.2-1build1_amd64.deb             01-Apr-2024 04:46    205K
libcvc5parser1_1.1.2-2_amd64.deb                   03-May-2024 03:39    205K
libcvc5parser1_1.1.2-2build1_amd64.deb             03-Jan-2025 22:43    206K
python3-cvc5_1.1.2-1build1_amd64.deb               01-Apr-2024 04:46    339K
python3-cvc5_1.1.2-2_amd64.deb                     03-May-2024 03:39    341K
python3-cvc5_1.1.2-2build1_amd64.deb               03-Jan-2025 22:43    350K
Disclaimer
This website is offered to you by Hostnet B.V. All files offered on this website are provided for the interest and convenience to visitors of this website. Hostnet B.V. has no control over the files and Hostnet B.V. does not provide any guarantee concerning (the content of) the files, does not vouch for the quality of the files, and is not responsible or liable in connection with these files. The use of the files is solely at the user’s own risk. This website, the disclaimer and the use of the files are governed by the laws of the Netherlands. All disputes in connection with the website, the disclaimer and the use of the files will be submitted for the exclusive settlement to the competent court in Amsterdam, the Netherlands.

 

Hostnet