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 /mirrors/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
libcvc5-dev_1.1.2-2+b1_armel.deb	91.0 KiB	2024-06-26 09:01:49
libcvc5-dev_1.1.2-2+b1_i386.deb	91.0 KiB	2024-06-26 09:01:45
libcvc5-dev_1.1.2-2+b1_s390x.deb	91.0 KiB	2024-06-26 22:47:45
libcvc5-dev_1.1.2-2+b1_amd64.deb	91.0 KiB	2024-06-26 09:01:56
libcvc5-dev_1.1.2-2+b1_arm64.deb	91.0 KiB	2024-06-26 09:37:48
libcvc5-dev_1.1.2-2+b1_ppc64el.deb	91.0 KiB	2024-06-26 09:02:01
libcvc5-dev_1.1.2-2+b1_armhf.deb	91.1 KiB	2024-06-26 09:07:09
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+b1_arm64.deb	96.6 KiB	2024-06-26 09:37:48
cvc5_1.1.2-2_armel.deb	97.5 KiB	2024-03-19 23:13:38
cvc5_1.1.2-2+b1_armel.deb	98.1 KiB	2024-06-26 09:01:49
cvc5_1.1.2-2+b1_armhf.deb	100.1 KiB	2024-06-26 09:07:09
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+b1_ppc64el.deb	102.3 KiB	2024-06-26 09:02:00
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+b1_s390x.deb	106.4 KiB	2024-06-26 22:47:44
cvc5_1.1.2-2_amd64.deb	108.2 KiB	2024-03-20 01:42:52
cvc5_1.1.2-2+b1_amd64.deb	108.4 KiB	2024-06-26 09:01:55
cvc5_1.1.2-2_i386.deb	110.9 KiB	2024-03-19 23:08:31
cvc5_1.1.2-2+b1_i386.deb	111.0 KiB	2024-06-26 09:01:44
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+b1_armel.deb	193.7 KiB	2024-06-26 09:01:49
libcvc5parser1_1.1.2-2_armhf.deb	199.7 KiB	2024-03-19 23:29:00
libcvc5parser1_1.1.2-2+b1_armhf.deb	200.1 KiB	2024-06-26 09:07:09
libcvc5parser1_1.1.2-2_arm64.deb	201.1 KiB	2024-03-20 02:29:25
libcvc5parser1_1.1.2-2+b1_arm64.deb	201.4 KiB	2024-06-26 09:37:48
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+b1_s390x.deb	222.6 KiB	2024-06-26 22:47:45
libcvc5parser1_1.1.2-2_ppc64el.deb	225.1 KiB	2024-03-19 23:08:35
libcvc5parser1_1.1.2-2+b1_ppc64el.deb	225.4 KiB	2024-06-26 09:02:01
libcvc5parser1_1.1.2-2_amd64.deb	228.6 KiB	2024-03-20 01:42:53
libcvc5parser1_1.1.2-2+b1_amd64.deb	229.6 KiB	2024-06-26 09:01:56
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.1.2-2+b1_i386.deb	248.4 KiB	2024-06-26 09:01:45
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+b1_arm64.deb	289.3 KiB	2024-06-26 09:37:48
python3-cvc5_1.1.2-2_arm64.deb	291.0 KiB	2024-03-20 02:29:25
python3-cvc5_1.1.2-2+b1_ppc64el.deb	293.4 KiB	2024-06-26 09:02:01
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+b1_armel.deb	299.1 KiB	2024-06-26 09:01:49
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+b1_armhf.deb	304.2 KiB	2024-06-26 09:07:09
python3-cvc5_1.1.2-2_i386.deb	307.6 KiB	2024-03-19 23:08:31
python3-cvc5_1.1.2-2+b1_i386.deb	310.3 KiB	2024-06-26 09:01:45
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+b1_s390x.deb	320.5 KiB	2024-06-26 22:47:45
python3-cvc5_1.1.2-2_amd64.deb	320.9 KiB	2024-03-20 01:42:53
python3-cvc5_1.1.2-2+b1_amd64.deb	327.7 KiB	2024-06-26 09:01:56
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+b1_arm64.deb	5.2 MiB	2024-06-26 09:37:48
libcvc5-1_1.1.2-2+b1_armhf.deb	5.2 MiB	2024-06-26 09:07:09
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.1.2-2+b1_armel.deb	5.3 MiB	2024-06-26 09:01:49
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+b1_ppc64el.deb	5.8 MiB	2024-06-26 09:02:01
libcvc5-1_1.1.2-2_ppc64el.deb	5.8 MiB	2024-03-19 23:08:35
libcvc5-1_1.1.2-2+b1_amd64.deb	6.1 MiB	2024-06-26 09:01:56
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+b1_s390x.deb	6.2 MiB	2024-06-26 22:47:45
libcvc5-1_1.1.2-2_s390x.deb	6.2 MiB	2024-03-21 08:50:54
libcvc5-1_1.1.2-2+b1_i386.deb	6.7 MiB	2024-06-26 09:01:45
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