Index of /debian/pool/main/c/cvc5/
../ cvc5_1.0.3-1.debian.tar.xz 20-Dec-2022 05:26 5964 cvc5_1.0.3-1.dsc 20-Dec-2022 05:26 2305 cvc5_1.0.3-1_amd64.deb 20-Dec-2022 07:55 105K cvc5_1.0.3-1_arm64.deb 20-Dec-2022 07:29 95K cvc5_1.0.3-1_ppc64el.deb 20-Dec-2022 07:45 103K cvc5_1.0.3-1_s390x.deb 20-Dec-2022 14:13 95K cvc5_1.0.3.orig.tar.gz 20-Dec-2022 05:26 8M cvc5_1.1.2-2+b3_amd64.deb 09-Jan-2025 13:11 107K cvc5_1.1.2-2+b3_arm64.deb 09-Jan-2025 13:31 95K cvc5_1.1.2-2+b3_armel.deb 09-Jan-2025 14:48 96K cvc5_1.1.2-2+b3_armhf.deb 09-Jan-2025 14:32 99K cvc5_1.1.2-2+b3_i386.deb 09-Jan-2025 13:05 109K cvc5_1.1.2-2+b3_ppc64el.deb 09-Jan-2025 12:55 102K cvc5_1.1.2-2+b3_riscv64.deb 12-Jan-2025 22:01 99K cvc5_1.1.2-2+b3_s390x.deb 10-Jan-2025 01:43 105K cvc5_1.1.2-2.debian.tar.xz 20-Mar-2024 00:22 7396 cvc5_1.1.2-2.dsc 20-Mar-2024 00:22 2470 cvc5_1.1.2.orig.tar.gz 03-Mar-2024 04:53 8M cvc5_1.3.2-1+b2_amd64.deb 29-Jun-2026 00:49 141K cvc5_1.3.2-1+b2_arm64.deb 28-Jun-2026 22:43 125K cvc5_1.3.2-1+b2_armhf.deb 28-Jun-2026 21:24 129K cvc5_1.3.2-1+b2_i386.deb 29-Jun-2026 01:51 142K cvc5_1.3.2-1+b2_loong64.deb 28-Jun-2026 22:53 129K cvc5_1.3.2-1+b2_ppc64el.deb 29-Jun-2026 02:28 133K cvc5_1.3.2-1+b2_riscv64.deb 09-Jul-2026 23:31 130K cvc5_1.3.2-1+b2_s390x.deb 29-Jun-2026 01:15 142K cvc5_1.3.2-1.debian.tar.xz 24-Dec-2025 03:13 8532 cvc5_1.3.2-1.dsc 24-Dec-2025 03:13 2468 cvc5_1.3.2.orig.tar.gz 24-Dec-2025 03:13 9M libcvc5-1_1.0.3-1_amd64.deb 20-Dec-2022 07:55 6M libcvc5-1_1.0.3-1_arm64.deb 20-Dec-2022 07:29 5M libcvc5-1_1.0.3-1_ppc64el.deb 20-Dec-2022 07:45 5M libcvc5-1_1.0.3-1_s390x.deb 20-Dec-2022 14:13 5M libcvc5-1_1.1.2-2+b3_amd64.deb 09-Jan-2025 13:11 6M libcvc5-1_1.1.2-2+b3_arm64.deb 09-Jan-2025 13:31 5M libcvc5-1_1.1.2-2+b3_armel.deb 09-Jan-2025 14:48 6M libcvc5-1_1.1.2-2+b3_armhf.deb 09-Jan-2025 14:32 5M libcvc5-1_1.1.2-2+b3_i386.deb 09-Jan-2025 13:05 7M libcvc5-1_1.1.2-2+b3_ppc64el.deb 09-Jan-2025 12:55 6M libcvc5-1_1.1.2-2+b3_riscv64.deb 12-Jan-2025 22:01 6M libcvc5-1_1.1.2-2+b3_s390x.deb 10-Jan-2025 01:43 6M libcvc5-1_1.3.2-1+b2_amd64.deb 29-Jun-2026 00:49 7M libcvc5-1_1.3.2-1+b2_arm64.deb 28-Jun-2026 22:43 6M libcvc5-1_1.3.2-1+b2_armhf.deb 28-Jun-2026 21:24 6M libcvc5-1_1.3.2-1+b2_i386.deb 29-Jun-2026 01:51 8M libcvc5-1_1.3.2-1+b2_loong64.deb 28-Jun-2026 22:53 7M libcvc5-1_1.3.2-1+b2_ppc64el.deb 29-Jun-2026 02:28 7M libcvc5-1_1.3.2-1+b2_riscv64.deb 09-Jul-2026 23:31 7M libcvc5-1_1.3.2-1+b2_s390x.deb 29-Jun-2026 01:15 7M libcvc5-dev_1.0.3-1_amd64.deb 20-Dec-2022 07:55 57K libcvc5-dev_1.0.3-1_arm64.deb 20-Dec-2022 07:29 57K libcvc5-dev_1.0.3-1_ppc64el.deb 20-Dec-2022 07:45 57K libcvc5-dev_1.0.3-1_s390x.deb 20-Dec-2022 14:13 57K libcvc5-dev_1.1.2-2+b3_amd64.deb 09-Jan-2025 13:11 91K libcvc5-dev_1.1.2-2+b3_arm64.deb 09-Jan-2025 13:31 91K libcvc5-dev_1.1.2-2+b3_armel.deb 09-Jan-2025 14:48 91K libcvc5-dev_1.1.2-2+b3_armhf.deb 09-Jan-2025 14:32 91K libcvc5-dev_1.1.2-2+b3_i386.deb 09-Jan-2025 13:05 91K libcvc5-dev_1.1.2-2+b3_ppc64el.deb 09-Jan-2025 12:55 91K libcvc5-dev_1.1.2-2+b3_riscv64.deb 12-Jan-2025 22:01 91K libcvc5-dev_1.1.2-2+b3_s390x.deb 10-Jan-2025 01:43 91K libcvc5-dev_1.3.2-1+b2_amd64.deb 29-Jun-2026 00:49 121K libcvc5-dev_1.3.2-1+b2_arm64.deb 28-Jun-2026 22:43 121K libcvc5-dev_1.3.2-1+b2_armhf.deb 28-Jun-2026 21:24 121K libcvc5-dev_1.3.2-1+b2_i386.deb 29-Jun-2026 01:51 121K libcvc5-dev_1.3.2-1+b2_loong64.deb 28-Jun-2026 22:53 121K libcvc5-dev_1.3.2-1+b2_ppc64el.deb 29-Jun-2026 02:28 121K libcvc5-dev_1.3.2-1+b2_riscv64.deb 09-Jul-2026 23:31 121K libcvc5-dev_1.3.2-1+b2_s390x.deb 29-Jun-2026 01:15 121K libcvc5parser1_1.0.3-1_amd64.deb 20-Dec-2022 07:55 300K libcvc5parser1_1.0.3-1_arm64.deb 20-Dec-2022 07:29 267K libcvc5parser1_1.0.3-1_ppc64el.deb 20-Dec-2022 07:45 297K libcvc5parser1_1.0.3-1_s390x.deb 20-Dec-2022 14:13 265K libcvc5parser1_1.1.2-2+b3_amd64.deb 09-Jan-2025 13:11 231K libcvc5parser1_1.1.2-2+b3_arm64.deb 09-Jan-2025 13:31 203K libcvc5parser1_1.1.2-2+b3_armel.deb 09-Jan-2025 14:48 196K libcvc5parser1_1.1.2-2+b3_armhf.deb 09-Jan-2025 14:32 202K libcvc5parser1_1.1.2-2+b3_i386.deb 09-Jan-2025 13:05 252K libcvc5parser1_1.1.2-2+b3_ppc64el.deb 09-Jan-2025 12:55 227K libcvc5parser1_1.1.2-2+b3_riscv64.deb 12-Jan-2025 22:01 222K libcvc5parser1_1.1.2-2+b3_s390x.deb 10-Jan-2025 01:43 226K libcvc5parser1_1.3.2-1+b2_amd64.deb 29-Jun-2026 00:49 266K libcvc5parser1_1.3.2-1+b2_arm64.deb 28-Jun-2026 22:43 232K libcvc5parser1_1.3.2-1+b2_armhf.deb 28-Jun-2026 21:24 234K libcvc5parser1_1.3.2-1+b2_i386.deb 29-Jun-2026 01:51 287K libcvc5parser1_1.3.2-1+b2_loong64.deb 28-Jun-2026 22:53 249K libcvc5parser1_1.3.2-1+b2_ppc64el.deb 29-Jun-2026 02:28 260K libcvc5parser1_1.3.2-1+b2_riscv64.deb 09-Jul-2026 23:31 259K libcvc5parser1_1.3.2-1+b2_s390x.deb 29-Jun-2026 01:15 255K python3-cvc5_1.1.2-2+b3_amd64.deb 09-Jan-2025 13:11 331K python3-cvc5_1.1.2-2+b3_arm64.deb 09-Jan-2025 13:31 291K python3-cvc5_1.1.2-2+b3_armel.deb 09-Jan-2025 14:48 304K python3-cvc5_1.1.2-2+b3_armhf.deb 09-Jan-2025 14:32 309K python3-cvc5_1.1.2-2+b3_i386.deb 09-Jan-2025 13:05 318K python3-cvc5_1.1.2-2+b3_ppc64el.deb 09-Jan-2025 12:55 292K python3-cvc5_1.1.2-2+b3_riscv64.deb 12-Jan-2025 22:01 320K python3-cvc5_1.1.2-2+b3_s390x.deb 10-Jan-2025 01:43 322K python3-cvc5_1.3.2-1+b2_amd64.deb 29-Jun-2026 00:49 377K python3-cvc5_1.3.2-1+b2_arm64.deb 28-Jun-2026 22:43 317K python3-cvc5_1.3.2-1+b2_armhf.deb 28-Jun-2026 21:24 341K python3-cvc5_1.3.2-1+b2_i386.deb 29-Jun-2026 01:51 366K python3-cvc5_1.3.2-1+b2_loong64.deb 28-Jun-2026 22:53 340K python3-cvc5_1.3.2-1+b2_ppc64el.deb 29-Jun-2026 02:28 340K python3-cvc5_1.3.2-1+b2_riscv64.deb 09-Jul-2026 23:31 359K python3-cvc5_1.3.2-1+b2_s390x.deb 29-Jun-2026 01:15 350K
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.