注册用户享1倍加速下载立即注册

/mirrors_os/debian/pool/main/c/cvc5/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
cvc5_1.0.3-1.debian.tar.xz	5.8 KiB	2022-Dec-20 11:26
cvc5_1.0.3-1.dsc	2.3 KiB	2022-Dec-20 11:26
cvc5_1.0.3.orig.tar.gz	7.9 MiB	2022-Dec-20 11:26
cvc5_1.0.3-1_arm64.deb	95.2 KiB	2022-Dec-20 13:29
libcvc5-1_1.0.3-1_arm64.deb	4.7 MiB	2022-Dec-20 13:29
libcvc5-dev_1.0.3-1_arm64.deb	57.2 KiB	2022-Dec-20 13:29
libcvc5parser1_1.0.3-1_arm64.deb	266.7 KiB	2022-Dec-20 13:29
cvc5_1.0.3-1_ppc64el.deb	102.6 KiB	2022-Dec-20 13:45
libcvc5-1_1.0.3-1_ppc64el.deb	5.3 MiB	2022-Dec-20 13:45
libcvc5-dev_1.0.3-1_ppc64el.deb	57.2 KiB	2022-Dec-20 13:45
libcvc5parser1_1.0.3-1_ppc64el.deb	297.3 KiB	2022-Dec-20 13:45
cvc5_1.0.3-1_amd64.deb	105.4 KiB	2022-Dec-20 13:55
libcvc5-1_1.0.3-1_amd64.deb	5.6 MiB	2022-Dec-20 13:55
libcvc5-dev_1.0.3-1_amd64.deb	57.2 KiB	2022-Dec-20 13:55
libcvc5parser1_1.0.3-1_amd64.deb	299.7 KiB	2022-Dec-20 13:55
cvc5_1.0.3-1_s390x.deb	95.0 KiB	2022-Dec-20 20:13
libcvc5-1_1.0.3-1_s390x.deb	4.9 MiB	2022-Dec-20 20:13
libcvc5-dev_1.0.3-1_s390x.deb	57.2 KiB	2022-Dec-20 20:13
libcvc5parser1_1.0.3-1_s390x.deb	264.9 KiB	2022-Dec-20 20:13
cvc5_1.1.2.orig.tar.gz	8.2 MiB	2024-Mar-03 10:53
cvc5_1.1.2-2.debian.tar.xz	7.2 KiB	2024-Mar-20 06:22
cvc5_1.1.2-2.dsc	2.4 KiB	2024-Mar-20 06:22
cvc5_1.1.2-2_i386.deb	110.9 KiB	2024-Mar-20 07:08
libcvc5-1_1.1.2-2_i386.deb	6.7 MiB	2024-Mar-20 07:08
libcvc5-dev_1.1.2-2_i386.deb	90.8 KiB	2024-Mar-20 07:08
libcvc5parser1_1.1.2-2_i386.deb	247.7 KiB	2024-Mar-20 07:08
python3-cvc5_1.1.2-2_i386.deb	307.6 KiB	2024-Mar-20 07:08
cvc5_1.1.2-2_ppc64el.deb	102.3 KiB	2024-Mar-20 07:08
libcvc5-1_1.1.2-2_ppc64el.deb	5.8 MiB	2024-Mar-20 07:08
libcvc5-dev_1.1.2-2_ppc64el.deb	90.8 KiB	2024-Mar-20 07:08
libcvc5parser1_1.1.2-2_ppc64el.deb	225.1 KiB	2024-Mar-20 07:08
python3-cvc5_1.1.2-2_ppc64el.deb	296.2 KiB	2024-Mar-20 07:08
cvc5_1.1.2-2_armel.deb	97.5 KiB	2024-Mar-20 07:13
libcvc5-1_1.1.2-2_armel.deb	5.3 MiB	2024-Mar-20 07:13
libcvc5-dev_1.1.2-2_armel.deb	90.8 KiB	2024-Mar-20 07:13
libcvc5parser1_1.1.2-2_armel.deb	192.7 KiB	2024-Mar-20 07:13
python3-cvc5_1.1.2-2_armel.deb	295.0 KiB	2024-Mar-20 07:13
cvc5_1.1.2-2_armhf.deb	100.3 KiB	2024-Mar-20 07:28
libcvc5-1_1.1.2-2_armhf.deb	5.2 MiB	2024-Mar-20 07:29
libcvc5-dev_1.1.2-2_armhf.deb	90.8 KiB	2024-Mar-20 07:29
libcvc5parser1_1.1.2-2_armhf.deb	199.7 KiB	2024-Mar-20 07:29
python3-cvc5_1.1.2-2_armhf.deb	299.7 KiB	2024-Mar-20 07:29
cvc5_1.1.2-2_amd64.deb	108.2 KiB	2024-Mar-20 09:42
libcvc5-1_1.1.2-2_amd64.deb	6.1 MiB	2024-Mar-20 09:42
libcvc5-dev_1.1.2-2_amd64.deb	90.8 KiB	2024-Mar-20 09:42
libcvc5parser1_1.1.2-2_amd64.deb	228.6 KiB	2024-Mar-20 09:42
python3-cvc5_1.1.2-2_amd64.deb	320.9 KiB	2024-Mar-20 09:42
cvc5_1.1.2-2_arm64.deb	96.3 KiB	2024-Mar-20 10:29
libcvc5-1_1.1.2-2_arm64.deb	5.2 MiB	2024-Mar-20 10:29
libcvc5-dev_1.1.2-2_arm64.deb	90.8 KiB	2024-Mar-20 10:29
libcvc5parser1_1.1.2-2_arm64.deb	201.1 KiB	2024-Mar-20 10:29
python3-cvc5_1.1.2-2_arm64.deb	291.0 KiB	2024-Mar-20 10:29
cvc5_1.1.2-2_s390x.deb	105.7 KiB	2024-Mar-21 16:50
libcvc5-1_1.1.2-2_s390x.deb	6.2 MiB	2024-Mar-21 16:50
libcvc5-dev_1.1.2-2_s390x.deb	90.8 KiB	2024-Mar-21 16:50
libcvc5parser1_1.1.2-2_s390x.deb	222.2 KiB	2024-Mar-21 16:50
python3-cvc5_1.1.2-2_s390x.deb	318.2 KiB	2024-Mar-21 16:50
cvc5_1.1.2-2_riscv64.deb	100.4 KiB	2024-Mar-21 19:14
libcvc5-1_1.1.2-2_riscv64.deb	6.1 MiB	2024-Mar-21 19:14
libcvc5-dev_1.1.2-2_riscv64.deb	90.8 KiB	2024-Mar-21 19:14
libcvc5parser1_1.1.2-2_riscv64.deb	219.2 KiB	2024-Mar-21 19:14
python3-cvc5_1.1.2-2_riscv64.deb	314.4 KiB	2024-Mar-21 19:14
cvc5_1.1.2-2_mips64el.deb	90.4 KiB	2024-Apr-01 09:57
libcvc5-1_1.1.2-2_mips64el.deb	4.9 MiB	2024-Apr-01 09:57
libcvc5-dev_1.1.2-2_mips64el.deb	90.8 KiB	2024-Apr-01 09:57
libcvc5parser1_1.1.2-2_mips64el.deb	191.5 KiB	2024-Apr-01 09:57
python3-cvc5_1.1.2-2_mips64el.deb	244.4 KiB	2024-Apr-01 09:57