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/cvc4/

../
cvc4_1.5-1.debian.tar.xz                           01-Nov-2017 13:57                6012
cvc4_1.5-1.dsc                                     01-Nov-2017 13:57                2221
cvc4_1.5.orig.tar.gz                               01-Nov-2017 13:57             7926116
cvc4_1.6-2build2.debian.tar.xz                     03-Feb-2020 22:24                8392
cvc4_1.6-2build2.dsc                               03-Feb-2020 22:24                2755
cvc4_1.6.orig.tar.gz                               12-Aug-2018 05:13             7815893
cvc4_1.8-2.debian.tar.xz                           30-Sep-2020 15:43               16456
cvc4_1.8-2.dsc                                     30-Sep-2020 15:43                2275
cvc4_1.8-2_arm64.deb                               30-Sep-2020 16:43               67816
cvc4_1.8-2_armhf.deb                               30-Sep-2020 17:43               67376
cvc4_1.8-3.debian.tar.xz                           06-Nov-2022 03:17               16728
cvc4_1.8-3.dsc                                     06-Nov-2022 03:17                2244
cvc4_1.8-3_arm64.deb                               06-Nov-2022 06:20               71202
cvc4_1.8-3_armhf.deb                               06-Nov-2022 05:42               72792
cvc4_1.8-3build2.debian.tar.xz                     31-Mar-2024 18:36               16876
cvc4_1.8-3build2.dsc                               31-Mar-2024 18:36                2363
cvc4_1.8-3build2_arm64.deb                         02-Apr-2024 01:07               71602
cvc4_1.8-3build2_armhf.deb                         02-Apr-2024 02:14               73820
cvc4_1.8.orig.tar.gz                               30-Sep-2020 15:43             7547187
libcvc4-7_1.8-2_arm64.deb                          30-Sep-2020 16:43             4796268
libcvc4-7_1.8-2_armhf.deb                          30-Sep-2020 17:43             5029444
libcvc4-7_1.8-3_arm64.deb                          06-Nov-2022 06:20             4325146
libcvc4-7_1.8-3_armhf.deb                          06-Nov-2022 05:42             6110508
libcvc4-7_1.8-3build2_arm64.deb                    02-Apr-2024 01:07             4342788
libcvc4-7_1.8-3build2_armhf.deb                    02-Apr-2024 02:14             6151814
libcvc4-dev_1.8-2_arm64.deb                        30-Sep-2020 16:43              123208
libcvc4-dev_1.8-2_armhf.deb                        30-Sep-2020 17:43              123208
libcvc4-dev_1.8-3_arm64.deb                        06-Nov-2022 06:20              125218
libcvc4-dev_1.8-3_armhf.deb                        06-Nov-2022 05:42              125218
libcvc4-dev_1.8-3build2_arm64.deb                  02-Apr-2024 01:07              125246
libcvc4-dev_1.8-3build2_armhf.deb                  02-Apr-2024 02:14              125254
libcvc4parser7_1.8-2_arm64.deb                     30-Sep-2020 16:43              318624
libcvc4parser7_1.8-2_armhf.deb                     30-Sep-2020 17:43              318988
libcvc4parser7_1.8-3_arm64.deb                     06-Nov-2022 06:20              355716
libcvc4parser7_1.8-3_armhf.deb                     06-Nov-2022 05:42              368164
libcvc4parser7_1.8-3build2_arm64.deb               02-Apr-2024 01:07              353574
libcvc4parser7_1.8-3build2_armhf.deb               02-Apr-2024 02:14              365508

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.