The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /ubuntu-ports/pool/universe/c/cvc5/


../
cvc5_1.1.2-1build1.debian.tar.xz                   31-Mar-2024 18:36                6576
cvc5_1.1.2-1build1.dsc                             31-Mar-2024 18:36                2589
cvc5_1.1.2-1build1_arm64.deb                       02-Apr-2024 04:06               87912
cvc5_1.1.2-1build1_armhf.deb                       02-Apr-2024 01:08              104214
cvc5_1.1.2-2build1.debian.tar.xz                   03-Jan-2025 21:43                7476
cvc5_1.1.2-2build1.dsc                             03-Jan-2025 21:43                2473
cvc5_1.1.2-2build1_arm64.deb                       03-Jan-2025 21:44               86962
cvc5_1.1.2-2build1_armhf.deb                       03-Jan-2025 21:44              101778
cvc5_1.1.2.orig.tar.gz                             03-Mar-2024 11:23             8581968
libcvc5-1_1.1.2-1build1_arm64.deb                  02-Apr-2024 04:06             4693310
libcvc5-1_1.1.2-1build1_armhf.deb                  02-Apr-2024 01:08             6239846
libcvc5-1_1.1.2-2build1_arm64.deb                  03-Jan-2025 21:44             4875188
libcvc5-1_1.1.2-2build1_armhf.deb                  03-Jan-2025 21:44             6454818
libcvc5-dev_1.1.2-1build1_arm64.deb                02-Apr-2024 04:06               84202
libcvc5-dev_1.1.2-1build1_armhf.deb                02-Apr-2024 01:08               84212
libcvc5-dev_1.1.2-2build1_arm64.deb                03-Jan-2025 21:44               84172
libcvc5-dev_1.1.2-2build1_armhf.deb                03-Jan-2025 21:44               84178
libcvc5parser1_1.1.2-1build1_arm64.deb             02-Apr-2024 04:06              198216
libcvc5parser1_1.1.2-1build1_armhf.deb             02-Apr-2024 01:08              217032
libcvc5parser1_1.1.2-2build1_arm64.deb             03-Jan-2025 21:44              199426
libcvc5parser1_1.1.2-2build1_armhf.deb             03-Jan-2025 21:44              219220
python3-cvc5_1.1.2-1build1_arm64.deb               02-Apr-2024 04:06              336332
python3-cvc5_1.1.2-1build1_armhf.deb               02-Apr-2024 01:08              349332
python3-cvc5_1.1.2-2build1_arm64.deb               03-Jan-2025 21:44              339444
python3-cvc5_1.1.2-2build1_armhf.deb               03-Jan-2025 21:44              354798

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.