Parent directory/ | - | - |
cvc5_1.0.3-1.dsc | 2305 | 20-Dec-2022 07:26 |
cvc5_1.1.2-2.dsc | 2470 | 20-Mar-2024 02:22 |
cvc5_1.0.3-1.debian.tar.xz | 5964 | 20-Dec-2022 07:26 |
cvc5_1.1.2-2.debian.tar.xz | 7396 | 20-Mar-2024 02:22 |
libcvc5-dev_1.0.3-1_arm64.deb | 57K | 20-Dec-2022 09:29 |
libcvc5-dev_1.0.3-1_s390x.deb | 57K | 20-Dec-2022 16:13 |
libcvc5-dev_1.0.3-1_amd64.deb | 57K | 20-Dec-2022 09:55 |
libcvc5-dev_1.0.3-1_ppc64el.deb | 57K | 20-Dec-2022 09:45 |
cvc5_1.1.2-2_mips64el.deb | 90K | 01-Apr-2024 05:57 |
libcvc5-dev_1.1.2-2_i386.deb | 91K | 20-Mar-2024 03:08 |
libcvc5-dev_1.1.2-2_armel.deb | 91K | 20-Mar-2024 03:13 |
libcvc5-dev_1.1.2-2_amd64.deb | 91K | 20-Mar-2024 05:42 |
libcvc5-dev_1.1.2-2_ppc64el.deb | 91K | 20-Mar-2024 03:08 |
libcvc5-dev_1.1.2-2_riscv64.deb | 91K | 21-Mar-2024 15:14 |
libcvc5-dev_1.1.2-2_s390x.deb | 91K | 21-Mar-2024 12:50 |
libcvc5-dev_1.1.2-2_mips64el.deb | 91K | 01-Apr-2024 05:57 |
libcvc5-dev_1.1.2-2_arm64.deb | 91K | 20-Mar-2024 06:29 |
libcvc5-dev_1.1.2-2_armhf.deb | 91K | 20-Mar-2024 03:29 |
cvc5_1.0.3-1_s390x.deb | 95K | 20-Dec-2022 16:13 |
cvc5_1.0.3-1_arm64.deb | 95K | 20-Dec-2022 09:29 |
cvc5_1.1.2-2_arm64.deb | 96K | 20-Mar-2024 06:29 |
cvc5_1.1.2-2_armel.deb | 98K | 20-Mar-2024 03:13 |
cvc5_1.1.2-2_armhf.deb | 100K | 20-Mar-2024 03:28 |
cvc5_1.1.2-2_riscv64.deb | 100K | 21-Mar-2024 15:14 |
cvc5_1.1.2-2_ppc64el.deb | 102K | 20-Mar-2024 03:08 |
cvc5_1.0.3-1_ppc64el.deb | 103K | 20-Dec-2022 09:45 |
cvc5_1.0.3-1_amd64.deb | 105K | 20-Dec-2022 09:55 |
cvc5_1.1.2-2_s390x.deb | 106K | 21-Mar-2024 12:50 |
cvc5_1.1.2-2_amd64.deb | 108K | 20-Mar-2024 05:42 |
cvc5_1.1.2-2_i386.deb | 111K | 20-Mar-2024 03:08 |
libcvc5parser1_1.1.2-2_mips64el.deb | 191K | 01-Apr-2024 05:57 |
libcvc5parser1_1.1.2-2_armel.deb | 193K | 20-Mar-2024 03:13 |
libcvc5parser1_1.1.2-2_armhf.deb | 200K | 20-Mar-2024 03:29 |
libcvc5parser1_1.1.2-2_arm64.deb | 201K | 20-Mar-2024 06:29 |
libcvc5parser1_1.1.2-2_riscv64.deb | 219K | 21-Mar-2024 15:14 |
libcvc5parser1_1.1.2-2_s390x.deb | 222K | 21-Mar-2024 12:50 |
libcvc5parser1_1.1.2-2_ppc64el.deb | 225K | 20-Mar-2024 03:08 |
libcvc5parser1_1.1.2-2_amd64.deb | 229K | 20-Mar-2024 05:42 |
python3-cvc5_1.1.2-2_mips64el.deb | 244K | 01-Apr-2024 05:57 |
libcvc5parser1_1.1.2-2_i386.deb | 248K | 20-Mar-2024 03:08 |
libcvc5parser1_1.0.3-1_s390x.deb | 265K | 20-Dec-2022 16:13 |
libcvc5parser1_1.0.3-1_arm64.deb | 267K | 20-Dec-2022 09:29 |
python3-cvc5_1.1.2-2_arm64.deb | 291K | 20-Mar-2024 06:29 |
python3-cvc5_1.1.2-2_armel.deb | 295K | 20-Mar-2024 03:13 |
python3-cvc5_1.1.2-2_ppc64el.deb | 296K | 20-Mar-2024 03:08 |
libcvc5parser1_1.0.3-1_ppc64el.deb | 297K | 20-Dec-2022 09:45 |
python3-cvc5_1.1.2-2_armhf.deb | 300K | 20-Mar-2024 03:29 |
libcvc5parser1_1.0.3-1_amd64.deb | 300K | 20-Dec-2022 09:55 |
python3-cvc5_1.1.2-2_i386.deb | 308K | 20-Mar-2024 03:08 |
python3-cvc5_1.1.2-2_riscv64.deb | 314K | 21-Mar-2024 15:14 |
python3-cvc5_1.1.2-2_s390x.deb | 318K | 21-Mar-2024 12:50 |
python3-cvc5_1.1.2-2_amd64.deb | 321K | 20-Mar-2024 05:42 |
libcvc5-1_1.0.3-1_arm64.deb | 5M | 20-Dec-2022 09:29 |
libcvc5-1_1.0.3-1_s390x.deb | 5M | 20-Dec-2022 16:13 |
libcvc5-1_1.1.2-2_mips64el.deb | 5M | 01-Apr-2024 05:57 |
libcvc5-1_1.1.2-2_arm64.deb | 5M | 20-Mar-2024 06:29 |
libcvc5-1_1.1.2-2_armhf.deb | 5M | 20-Mar-2024 03:29 |
libcvc5-1_1.1.2-2_armel.deb | 5M | 20-Mar-2024 03:13 |
libcvc5-1_1.0.3-1_ppc64el.deb | 5M | 20-Dec-2022 09:45 |
libcvc5-1_1.0.3-1_amd64.deb | 6M | 20-Dec-2022 09:55 |
libcvc5-1_1.1.2-2_ppc64el.deb | 6M | 20-Mar-2024 03:08 |
libcvc5-1_1.1.2-2_amd64.deb | 6M | 20-Mar-2024 05:42 |
libcvc5-1_1.1.2-2_riscv64.deb | 6M | 21-Mar-2024 15:14 |
libcvc5-1_1.1.2-2_s390x.deb | 6M | 21-Mar-2024 12:50 |
libcvc5-1_1.1.2-2_i386.deb | 7M | 20-Mar-2024 03:08 |
cvc5_1.0.3.orig.tar.gz | 8M | 20-Dec-2022 07:26 |
cvc5_1.1.2.orig.tar.gz | 8M | 03-Mar-2024 06:53 |