Index of /debian/pool/main/c/cvc4/
../ cvc4_1.8-2.debian.tar.xz 18-Sep-2020 03:25 16K cvc4_1.8-2.dsc 18-Sep-2020 03:25 2275 cvc4_1.8-2_amd64.deb 18-Sep-2020 04:11 80K cvc4_1.8-2_arm64.deb 18-Sep-2020 04:27 74K cvc4_1.8-2_armhf.deb 18-Sep-2020 04:32 74K cvc4_1.8-2_i386.deb 18-Sep-2020 04:42 81K cvc4_1.8-3+b4_amd64.deb 07-Apr-2025 18:25 81K cvc4_1.8-3+b4_arm64.deb 08-Apr-2025 03:42 75K cvc4_1.8-3+b4_armel.deb 08-Apr-2025 03:21 74K cvc4_1.8-3+b4_armhf.deb 07-Apr-2025 19:16 75K cvc4_1.8-3+b4_i386.deb 07-Apr-2025 18:36 83K cvc4_1.8-3+b4_ppc64el.deb 07-Apr-2025 18:30 79K cvc4_1.8-3+b4_riscv64.deb 10-Apr-2025 05:49 77K cvc4_1.8-3+b4_s390x.deb 07-Apr-2025 19:44 78K cvc4_1.8-3.debian.tar.xz 29-Oct-2022 21:57 16K cvc4_1.8-3.dsc 29-Oct-2022 21:57 2244 cvc4_1.8-3_amd64.deb 29-Oct-2022 23:29 79K cvc4_1.8-3_arm64.deb 29-Oct-2022 23:47 74K cvc4_1.8-3_armel.deb 29-Oct-2022 23:57 72K cvc4_1.8-3_armhf.deb 29-Oct-2022 23:47 73K cvc4_1.8-3_i386.deb 29-Oct-2022 23:23 81K cvc4_1.8-3_mips64el.deb 30-Oct-2022 03:59 72K cvc4_1.8-3_mipsel.deb 30-Oct-2022 00:12 72K cvc4_1.8-3_ppc64el.deb 29-Oct-2022 23:42 79K cvc4_1.8-3_s390x.deb 29-Oct-2022 23:39 74K cvc4_1.8-5+b1_amd64.deb 23-Apr-2026 17:35 78K cvc4_1.8-5+b1_arm64.deb 23-Apr-2026 15:45 73K cvc4_1.8-5+b1_armhf.deb 23-Apr-2026 16:06 73K cvc4_1.8-5+b1_i386.deb 23-Apr-2026 17:51 81K cvc4_1.8-5+b1_loong64.deb 24-Apr-2026 01:00 75K cvc4_1.8-5+b1_ppc64el.deb 23-Apr-2026 17:35 77K cvc4_1.8-5+b1_riscv64.deb 16-May-2026 21:23 75K cvc4_1.8-5+b1_s390x.deb 23-Apr-2026 19:35 76K cvc4_1.8-5.debian.tar.xz 27-Oct-2025 11:28 17K cvc4_1.8-5.dsc 27-Oct-2025 11:28 1861 cvc4_1.8.orig.tar.gz 14-Sep-2020 01:17 7M libcvc4-7_1.8-2_amd64.deb 18-Sep-2020 04:11 5M libcvc4-7_1.8-2_arm64.deb 18-Sep-2020 04:27 5M libcvc4-7_1.8-2_armhf.deb 18-Sep-2020 04:32 5M libcvc4-7_1.8-2_i386.deb 18-Sep-2020 04:42 6M libcvc4-7_1.8-3+b4_amd64.deb 07-Apr-2025 18:25 6M libcvc4-7_1.8-3+b4_arm64.deb 08-Apr-2025 03:42 5M libcvc4-7_1.8-3+b4_armel.deb 08-Apr-2025 03:21 5M libcvc4-7_1.8-3+b4_armhf.deb 07-Apr-2025 19:16 5M libcvc4-7_1.8-3+b4_i386.deb 07-Apr-2025 18:36 7M libcvc4-7_1.8-3+b4_ppc64el.deb 07-Apr-2025 18:30 6M libcvc4-7_1.8-3+b4_riscv64.deb 10-Apr-2025 05:49 6M libcvc4-7_1.8-3+b4_s390x.deb 07-Apr-2025 19:44 6M libcvc4-7_1.8-3_amd64.deb 29-Oct-2022 23:29 6M libcvc4-7_1.8-3_arm64.deb 29-Oct-2022 23:47 5M libcvc4-7_1.8-3_armel.deb 29-Oct-2022 23:57 5M libcvc4-7_1.8-3_armhf.deb 29-Oct-2022 23:47 5M libcvc4-7_1.8-3_i386.deb 29-Oct-2022 23:23 6M libcvc4-7_1.8-3_mips64el.deb 30-Oct-2022 03:59 4M libcvc4-7_1.8-3_mipsel.deb 30-Oct-2022 00:12 4M libcvc4-7_1.8-3_ppc64el.deb 29-Oct-2022 23:42 5M libcvc4-7_1.8-3_s390x.deb 29-Oct-2022 23:39 5M libcvc4-7_1.8-5+b1_amd64.deb 23-Apr-2026 17:35 6M libcvc4-7_1.8-5+b1_arm64.deb 23-Apr-2026 15:45 5M libcvc4-7_1.8-5+b1_armhf.deb 23-Apr-2026 16:06 5M libcvc4-7_1.8-5+b1_i386.deb 23-Apr-2026 17:51 7M libcvc4-7_1.8-5+b1_loong64.deb 24-Apr-2026 01:00 6M libcvc4-7_1.8-5+b1_ppc64el.deb 23-Apr-2026 17:35 6M libcvc4-7_1.8-5+b1_riscv64.deb 16-May-2026 21:23 6M libcvc4-7_1.8-5+b1_s390x.deb 23-Apr-2026 19:35 6M libcvc4-dev_1.8-2_amd64.deb 18-Sep-2020 04:11 128K libcvc4-dev_1.8-2_arm64.deb 18-Sep-2020 04:27 128K libcvc4-dev_1.8-2_armhf.deb 18-Sep-2020 04:32 128K libcvc4-dev_1.8-2_i386.deb 18-Sep-2020 04:42 128K libcvc4-dev_1.8-3+b4_amd64.deb 07-Apr-2025 18:25 128K libcvc4-dev_1.8-3+b4_arm64.deb 08-Apr-2025 03:42 128K libcvc4-dev_1.8-3+b4_armel.deb 08-Apr-2025 03:21 128K libcvc4-dev_1.8-3+b4_armhf.deb 07-Apr-2025 19:16 128K libcvc4-dev_1.8-3+b4_i386.deb 07-Apr-2025 18:36 128K libcvc4-dev_1.8-3+b4_ppc64el.deb 07-Apr-2025 18:30 128K libcvc4-dev_1.8-3+b4_riscv64.deb 10-Apr-2025 05:49 128K libcvc4-dev_1.8-3+b4_s390x.deb 07-Apr-2025 19:44 128K libcvc4-dev_1.8-3_amd64.deb 29-Oct-2022 23:29 128K libcvc4-dev_1.8-3_arm64.deb 29-Oct-2022 23:47 128K libcvc4-dev_1.8-3_armel.deb 29-Oct-2022 23:57 128K libcvc4-dev_1.8-3_armhf.deb 29-Oct-2022 23:47 128K libcvc4-dev_1.8-3_i386.deb 29-Oct-2022 23:23 128K libcvc4-dev_1.8-3_mips64el.deb 30-Oct-2022 03:59 128K libcvc4-dev_1.8-3_mipsel.deb 30-Oct-2022 00:12 128K libcvc4-dev_1.8-3_ppc64el.deb 29-Oct-2022 23:42 128K libcvc4-dev_1.8-3_s390x.deb 29-Oct-2022 23:39 128K libcvc4-dev_1.8-5+b1_amd64.deb 23-Apr-2026 17:35 128K libcvc4-dev_1.8-5+b1_arm64.deb 23-Apr-2026 15:45 128K libcvc4-dev_1.8-5+b1_armhf.deb 23-Apr-2026 16:06 128K libcvc4-dev_1.8-5+b1_i386.deb 23-Apr-2026 17:51 128K libcvc4-dev_1.8-5+b1_loong64.deb 24-Apr-2026 01:00 128K libcvc4-dev_1.8-5+b1_ppc64el.deb 23-Apr-2026 17:35 128K libcvc4-dev_1.8-5+b1_riscv64.deb 16-May-2026 21:23 128K libcvc4-dev_1.8-5+b1_s390x.deb 23-Apr-2026 19:35 128K libcvc4parser7_1.8-2_amd64.deb 18-Sep-2020 04:11 358K libcvc4parser7_1.8-2_arm64.deb 18-Sep-2020 04:27 321K libcvc4parser7_1.8-2_armhf.deb 18-Sep-2020 04:32 320K libcvc4parser7_1.8-2_i386.deb 18-Sep-2020 04:42 374K libcvc4parser7_1.8-3+b4_amd64.deb 07-Apr-2025 18:25 373K libcvc4parser7_1.8-3+b4_arm64.deb 08-Apr-2025 03:42 326K libcvc4parser7_1.8-3+b4_armel.deb 08-Apr-2025 03:21 327K libcvc4parser7_1.8-3+b4_armhf.deb 07-Apr-2025 19:16 339K libcvc4parser7_1.8-3+b4_i386.deb 07-Apr-2025 18:36 402K libcvc4parser7_1.8-3+b4_ppc64el.deb 07-Apr-2025 18:30 356K libcvc4parser7_1.8-3+b4_riscv64.deb 10-Apr-2025 05:49 363K libcvc4parser7_1.8-3+b4_s390x.deb 07-Apr-2025 19:44 389K libcvc4parser7_1.8-3_amd64.deb 29-Oct-2022 23:29 354K libcvc4parser7_1.8-3_arm64.deb 29-Oct-2022 23:47 315K libcvc4parser7_1.8-3_armel.deb 29-Oct-2022 23:57 310K libcvc4parser7_1.8-3_armhf.deb 29-Oct-2022 23:47 322K libcvc4parser7_1.8-3_i386.deb 29-Oct-2022 23:23 379K libcvc4parser7_1.8-3_mips64el.deb 30-Oct-2022 03:59 296K libcvc4parser7_1.8-3_mipsel.deb 30-Oct-2022 00:12 303K libcvc4parser7_1.8-3_ppc64el.deb 29-Oct-2022 23:42 348K libcvc4parser7_1.8-3_s390x.deb 29-Oct-2022 23:39 316K libcvc4parser7_1.8-5+b1_amd64.deb 23-Apr-2026 17:35 376K libcvc4parser7_1.8-5+b1_arm64.deb 23-Apr-2026 15:45 331K libcvc4parser7_1.8-5+b1_armhf.deb 23-Apr-2026 16:06 342K libcvc4parser7_1.8-5+b1_i386.deb 23-Apr-2026 17:51 403K libcvc4parser7_1.8-5+b1_loong64.deb 24-Apr-2026 01:00 351K libcvc4parser7_1.8-5+b1_ppc64el.deb 23-Apr-2026 17:35 365K libcvc4parser7_1.8-5+b1_riscv64.deb 16-May-2026 21:23 369K libcvc4parser7_1.8-5+b1_s390x.deb 23-Apr-2026 19:35 392K
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.