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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.5.orig.tar.gz 79261162017-Nov-01 22:57
cvc4_1.5-1.dsc 22212017-Nov-01 22:57
cvc4_1.5-1.debian.tar.xz 60122017-Nov-01 22:57
cvc4_1.6.orig.tar.gz 78158932018-Aug-12 14:13
cvc4_1.6-2build2.debian.tar.xz 83922020-Feb-04 07:24
cvc4_1.6-2build2.dsc 27552020-Feb-04 07:24
cvc4_1.8-2.dsc 22752020-Oct-01 00:43
cvc4_1.8.orig.tar.gz 75471872020-Oct-01 00:43
cvc4_1.8-2.debian.tar.xz 164562020-Oct-01 00:43
libcvc4-dev_1.8-2_ppc64el.deb 1232202020-Oct-01 00:58
cvc4_1.8-2_ppc64el.deb 715002020-Oct-01 00:58
libcvc4parser7_1.8-2_ppc64el.deb 3461562020-Oct-01 00:58
libcvc4-7_1.8-2_ppc64el.deb 52967122020-Oct-01 00:58
libcvc4-dev_1.8-2_s390x.deb 1232122020-Oct-01 00:58
libcvc4-7_1.8-2_s390x.deb 54101002020-Oct-01 00:58
libcvc4parser7_1.8-2_s390x.deb 3318042020-Oct-01 00:58
cvc4_1.8-2_s390x.deb 684442020-Oct-01 00:58
libcvc4-dev_1.8-2_arm64.deb 1232082020-Oct-01 01:43
libcvc4-7_1.8-2_arm64.deb 47962682020-Oct-01 01:43
cvc4_1.8-2_arm64.deb 678162020-Oct-01 01:43
libcvc4parser7_1.8-2_arm64.deb 3186242020-Oct-01 01:43
libcvc4-7_1.8-2_armhf.deb 50294442020-Oct-01 02:43
cvc4_1.8-2_armhf.deb 673762020-Oct-01 02:43
libcvc4-dev_1.8-2_armhf.deb 1232082020-Oct-01 02:43
libcvc4parser7_1.8-2_armhf.deb 3189882020-Oct-01 02:43
libcvc4-7_1.8-2_riscv64.deb 54770722020-Oct-01 04:03
libcvc4parser7_1.8-2_riscv64.deb 3397202020-Oct-01 04:03
libcvc4-dev_1.8-2_riscv64.deb 1232122020-Oct-01 04:03
cvc4_1.8-2_riscv64.deb 690722020-Oct-01 04:03
cvc4_1.8-3build2.dsc 23632024-Apr-01 03:36
cvc4_1.8-3build2.debian.tar.xz 168762024-Apr-01 03:36
libcvc4parser7_1.8-3build2_arm64.deb 3535742024-Apr-02 10:07
libcvc4-7_1.8-3build2_arm64.deb 43427882024-Apr-02 10:07
cvc4_1.8-3build2_arm64.deb 716022024-Apr-02 10:07
libcvc4-dev_1.8-3build2_arm64.deb 1252462024-Apr-02 10:07
libcvc4parser7_1.8-3build2_armhf.deb 3655082024-Apr-02 11:14
libcvc4-dev_1.8-3build2_armhf.deb 1252542024-Apr-02 11:14
libcvc4-7_1.8-3build2_armhf.deb 61518142024-Apr-02 11:14
cvc4_1.8-3build2_armhf.deb 738202024-Apr-02 11:14
libcvc4parser7_1.8-3build2_ppc64el.deb 3834022024-Apr-02 14:58
libcvc4-dev_1.8-3build2_ppc64el.deb 1252602024-Apr-02 14:58
libcvc4-7_1.8-3build2_ppc64el.deb 47459362024-Apr-02 14:58
cvc4_1.8-3build2_ppc64el.deb 765922024-Apr-02 14:58
cvc4_1.8-3build2_s390x.deb 763062024-Apr-02 20:03
libcvc4-dev_1.8-3build2_s390x.deb 1252542024-Apr-02 20:03
libcvc4-7_1.8-3build2_s390x.deb 50036102024-Apr-02 20:03
libcvc4parser7_1.8-3build2_s390x.deb 4173022024-Apr-02 20:03
libcvc4parser7_1.8-3build2_riscv64.deb 3867662024-Apr-04 10:07
libcvc4-dev_1.8-3build2_riscv64.deb 1252542024-Apr-04 10:07
libcvc4-7_1.8-3build2_riscv64.deb 67392222024-Apr-04 10:07
cvc4_1.8-3build2_riscv64.deb 770642024-Apr-04 10:07
cvc4_1.8-5.dsc 18612025-Oct-28 09:01
cvc4_1.8-5.debian.tar.xz 176082025-Oct-28 09:01
libcvc4-dev_1.8-5_arm64.deb 1252302025-Oct-28 15:36
cvc4_1.8-5_arm64.deb 666322025-Oct-28 15:36
libcvc4-7_1.8-5_arm64.deb 44940682025-Oct-28 15:36
libcvc4parser7_1.8-5_arm64.deb 3671722025-Oct-28 15:36
libcvc4-7_1.8-5_armhf.deb 63195222025-Oct-28 15:47
libcvc4-dev_1.8-5_armhf.deb 1252382025-Oct-28 15:47
libcvc4parser7_1.8-5_armhf.deb 3863182025-Oct-28 15:47
cvc4_1.8-5_armhf.deb 719442025-Oct-28 15:47
libcvc4parser7_1.8-5_ppc64el.deb 3978562025-Oct-28 16:01
libcvc4-dev_1.8-5_ppc64el.deb 1252402025-Oct-28 16:01
libcvc4-7_1.8-5_ppc64el.deb 48627542025-Oct-28 16:01
cvc4_1.8-5_ppc64el.deb 699542025-Oct-28 16:01
libcvc4parser7_1.8-5_s390x.deb 4316182025-Oct-28 16:07
libcvc4-dev_1.8-5_s390x.deb 1251822025-Oct-28 16:07
cvc4_1.8-5_s390x.deb 700962025-Oct-28 16:07
libcvc4-7_1.8-5_s390x.deb 50487622025-Oct-28 16:07
cvc4_1.8-5_riscv64.deb 761042025-Oct-29 08:13
libcvc4-7_1.8-5_riscv64.deb 72722302025-Oct-29 08:13
libcvc4parser7_1.8-5_riscv64.deb 4152362025-Oct-29 08:13
libcvc4-dev_1.8-5_riscv64.deb 1252382025-Oct-29 08:13