Index of /ubuntu/pool/universe/c/cvc4/
../ cvc4_1.5-1.debian.tar.xz 01-Nov-2017 15:57 6012 cvc4_1.5-1.dsc 01-Nov-2017 15:57 2221 cvc4_1.5-1_amd64.deb 03-Nov-2017 08:57 135K cvc4_1.5-1_i386.deb 03-Nov-2017 08:59 139K cvc4_1.5.orig.tar.gz 01-Nov-2017 15:57 8M cvc4_1.6-2build2.debian.tar.xz 04-Feb-2020 00:24 8392 cvc4_1.6-2build2.dsc 04-Feb-2020 00:24 2755 cvc4_1.6-2build2_amd64.deb 04-Feb-2020 01:45 135K cvc4_1.6.orig.tar.gz 12-Aug-2018 07:13 7M cvc4_1.8-2.debian.tar.xz 30-Sep-2020 17:43 16K cvc4_1.8-2.dsc 30-Sep-2020 17:43 2275 cvc4_1.8-2_amd64.deb 30-Sep-2020 18:28 72K cvc4_1.8-3build2.debian.tar.xz 31-Mar-2024 20:36 16K cvc4_1.8-3build2.dsc 31-Mar-2024 20:36 2363 cvc4_1.8-3build2_amd64.deb 31-Mar-2024 22:36 74K cvc4_1.8-3build2_arm64.deb 02-Apr-2024 03:07 70K cvc4_1.8-5.debian.tar.xz 28-Oct-2025 02:01 17K cvc4_1.8-5.dsc 28-Oct-2025 02:01 1861 cvc4_1.8-5_amd64.deb 28-Oct-2025 02:16 69K cvc4_1.8-5_amd64v3.deb 28-Oct-2025 02:28 70K cvc4_1.8-5_arm64.deb 28-Oct-2025 08:36 65K cvc4_1.8.orig.tar.gz 30-Sep-2020 17:43 7M libcvc4-4_1.5-1_amd64.deb 03-Nov-2017 08:57 3M libcvc4-4_1.5-1_i386.deb 03-Nov-2017 08:59 3M libcvc4-5_1.6-2build2_amd64.deb 04-Feb-2020 01:45 4M libcvc4-7_1.8-2_amd64.deb 30-Sep-2020 18:28 5M libcvc4-7_1.8-3build2_amd64.deb 31-Mar-2024 22:36 5M libcvc4-7_1.8-3build2_arm64.deb 02-Apr-2024 03:07 4M libcvc4-7_1.8-5_amd64.deb 28-Oct-2025 02:16 5M libcvc4-7_1.8-5_amd64v3.deb 28-Oct-2025 02:28 5M libcvc4-7_1.8-5_arm64.deb 28-Oct-2025 08:36 4M libcvc4-dev_1.5-1_amd64.deb 03-Nov-2017 08:57 6M libcvc4-dev_1.5-1_i386.deb 03-Nov-2017 08:59 6M libcvc4-dev_1.6-2build2_amd64.deb 04-Feb-2020 01:45 7M libcvc4-dev_1.8-2_amd64.deb 30-Sep-2020 18:28 120K libcvc4-dev_1.8-3build2_amd64.deb 31-Mar-2024 22:36 122K libcvc4-dev_1.8-3build2_arm64.deb 02-Apr-2024 03:07 122K libcvc4-dev_1.8-5_amd64.deb 28-Oct-2025 02:16 122K libcvc4-dev_1.8-5_amd64v3.deb 28-Oct-2025 02:28 122K libcvc4-dev_1.8-5_arm64.deb 28-Oct-2025 08:36 122K libcvc4parser4_1.5-1_amd64.deb 03-Nov-2017 08:57 355K libcvc4parser4_1.5-1_i386.deb 03-Nov-2017 08:59 381K libcvc4parser5_1.6-2build2_amd64.deb 04-Feb-2020 01:45 356K libcvc4parser7_1.8-2_amd64.deb 30-Sep-2020 18:28 349K libcvc4parser7_1.8-3build2_amd64.deb 31-Mar-2024 22:36 365K libcvc4parser7_1.8-3build2_arm64.deb 02-Apr-2024 03:07 345K libcvc4parser7_1.8-5_amd64.deb 28-Oct-2025 02:16 375K libcvc4parser7_1.8-5_amd64v3.deb 28-Oct-2025 02:28 386K libcvc4parser7_1.8-5_arm64.deb 28-Oct-2025 08:36 359K
This mirror is provided by University of Trieste - rete@units.it
NO WARRANTY
THIS MIRROR IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK
AS TO THE QUALITY AND PERFORMANCE OF THE MIRROR IS WITH YOU. SHOULD THE
MIRROR PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
REPAIR OR CORRECTION.
IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
WILL UNIVERSITY OF TRIESTE OR ANY PEOPLE INVLOLVED IN SERVICING THE
MIRROR BE LIABLE TO YOU FOR DAMAGES,
INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES
ARISING OUT OF THE USE OR INABILITY TO USE THE MIRROR (INCLUDING BUT NOT
LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED
BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY
OTHER PROGRAMS), EVEN IF UNIVERSITY OF TRIESTE AND PEOPLE INVLOLVED IN
SERVICING THE MIRROR HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.