Parent Directory/ | | - | Directory |
cvc4_1.5-1.debian.tar.xz | 2017-Nov-01 21:57:17 | 5.8K | application/x-xz |
cvc4_1.5-1.dsc | 2017-Nov-01 21:57:10 | 2.1K | application/octet-stream |
cvc4_1.5.orig.tar.gz | 2017-Nov-01 21:57:10 | 7.5M | application/gzip |
cvc4_1.6-2build2.debian.tar.xz | 2020-Feb-04 06:24:25 | 8.2K | application/x-xz |
cvc4_1.6-2build2.dsc | 2020-Feb-04 06:24:25 | 2.7K | application/octet-stream |
cvc4_1.6.orig.tar.gz | 2018-Aug-12 13:13:23 | 7.4M | application/gzip |
cvc4_1.8-2.debian.tar.xz | 2020-Sep-30 23:43:40 | 16.0K | application/x-xz |
cvc4_1.8-2.dsc | 2020-Sep-30 23:43:39 | 2.2K | application/octet-stream |
cvc4_1.8-2_arm64.deb | 2020-Oct-01 00:43:33 | 66.2K | application/vnd.debian.binary-package |
cvc4_1.8-2_armhf.deb | 2020-Oct-01 01:43:45 | 65.8K | application/vnd.debian.binary-package |
cvc4_1.8-2_ppc64el.deb | 2020-Sep-30 23:58:37 | 69.8K | application/vnd.debian.binary-package |
cvc4_1.8-2_riscv64.deb | 2020-Oct-01 03:03:33 | 67.4K | application/vnd.debian.binary-package |
cvc4_1.8-2_s390x.deb | 2020-Sep-30 23:58:39 | 66.8K | application/vnd.debian.binary-package |
cvc4_1.8-3build2.debian.tar.xz | 2024-Apr-01 02:36:43 | 16.4K | application/x-xz |
cvc4_1.8-3build2.dsc | 2024-Apr-01 02:36:43 | 2.3K | application/octet-stream |
cvc4_1.8-3build2_arm64.deb | 2024-Apr-02 09:07:28 | 69.9K | application/vnd.debian.binary-package |
cvc4_1.8-3build2_armhf.deb | 2024-Apr-02 10:14:31 | 72.0K | application/vnd.debian.binary-package |
cvc4_1.8-3build2_ppc64el.deb | 2024-Apr-02 13:58:59 | 74.8K | application/vnd.debian.binary-package |
cvc4_1.8-3build2_riscv64.deb | 2024-Apr-04 09:07:36 | 75.2K | application/vnd.debian.binary-package |
cvc4_1.8-3build2_s390x.deb | 2024-Apr-02 19:03:08 | 74.5K | application/vnd.debian.binary-package |
cvc4_1.8.orig.tar.gz | 2020-Sep-30 23:43:39 | 7.2M | application/gzip |
libcvc4-7_1.8-2_arm64.deb | 2020-Oct-01 00:43:33 | 4.5M | application/vnd.debian.binary-package |
libcvc4-7_1.8-2_armhf.deb | 2020-Oct-01 01:43:45 | 4.8M | application/vnd.debian.binary-package |
libcvc4-7_1.8-2_ppc64el.deb | 2020-Sep-30 23:58:38 | 5.0M | application/vnd.debian.binary-package |
libcvc4-7_1.8-2_riscv64.deb | 2020-Oct-01 03:03:33 | 5.2M | application/vnd.debian.binary-package |
libcvc4-7_1.8-2_s390x.deb | 2020-Sep-30 23:58:38 | 5.1M | application/vnd.debian.binary-package |
libcvc4-7_1.8-3build2_arm64.deb | 2024-Apr-02 09:07:28 | 4.1M | application/vnd.debian.binary-package |
libcvc4-7_1.8-3build2_armhf.deb | 2024-Apr-02 10:14:31 | 5.8M | application/vnd.debian.binary-package |
libcvc4-7_1.8-3build2_ppc64el.deb | 2024-Apr-02 13:58:59 | 4.5M | application/vnd.debian.binary-package |
libcvc4-7_1.8-3build2_riscv64.deb | 2024-Apr-04 09:07:36 | 6.4M | application/vnd.debian.binary-package |
libcvc4-7_1.8-3build2_s390x.deb | 2024-Apr-02 19:03:08 | 4.7M | application/vnd.debian.binary-package |
libcvc4-dev_1.8-2_arm64.deb | 2020-Oct-01 00:43:33 | 120.3K | application/vnd.debian.binary-package |
libcvc4-dev_1.8-2_armhf.deb | 2020-Oct-01 01:43:45 | 120.3K | application/vnd.debian.binary-package |
libcvc4-dev_1.8-2_ppc64el.deb | 2020-Sep-30 23:58:37 | 120.3K | application/vnd.debian.binary-package |
libcvc4-dev_1.8-2_riscv64.deb | 2020-Oct-01 03:03:33 | 120.3K | application/vnd.debian.binary-package |
libcvc4-dev_1.8-2_s390x.deb | 2020-Sep-30 23:58:38 | 120.3K | application/vnd.debian.binary-package |
libcvc4-dev_1.8-3build2_arm64.deb | 2024-Apr-02 09:07:28 | 122.3K | application/vnd.debian.binary-package |
libcvc4-dev_1.8-3build2_armhf.deb | 2024-Apr-02 10:14:30 | 122.3K | application/vnd.debian.binary-package |
libcvc4-dev_1.8-3build2_ppc64el.deb | 2024-Apr-02 13:58:58 | 122.3K | application/vnd.debian.binary-package |
libcvc4-dev_1.8-3build2_riscv64.deb | 2024-Apr-04 09:07:35 | 122.3K | application/vnd.debian.binary-package |
libcvc4-dev_1.8-3build2_s390x.deb | 2024-Apr-02 19:03:08 | 122.3K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-2_arm64.deb | 2020-Oct-01 00:43:33 | 311.1K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-2_armhf.deb | 2020-Oct-01 01:43:45 | 311.5K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-2_ppc64el.deb | 2020-Sep-30 23:58:38 | 338.0K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-2_riscv64.deb | 2020-Oct-01 03:03:33 | 331.7K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-2_s390x.deb | 2020-Sep-30 23:58:39 | 324.0K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-3build2_arm64.deb | 2024-Apr-02 09:07:28 | 345.2K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-3build2_armhf.deb | 2024-Apr-02 10:14:30 | 356.9K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-3build2_ppc64el.deb | 2024-Apr-02 13:58:58 | 374.4K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-3build2_riscv64.deb | 2024-Apr-04 09:07:35 | 377.7K | application/vnd.debian.binary-package |
libcvc4parser7_1.8-3build2_s390x.deb | 2024-Apr-02 19:03:08 | 407.5K | application/vnd.debian.binary-package |