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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc5_1.3.2.orig.tar.gz 92509702025-Dec-24 15:24
libcvc5-1_1.3.2-1build1_riscv64.deb 88169922026-Jan-25 00:43
cvc5_1.1.2.orig.tar.gz 85819682024-Mar-03 20:23
libcvc5-1_1.1.2-2build1_riscv64.deb 75021202025-Jan-05 23:06
libcvc5-1_1.3.2-1build1_armhf.deb 74610922026-Jan-24 02:17
libcvc5-1_1.1.2-1build1_riscv64.deb 72113942024-Apr-04 11:27
libcvc5-1_1.1.2-2build1_armhf.deb 64548182025-Jan-04 06:44
libcvc5-1_1.3.2-1build1_s390x.deb 64402142026-Jan-24 02:18
libcvc5-1_1.1.2-1build1_armhf.deb 62398462024-Apr-02 10:08
libcvc5-1_1.3.2-1build1_ppc64el.deb 61212002026-Jan-24 02:17
libcvc5-1_1.3.2-1build1_arm64.deb 57161882026-Jan-24 02:17
libcvc5-1_1.1.2-2build1_s390x.deb 56611802025-Jan-04 06:45
libcvc5-1_1.1.2-1build1_s390x.deb 54953202024-Apr-02 20:03
libcvc5-1_1.1.2-2build1_ppc64el.deb 52469182025-Jan-04 11:07
libcvc5-1_1.1.2-1build1_ppc64el.deb 51115682024-Apr-02 14:58
libcvc5-1_1.1.2-2build1_arm64.deb 48751882025-Jan-04 06:44
libcvc5-1_1.1.2-1build1_arm64.deb 46933102024-Apr-02 13:06
python3-cvc5_1.3.2-1build1_s390x.deb 4025582026-Jan-24 02:18
python3-cvc5_1.3.2-1build1_riscv64.deb 3987902026-Jan-25 00:43
python3-cvc5_1.1.2-2build1_s390x.deb 3961402025-Jan-04 06:45
python3-cvc5_1.1.2-1build1_s390x.deb 3910362024-Apr-02 20:03
python3-cvc5_1.3.2-1build1_armhf.deb 3841242026-Jan-24 02:17
python3-cvc5_1.3.2-1build1_ppc64el.deb 3782642026-Jan-24 02:17
python3-cvc5_1.1.2-2build1_riscv64.deb 3617542025-Jan-05 23:06
python3-cvc5_1.3.2-1build1_arm64.deb 3561702026-Jan-24 02:17
python3-cvc5_1.1.2-2build1_armhf.deb 3547982025-Jan-04 06:44
python3-cvc5_1.1.2-1build1_armhf.deb 3493322024-Apr-02 10:08
python3-cvc5_1.1.2-1build1_riscv64.deb 3492902024-Apr-04 11:27
python3-cvc5_1.1.2-2build1_arm64.deb 3394442025-Jan-04 06:44
python3-cvc5_1.1.2-1build1_arm64.deb 3363322024-Apr-02 13:06
python3-cvc5_1.1.2-1build1_ppc64el.deb 3318782024-Apr-02 14:58
python3-cvc5_1.1.2-2build1_ppc64el.deb 3309142025-Jan-04 11:07
libcvc5parser1_1.3.2-1build1_riscv64.deb 2808642026-Jan-25 00:43
libcvc5parser1_1.3.2-1build1_armhf.deb 2509762026-Jan-24 02:17
libcvc5parser1_1.1.2-2build1_riscv64.deb 2409022025-Jan-05 23:06
libcvc5parser1_1.3.2-1build1_ppc64el.deb 2390002026-Jan-24 02:17
libcvc5parser1_1.1.2-1build1_riscv64.deb 2375502024-Apr-04 11:27
libcvc5parser1_1.3.2-1build1_s390x.deb 2340702026-Jan-24 02:18
libcvc5parser1_1.1.2-2build1_armhf.deb 2192202025-Jan-04 06:44
libcvc5parser1_1.3.2-1build1_arm64.deb 2192182026-Jan-24 02:17
libcvc5parser1_1.1.2-1build1_ppc64el.deb 2183422024-Apr-02 14:58
libcvc5parser1_1.1.2-1build1_s390x.deb 2176162024-Apr-02 20:03
libcvc5parser1_1.1.2-1build1_armhf.deb 2170322024-Apr-02 10:08
libcvc5parser1_1.1.2-2build1_ppc64el.deb 2169602025-Jan-04 11:07
libcvc5parser1_1.1.2-2build1_s390x.deb 2158182025-Jan-04 06:45
libcvc5parser1_1.1.2-2build1_arm64.deb 1994262025-Jan-04 06:44
libcvc5parser1_1.1.2-1build1_arm64.deb 1982162024-Apr-02 13:06
cvc5_1.3.2-1build1_riscv64.deb 1352762026-Jan-25 00:43
cvc5_1.3.2-1build1_armhf.deb 1306922026-Jan-24 02:17
cvc5_1.3.2-1build1_s390x.deb 1250582026-Jan-24 02:18
cvc5_1.3.2-1build1_ppc64el.deb 1200922026-Jan-24 02:17
cvc5_1.3.2-1build1_arm64.deb 1146922026-Jan-24 02:17
libcvc5-dev_1.3.2-1build1_armhf.deb 1119802026-Jan-24 02:17
libcvc5-dev_1.3.2-1build1_ppc64el.deb 1119802026-Jan-24 02:17
libcvc5-dev_1.3.2-1build1_arm64.deb 1119742026-Jan-24 02:17
libcvc5-dev_1.3.2-1build1_s390x.deb 1119742026-Jan-24 02:18
libcvc5-dev_1.3.2-1build1_riscv64.deb 1119702026-Jan-25 00:43
cvc5_1.1.2-1build1_riscv64.deb 1053122024-Apr-04 11:27
cvc5_1.1.2-1build1_armhf.deb 1042142024-Apr-02 10:08
cvc5_1.1.2-2build1_riscv64.deb 1033302025-Jan-05 23:06
cvc5_1.1.2-2build1_armhf.deb 1017782025-Jan-04 06:44
cvc5_1.1.2-1build1_s390x.deb 959242024-Apr-02 20:03
cvc5_1.1.2-2build1_s390x.deb 944382025-Jan-04 06:45
cvc5_1.1.2-1build1_ppc64el.deb 933702024-Apr-02 14:58
cvc5_1.1.2-2build1_ppc64el.deb 931162025-Jan-04 11:07
cvc5_1.1.2-1build1_arm64.deb 879122024-Apr-02 13:06
cvc5_1.1.2-2build1_arm64.deb 869622025-Jan-04 06:44
libcvc5-dev_1.1.2-1build1_s390x.deb 842222024-Apr-02 20:03
libcvc5-dev_1.1.2-1build1_armhf.deb 842122024-Apr-02 10:08
libcvc5-dev_1.1.2-1build1_ppc64el.deb 842102024-Apr-02 14:58
libcvc5-dev_1.1.2-1build1_riscv64.deb 842042024-Apr-04 11:27
libcvc5-dev_1.1.2-1build1_arm64.deb 842022024-Apr-02 13:06
libcvc5-dev_1.1.2-2build1_s390x.deb 841862025-Jan-04 06:45
libcvc5-dev_1.1.2-2build1_ppc64el.deb 841842025-Jan-04 11:07
libcvc5-dev_1.1.2-2build1_armhf.deb 841782025-Jan-04 06:44
libcvc5-dev_1.1.2-2build1_arm64.deb 841722025-Jan-04 06:44
libcvc5-dev_1.1.2-2build1_riscv64.deb 841702025-Jan-05 23:06
cvc5_1.3.2-1build1.debian.tar.xz 85962026-Jan-24 02:13
cvc5_1.1.2-2build1.debian.tar.xz 74762025-Jan-04 06:43
cvc5_1.1.2-1build1.debian.tar.xz 65762024-Apr-01 03:36
cvc5_1.1.2-1build1.dsc 25892024-Apr-01 03:36
cvc5_1.1.2-2build1.dsc 24732025-Jan-04 06:43
cvc5_1.3.2-1build1.dsc 24712026-Jan-24 02:13