Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

Index of /debian/pool/main/c/cvc5/

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