Index of /pool/universe/c/cvc5/
../
cvc5_1.0.3-1.debian.tar.xz 20-Dec-2022 20:29 5964
cvc5_1.0.3-1.dsc 20-Dec-2022 20:29 2305
cvc5_1.0.3-1_arm64.deb 20-Dec-2022 21:49 88K
cvc5_1.0.3-1_ppc64el.deb 20-Dec-2022 20:49 93K
cvc5_1.0.3-1_riscv64.deb 20-Dec-2022 23:48 101K
cvc5_1.0.3-1_s390x.deb 20-Dec-2022 20:49 90K
cvc5_1.0.3.orig.tar.gz 20-Dec-2022 20:29 8M
cvc5_1.0.5-3.debian.tar.xz 24-Jun-2023 20:45 7072
cvc5_1.0.5-3.dsc 24-Jun-2023 20:45 2495
cvc5_1.0.5-3_arm64.deb 25-Jun-2023 17:04 80K
cvc5_1.0.5-3_ppc64el.deb 25-Jun-2023 17:04 84K
cvc5_1.0.5-3_riscv64.deb 25-Jun-2023 17:04 93K
cvc5_1.0.5-3_s390x.deb 25-Jun-2023 17:04 84K
cvc5_1.0.5.orig.tar.gz 21-Jun-2023 08:39 8M
cvc5_1.1.2-1build1.debian.tar.xz 01-Apr-2024 03:36 6576
cvc5_1.1.2-1build1.dsc 01-Apr-2024 03:36 2589
cvc5_1.1.2-1build1_arm64.deb 02-Apr-2024 13:06 86K
cvc5_1.1.2-1build1_armhf.deb 02-Apr-2024 10:08 102K
cvc5_1.1.2-1build1_ppc64el.deb 02-Apr-2024 14:58 91K
cvc5_1.1.2-1build1_riscv64.deb 04-Apr-2024 11:27 103K
cvc5_1.1.2-1build1_s390x.deb 02-Apr-2024 20:03 94K
cvc5_1.1.2-2.debian.tar.xz 03-May-2024 10:55 7396
cvc5_1.1.2-2.dsc 03-May-2024 10:55 2470
cvc5_1.1.2-2_arm64.deb 03-May-2024 17:35 86K
cvc5_1.1.2-2_armhf.deb 09-May-2024 20:31 102K
cvc5_1.1.2-2_ppc64el.deb 03-May-2024 12:31 91K
cvc5_1.1.2-2_riscv64.deb 06-May-2024 20:59 103K
cvc5_1.1.2-2_s390x.deb 03-May-2024 13:30 92K
cvc5_1.1.2.orig.tar.gz 03-Mar-2024 20:23 8M
libcvc5-1_1.0.3-1_arm64.deb 20-Dec-2022 21:49 4M
libcvc5-1_1.0.3-1_ppc64el.deb 20-Dec-2022 20:49 5M
libcvc5-1_1.0.3-1_riscv64.deb 20-Dec-2022 23:48 6M
libcvc5-1_1.0.3-1_s390x.deb 20-Dec-2022 20:49 4M
libcvc5-1_1.0.5-3_arm64.deb 25-Jun-2023 17:04 4M
libcvc5-1_1.0.5-3_ppc64el.deb 25-Jun-2023 17:04 5M
libcvc5-1_1.0.5-3_riscv64.deb 25-Jun-2023 17:04 6M
libcvc5-1_1.0.5-3_s390x.deb 25-Jun-2023 17:04 4M
libcvc5-1_1.1.2-1build1_arm64.deb 02-Apr-2024 13:06 4M
libcvc5-1_1.1.2-1build1_armhf.deb 02-Apr-2024 10:08 6M
libcvc5-1_1.1.2-1build1_ppc64el.deb 02-Apr-2024 14:58 5M
libcvc5-1_1.1.2-1build1_riscv64.deb 04-Apr-2024 11:27 7M
libcvc5-1_1.1.2-1build1_s390x.deb 02-Apr-2024 20:03 5M
libcvc5-1_1.1.2-2_arm64.deb 03-May-2024 17:35 4M
libcvc5-1_1.1.2-2_armhf.deb 09-May-2024 20:31 6M
libcvc5-1_1.1.2-2_ppc64el.deb 03-May-2024 12:31 5M
libcvc5-1_1.1.2-2_riscv64.deb 06-May-2024 20:59 7M
libcvc5-1_1.1.2-2_s390x.deb 03-May-2024 13:30 5M
libcvc5-dev_1.0.3-1_arm64.deb 20-Dec-2022 21:49 52K
libcvc5-dev_1.0.3-1_ppc64el.deb 20-Dec-2022 20:49 52K
libcvc5-dev_1.0.3-1_riscv64.deb 20-Dec-2022 23:48 52K
libcvc5-dev_1.0.3-1_s390x.deb 20-Dec-2022 20:49 52K
libcvc5-dev_1.0.5-3_arm64.deb 25-Jun-2023 17:04 53K
libcvc5-dev_1.0.5-3_ppc64el.deb 25-Jun-2023 17:04 53K
libcvc5-dev_1.0.5-3_riscv64.deb 25-Jun-2023 17:04 53K
libcvc5-dev_1.0.5-3_s390x.deb 25-Jun-2023 17:04 53K
libcvc5-dev_1.1.2-1build1_arm64.deb 02-Apr-2024 13:06 82K
libcvc5-dev_1.1.2-1build1_armhf.deb 02-Apr-2024 10:08 82K
libcvc5-dev_1.1.2-1build1_ppc64el.deb 02-Apr-2024 14:58 82K
libcvc5-dev_1.1.2-1build1_riscv64.deb 04-Apr-2024 11:27 82K
libcvc5-dev_1.1.2-1build1_s390x.deb 02-Apr-2024 20:03 82K
libcvc5-dev_1.1.2-2_arm64.deb 03-May-2024 17:35 82K
libcvc5-dev_1.1.2-2_armhf.deb 09-May-2024 20:31 82K
libcvc5-dev_1.1.2-2_ppc64el.deb 03-May-2024 12:31 82K
libcvc5-dev_1.1.2-2_riscv64.deb 06-May-2024 20:59 82K
libcvc5-dev_1.1.2-2_s390x.deb 03-May-2024 13:30 82K
libcvc5parser1_1.0.3-1_arm64.deb 20-Dec-2022 21:49 278K
libcvc5parser1_1.0.3-1_ppc64el.deb 20-Dec-2022 20:49 304K
libcvc5parser1_1.0.3-1_riscv64.deb 20-Dec-2022 23:48 307K
libcvc5parser1_1.0.3-1_s390x.deb 20-Dec-2022 20:49 275K
libcvc5parser1_1.0.5-3_arm64.deb 25-Jun-2023 17:04 317K
libcvc5parser1_1.0.5-3_ppc64el.deb 25-Jun-2023 17:04 349K
libcvc5parser1_1.0.5-3_riscv64.deb 25-Jun-2023 17:04 368K
libcvc5parser1_1.0.5-3_s390x.deb 25-Jun-2023 17:04 315K
libcvc5parser1_1.1.2-1build1_arm64.deb 02-Apr-2024 13:06 194K
libcvc5parser1_1.1.2-1build1_armhf.deb 02-Apr-2024 10:08 212K
libcvc5parser1_1.1.2-1build1_ppc64el.deb 02-Apr-2024 14:58 213K
libcvc5parser1_1.1.2-1build1_riscv64.deb 04-Apr-2024 11:27 232K
libcvc5parser1_1.1.2-1build1_s390x.deb 02-Apr-2024 20:03 213K
libcvc5parser1_1.1.2-2_arm64.deb 03-May-2024 17:35 194K
libcvc5parser1_1.1.2-2_armhf.deb 09-May-2024 20:31 215K
libcvc5parser1_1.1.2-2_ppc64el.deb 03-May-2024 12:31 211K
libcvc5parser1_1.1.2-2_riscv64.deb 06-May-2024 20:59 232K
libcvc5parser1_1.1.2-2_s390x.deb 03-May-2024 13:30 210K
python3-cvc5_1.0.5-3_arm64.deb 25-Jun-2023 17:04 218K
python3-cvc5_1.0.5-3_ppc64el.deb 25-Jun-2023 17:04 227K
python3-cvc5_1.0.5-3_riscv64.deb 25-Jun-2023 17:04 227K
python3-cvc5_1.0.5-3_s390x.deb 25-Jun-2023 17:04 217K
python3-cvc5_1.1.2-1build1_arm64.deb 02-Apr-2024 13:06 328K
python3-cvc5_1.1.2-1build1_armhf.deb 02-Apr-2024 10:08 341K
python3-cvc5_1.1.2-1build1_ppc64el.deb 02-Apr-2024 14:58 324K
python3-cvc5_1.1.2-1build1_riscv64.deb 04-Apr-2024 11:27 341K
python3-cvc5_1.1.2-1build1_s390x.deb 02-Apr-2024 20:03 382K
python3-cvc5_1.1.2-2_arm64.deb 03-May-2024 17:35 328K
python3-cvc5_1.1.2-2_armhf.deb 09-May-2024 20:31 342K
python3-cvc5_1.1.2-2_ppc64el.deb 03-May-2024 12:31 324K
python3-cvc5_1.1.2-2_riscv64.deb 06-May-2024 20:59 341K
python3-cvc5_1.1.2-2_s390x.deb 03-May-2024 13:30 384K