Index of /debian/pool/main/c/cvc5
Name
Last modified
Size
Description
Parent Directory
-
cvc5_1.0.2-1.debian.tar.xz
2022-12-01 20:25
6.2K
cvc5_1.0.2-1.dsc
2022-12-01 20:25
2.3K
cvc5_1.0.2-1_amd64.deb
2022-12-01 20:25
105K
cvc5_1.0.2-1_arm64.deb
2022-12-10 15:41
94K
cvc5_1.0.2-1_ppc64el.deb
2022-12-10 14:59
102K
cvc5_1.0.2-1_s390x.deb
2022-12-10 22:53
95K
cvc5_1.0.2-2.debian.tar.xz
2022-12-17 17:07
6.2K
cvc5_1.0.2-2.dsc
2022-12-17 17:07
2.3K
cvc5_1.0.2-2_arm64.deb
2022-12-19 22:10
94K
cvc5_1.0.2-2_s390x.deb
2022-12-19 21:30
94K
cvc5_1.0.2.orig.tar.gz
2022-12-01 20:25
7.9M
cvc5_1.0.3-1.debian.tar.xz
2022-12-19 22:26
5.8K
cvc5_1.0.3-1.dsc
2022-12-19 22:26
2.3K
cvc5_1.0.3-1_amd64.deb
2022-12-20 00:55
105K
cvc5_1.0.3-1_arm64.deb
2022-12-20 00:29
95K
cvc5_1.0.3-1_ppc64el.deb
2022-12-20 00:45
103K
cvc5_1.0.3-1_s390x.deb
2022-12-20 07:13
95K
cvc5_1.0.3.orig.tar.gz
2022-12-19 22:26
7.9M
cvc5_1.0.5-1.debian.tar.xz
2023-06-20 13:12
5.8K
cvc5_1.0.5-1.dsc
2023-06-20 13:12
2.3K
cvc5_1.0.5-1_amd64.deb
2023-06-20 13:58
98K
cvc5_1.0.5-1_arm64.deb
2023-06-20 17:42
86K
cvc5_1.0.5-1_ppc64el.deb
2023-06-20 14:29
93K
cvc5_1.0.5-1_s390x.deb
2023-06-20 13:58
89K
cvc5_1.0.5-2.debian.tar.xz
2023-06-22 19:55
6.9K
cvc5_1.0.5-2.dsc
2023-06-22 19:55
2.4K
cvc5_1.0.5-2_amd64.deb
2023-06-22 19:55
98K
cvc5_1.0.5-2_arm64.deb
2023-06-23 15:42
86K
cvc5_1.0.5-2_ppc64el.deb
2023-06-23 15:27
93K
cvc5_1.0.5-2_s390x.deb
2023-06-23 15:27
90K
cvc5_1.0.5-3+b1_amd64.deb
2024-01-05 16:57
101K
cvc5_1.0.5-3+b1_arm64.deb
2024-01-05 18:12
89K
cvc5_1.0.5-3+b1_ppc64el.deb
2024-01-05 15:52
95K
cvc5_1.0.5-3+b1_riscv64.deb
2023-12-31 09:03
93K
cvc5_1.0.5-3+b1_s390x.deb
2024-01-06 02:24
98K
cvc5_1.0.5-3.debian.tar.xz
2023-06-23 16:03
6.9K
cvc5_1.0.5-3.dsc
2023-06-23 16:03
2.4K
cvc5_1.0.5-3_amd64.deb
2023-06-23 17:29
98K
cvc5_1.0.5-3_arm64.deb
2023-06-23 18:12
86K
cvc5_1.0.5-3_ppc64el.deb
2023-06-23 17:29
93K
cvc5_1.0.5-3_riscv64.deb
2023-09-07 02:09
92K
cvc5_1.0.5-3_s390x.deb
2023-06-23 17:29
90K
cvc5_1.0.5.orig.tar.gz
2023-06-20 13:12
8.0M
cvc5_1.0.8-1.debian.tar.xz
2024-01-20 21:49
6.2K
cvc5_1.0.8-1.dsc
2024-01-20 21:49
2.4K
cvc5_1.0.8-1_amd64.deb
2024-01-20 22:59
104K
cvc5_1.0.8-1_arm64.deb
2024-01-20 22:59
92K
cvc5_1.0.8-1_ppc64el.deb
2024-01-20 22:59
98K
cvc5_1.0.8-1_riscv64.deb
2024-01-21 09:51
96K
cvc5_1.0.8-1_s390x.deb
2024-01-20 23:05
101K
cvc5_1.0.8.orig.tar.gz
2024-01-20 21:49
8.0M
cvc5_1.1.1-1.debian.tar.xz
2024-02-11 22:02
6.8K
cvc5_1.1.1-1.dsc
2024-02-11 22:02
2.4K
cvc5_1.1.1-1_amd64.deb
2024-02-11 22:53
107K
cvc5_1.1.1-1_arm64.deb
2024-02-11 23:34
94K
cvc5_1.1.1-1_ppc64el.deb
2024-02-11 22:53
101K
cvc5_1.1.1-1_riscv64.deb
2024-02-12 05:43
99K
cvc5_1.1.1-1_s390x.deb
2024-02-11 22:58
103K
cvc5_1.1.1.orig.tar.gz
2024-02-11 22:02
8.1M
cvc5_1.1.2-1.debian.tar.xz
2024-03-02 21:53
6.3K
cvc5_1.1.2-1.dsc
2024-03-02 21:53
2.4K
cvc5_1.1.2-1_amd64.deb
2024-03-02 23:04
109K
cvc5_1.1.2-1_arm64.deb
2024-03-02 22:54
96K
cvc5_1.1.2-1_armel.deb
2024-03-15 14:00
97K
cvc5_1.1.2-1_armhf.deb
2024-03-15 05:50
100K
cvc5_1.1.2-1_i386.deb
2024-03-02 22:54
111K
cvc5_1.1.2-1_ppc64el.deb
2024-03-02 22:54
102K
cvc5_1.1.2-1_riscv64.deb
2024-03-03 05:45
100K
cvc5_1.1.2-1_s390x.deb
2024-03-02 22:59
105K
cvc5_1.1.2-2.debian.tar.xz
2024-03-19 18:22
7.2K
cvc5_1.1.2-2.dsc
2024-03-19 18:22
2.4K
cvc5_1.1.2-2_amd64.deb
2024-03-19 21:42
108K
cvc5_1.1.2-2_arm64.deb
2024-03-19 22:29
96K
cvc5_1.1.2-2_armel.deb
2024-03-19 19:13
98K
cvc5_1.1.2-2_armhf.deb
2024-03-19 19:28
100K
cvc5_1.1.2-2_i386.deb
2024-03-19 19:08
111K
cvc5_1.1.2-2_mips64el.deb
2024-03-31 21:57
90K
cvc5_1.1.2-2_ppc64el.deb
2024-03-19 19:08
102K
cvc5_1.1.2-2_riscv64.deb
2024-03-21 07:14
100K
cvc5_1.1.2-2_s390x.deb
2024-03-21 04:50
106K
cvc5_1.1.2.orig.tar.gz
2024-03-02 21:53
8.2M
libcvc5-1_1.0.2-1_amd64.deb
2022-12-01 20:25
5.6M
libcvc5-1_1.0.2-1_arm64.deb
2022-12-10 15:41
4.7M
libcvc5-1_1.0.2-1_ppc64el.deb
2022-12-10 14:59
5.3M
libcvc5-1_1.0.2-1_s390x.deb
2022-12-10 22:53
4.9M
libcvc5-1_1.0.2-2_arm64.deb
2022-12-19 22:10
4.7M
libcvc5-1_1.0.2-2_s390x.deb
2022-12-19 21:30
4.9M
libcvc5-1_1.0.3-1_amd64.deb
2022-12-20 00:55
5.6M
libcvc5-1_1.0.3-1_arm64.deb
2022-12-20 00:29
4.7M
libcvc5-1_1.0.3-1_ppc64el.deb
2022-12-20 00:45
5.3M
libcvc5-1_1.0.3-1_s390x.deb
2022-12-20 07:13
4.9M
libcvc5-1_1.0.5-1_amd64.deb
2023-06-20 13:58
5.6M
libcvc5-1_1.0.5-1_arm64.deb
2023-06-20 17:42
4.8M
libcvc5-1_1.0.5-1_ppc64el.deb
2023-06-20 14:29
5.4M
libcvc5-1_1.0.5-1_s390x.deb
2023-06-20 13:58
4.9M
libcvc5-1_1.0.5-2_amd64.deb
2023-06-22 19:55
5.6M
libcvc5-1_1.0.5-2_arm64.deb
2023-06-23 15:42
4.8M
libcvc5-1_1.0.5-2_ppc64el.deb
2023-06-23 15:27
5.4M
libcvc5-1_1.0.5-2_s390x.deb
2023-06-23 15:27
4.9M
libcvc5-1_1.0.5-3+b1_amd64.deb
2024-01-05 16:57
5.8M
libcvc5-1_1.0.5-3+b1_arm64.deb
2024-01-05 18:12
4.9M
libcvc5-1_1.0.5-3+b1_ppc64el.deb
2024-01-05 15:52
5.5M
libcvc5-1_1.0.5-3+b1_riscv64.deb
2023-12-31 09:03
5.9M
libcvc5-1_1.0.5-3+b1_s390x.deb
2024-01-06 02:24
5.9M
libcvc5-1_1.0.5-3_amd64.deb
2023-06-23 17:29
5.6M
libcvc5-1_1.0.5-3_arm64.deb
2023-06-23 18:12
4.8M
libcvc5-1_1.0.5-3_ppc64el.deb
2023-06-23 17:29
5.4M
libcvc5-1_1.0.5-3_riscv64.deb
2023-09-07 02:09
5.9M
libcvc5-1_1.0.5-3_s390x.deb
2023-06-23 17:29
4.9M
libcvc5-1_1.0.8-1_amd64.deb
2024-01-20 22:59
5.9M
libcvc5-1_1.0.8-1_arm64.deb
2024-01-20 22:59
5.0M
libcvc5-1_1.0.8-1_ppc64el.deb
2024-01-20 22:59
5.6M
libcvc5-1_1.0.8-1_riscv64.deb
2024-01-21 09:51
5.9M
libcvc5-1_1.0.8-1_s390x.deb
2024-01-20 23:05
5.9M
libcvc5-1_1.1.1-1_amd64.deb
2024-02-11 22:53
6.0M
libcvc5-1_1.1.1-1_arm64.deb
2024-02-11 23:34
5.1M
libcvc5-1_1.1.1-1_ppc64el.deb
2024-02-11 22:53
5.7M
libcvc5-1_1.1.1-1_riscv64.deb
2024-02-12 05:43
6.0M
libcvc5-1_1.1.1-1_s390x.deb
2024-02-11 22:58
6.1M
libcvc5-1_1.1.2-1_amd64.deb
2024-03-02 23:04
6.1M
libcvc5-1_1.1.2-1_arm64.deb
2024-03-02 22:54
5.2M
libcvc5-1_1.1.2-1_armel.deb
2024-03-15 14:00
5.3M
libcvc5-1_1.1.2-1_armhf.deb
2024-03-15 05:50
5.2M
libcvc5-1_1.1.2-1_i386.deb
2024-03-02 22:54
6.7M
libcvc5-1_1.1.2-1_ppc64el.deb
2024-03-02 22:54
5.8M
libcvc5-1_1.1.2-1_riscv64.deb
2024-03-03 05:45
6.1M
libcvc5-1_1.1.2-1_s390x.deb
2024-03-02 22:59
6.2M
libcvc5-1_1.1.2-2_amd64.deb
2024-03-19 21:42
6.1M
libcvc5-1_1.1.2-2_arm64.deb
2024-03-19 22:29
5.2M
libcvc5-1_1.1.2-2_armel.deb
2024-03-19 19:13
5.3M
libcvc5-1_1.1.2-2_armhf.deb
2024-03-19 19:29
5.2M
libcvc5-1_1.1.2-2_i386.deb
2024-03-19 19:08
6.7M
libcvc5-1_1.1.2-2_mips64el.deb
2024-03-31 21:57
4.9M
libcvc5-1_1.1.2-2_ppc64el.deb
2024-03-19 19:08
5.8M
libcvc5-1_1.1.2-2_riscv64.deb
2024-03-21 07:14
6.1M
libcvc5-1_1.1.2-2_s390x.deb
2024-03-21 04:50
6.2M
libcvc5-dev_1.0.2-1_amd64.deb
2022-12-01 20:25
56K
libcvc5-dev_1.0.2-1_arm64.deb
2022-12-10 15:41
56K
libcvc5-dev_1.0.2-1_ppc64el.deb
2022-12-10 14:59
56K
libcvc5-dev_1.0.2-1_s390x.deb
2022-12-10 22:53
56K
libcvc5-dev_1.0.2-2_arm64.deb
2022-12-19 22:10
56K
libcvc5-dev_1.0.2-2_s390x.deb
2022-12-19 21:30
56K
libcvc5-dev_1.0.3-1_amd64.deb
2022-12-20 00:55
57K
libcvc5-dev_1.0.3-1_arm64.deb
2022-12-20 00:29
57K
libcvc5-dev_1.0.3-1_ppc64el.deb
2022-12-20 00:45
57K
libcvc5-dev_1.0.3-1_s390x.deb
2022-12-20 07:13
57K
libcvc5-dev_1.0.5-1_amd64.deb
2023-06-20 13:58
59K
libcvc5-dev_1.0.5-1_arm64.deb
2023-06-20 17:42
59K
libcvc5-dev_1.0.5-1_ppc64el.deb
2023-06-20 14:29
59K
libcvc5-dev_1.0.5-1_s390x.deb
2023-06-20 13:58
59K
libcvc5-dev_1.0.5-2_amd64.deb
2023-06-22 19:55
59K
libcvc5-dev_1.0.5-2_arm64.deb
2023-06-23 15:42
59K
libcvc5-dev_1.0.5-2_ppc64el.deb
2023-06-23 15:27
59K
libcvc5-dev_1.0.5-2_s390x.deb
2023-06-23 15:27
59K
libcvc5-dev_1.0.5-3+b1_amd64.deb
2024-01-05 16:57
60K
libcvc5-dev_1.0.5-3+b1_arm64.deb
2024-01-05 18:12
59K
libcvc5-dev_1.0.5-3+b1_ppc64el.deb
2024-01-05 15:52
60K
libcvc5-dev_1.0.5-3+b1_riscv64.deb
2023-12-31 09:03
59K
libcvc5-dev_1.0.5-3+b1_s390x.deb
2024-01-06 02:24
59K
libcvc5-dev_1.0.5-3_amd64.deb
2023-06-23 17:29
59K
libcvc5-dev_1.0.5-3_arm64.deb
2023-06-23 18:12
59K
libcvc5-dev_1.0.5-3_ppc64el.deb
2023-06-23 17:29
59K
libcvc5-dev_1.0.5-3_riscv64.deb
2023-09-07 02:09
59K
libcvc5-dev_1.0.5-3_s390x.deb
2023-06-23 17:29
59K
libcvc5-dev_1.0.8-1_amd64.deb
2024-01-20 22:59
63K
libcvc5-dev_1.0.8-1_arm64.deb
2024-01-20 22:59
63K
libcvc5-dev_1.0.8-1_ppc64el.deb
2024-01-20 22:59
63K
libcvc5-dev_1.0.8-1_riscv64.deb
2024-01-21 09:51
63K
libcvc5-dev_1.0.8-1_s390x.deb
2024-01-20 23:05
63K
libcvc5-dev_1.1.1-1_amd64.deb
2024-02-11 22:53
78K
libcvc5-dev_1.1.1-1_arm64.deb
2024-02-11 23:34
78K
libcvc5-dev_1.1.1-1_ppc64el.deb
2024-02-11 22:53
78K
libcvc5-dev_1.1.1-1_riscv64.deb
2024-02-12 05:43
78K
libcvc5-dev_1.1.1-1_s390x.deb
2024-02-11 22:58
78K
libcvc5-dev_1.1.2-1_amd64.deb
2024-03-02 23:04
91K
libcvc5-dev_1.1.2-1_arm64.deb
2024-03-02 22:54
91K
libcvc5-dev_1.1.2-1_armel.deb
2024-03-15 14:00
91K
libcvc5-dev_1.1.2-1_armhf.deb
2024-03-15 05:50
91K
libcvc5-dev_1.1.2-1_i386.deb
2024-03-02 22:54
91K
libcvc5-dev_1.1.2-1_ppc64el.deb
2024-03-02 22:54
91K
libcvc5-dev_1.1.2-1_riscv64.deb
2024-03-03 05:45
91K
libcvc5-dev_1.1.2-1_s390x.deb
2024-03-02 22:59
91K
libcvc5-dev_1.1.2-2_amd64.deb
2024-03-19 21:42
91K
libcvc5-dev_1.1.2-2_arm64.deb
2024-03-19 22:29
91K
libcvc5-dev_1.1.2-2_armel.deb
2024-03-19 19:13
91K
libcvc5-dev_1.1.2-2_armhf.deb
2024-03-19 19:29
91K
libcvc5-dev_1.1.2-2_i386.deb
2024-03-19 19:08
91K
libcvc5-dev_1.1.2-2_mips64el.deb
2024-03-31 21:57
91K
libcvc5-dev_1.1.2-2_ppc64el.deb
2024-03-19 19:08
91K
libcvc5-dev_1.1.2-2_riscv64.deb
2024-03-21 07:14
91K
libcvc5-dev_1.1.2-2_s390x.deb
2024-03-21 04:50
91K
libcvc5parser1_1.0.2-1_amd64.deb
2022-12-01 20:25
257K
libcvc5parser1_1.0.2-1_arm64.deb
2022-12-10 15:41
230K
libcvc5parser1_1.0.2-1_ppc64el.deb
2022-12-10 14:59
257K
libcvc5parser1_1.0.2-1_s390x.deb
2022-12-10 22:53
229K
libcvc5parser1_1.0.2-2_arm64.deb
2022-12-19 22:10
230K
libcvc5parser1_1.0.2-2_s390x.deb
2022-12-19 21:30
229K
libcvc5parser1_1.0.3-1_amd64.deb
2022-12-20 00:55
300K
libcvc5parser1_1.0.3-1_arm64.deb
2022-12-20 00:29
267K
libcvc5parser1_1.0.3-1_ppc64el.deb
2022-12-20 00:45
297K
libcvc5parser1_1.0.3-1_s390x.deb
2022-12-20 07:13
265K
libcvc5parser1_1.0.5-1_amd64.deb
2023-06-20 13:58
358K
libcvc5parser1_1.0.5-1_arm64.deb
2023-06-20 17:42
313K
libcvc5parser1_1.0.5-1_ppc64el.deb
2023-06-20 14:29
353K
libcvc5parser1_1.0.5-1_s390x.deb
2023-06-20 13:58
313K
libcvc5parser1_1.0.5-2_amd64.deb
2023-06-22 19:55
358K
libcvc5parser1_1.0.5-2_arm64.deb
2023-06-23 15:42
312K
libcvc5parser1_1.0.5-2_ppc64el.deb
2023-06-23 15:27
353K
libcvc5parser1_1.0.5-2_s390x.deb
2023-06-23 15:27
313K
libcvc5parser1_1.0.5-3+b1_amd64.deb
2024-01-05 16:57
367K
libcvc5parser1_1.0.5-3+b1_arm64.deb
2024-01-05 18:12
322K
libcvc5parser1_1.0.5-3+b1_ppc64el.deb
2024-01-05 15:52
359K
libcvc5parser1_1.0.5-3+b1_riscv64.deb
2023-12-31 09:03
350K
libcvc5parser1_1.0.5-3+b1_s390x.deb
2024-01-06 02:24
370K
libcvc5parser1_1.0.5-3_amd64.deb
2023-06-23 17:29
359K
libcvc5parser1_1.0.5-3_arm64.deb
2023-06-23 18:12
312K
libcvc5parser1_1.0.5-3_ppc64el.deb
2023-06-23 17:29
354K
libcvc5parser1_1.0.5-3_riscv64.deb
2023-09-07 02:09
349K
libcvc5parser1_1.0.5-3_s390x.deb
2023-06-23 17:29
313K
libcvc5parser1_1.0.8-1_amd64.deb
2024-01-20 22:59
215K
libcvc5parser1_1.0.8-1_arm64.deb
2024-01-20 22:59
189K
libcvc5parser1_1.0.8-1_ppc64el.deb
2024-01-20 22:59
213K
libcvc5parser1_1.0.8-1_riscv64.deb
2024-01-21 09:51
206K
libcvc5parser1_1.0.8-1_s390x.deb
2024-01-20 23:05
209K
libcvc5parser1_1.1.1-1_amd64.deb
2024-02-11 22:53
226K
libcvc5parser1_1.1.1-1_arm64.deb
2024-02-11 23:34
199K
libcvc5parser1_1.1.1-1_ppc64el.deb
2024-02-11 22:53
223K
libcvc5parser1_1.1.1-1_riscv64.deb
2024-02-12 05:43
216K
libcvc5parser1_1.1.1-1_s390x.deb
2024-02-11 22:58
220K
libcvc5parser1_1.1.2-1_amd64.deb
2024-03-02 23:04
229K
libcvc5parser1_1.1.2-1_arm64.deb
2024-03-02 22:54
202K
libcvc5parser1_1.1.2-1_armel.deb
2024-03-15 14:00
193K
libcvc5parser1_1.1.2-1_armhf.deb
2024-03-15 05:50
199K
libcvc5parser1_1.1.2-1_i386.deb
2024-03-02 22:54
248K
libcvc5parser1_1.1.2-1_ppc64el.deb
2024-03-02 22:54
226K
libcvc5parser1_1.1.2-1_riscv64.deb
2024-03-03 05:45
219K
libcvc5parser1_1.1.2-1_s390x.deb
2024-03-02 22:59
223K
libcvc5parser1_1.1.2-2_amd64.deb
2024-03-19 21:42
229K
libcvc5parser1_1.1.2-2_arm64.deb
2024-03-19 22:29
201K
libcvc5parser1_1.1.2-2_armel.deb
2024-03-19 19:13
193K
libcvc5parser1_1.1.2-2_armhf.deb
2024-03-19 19:29
200K
libcvc5parser1_1.1.2-2_i386.deb
2024-03-19 19:08
248K
libcvc5parser1_1.1.2-2_mips64el.deb
2024-03-31 21:57
191K
libcvc5parser1_1.1.2-2_ppc64el.deb
2024-03-19 19:08
225K
libcvc5parser1_1.1.2-2_riscv64.deb
2024-03-21 07:14
219K
libcvc5parser1_1.1.2-2_s390x.deb
2024-03-21 04:50
222K
python3-cvc5_1.0.5-2_amd64.deb
2023-06-22 19:55
223K
python3-cvc5_1.0.5-2_arm64.deb
2023-06-23 15:42
194K
python3-cvc5_1.0.5-2_ppc64el.deb
2023-06-23 15:27
209K
python3-cvc5_1.0.5-2_s390x.deb
2023-06-23 15:27
200K
python3-cvc5_1.0.5-3+b1_amd64.deb
2024-01-05 16:57
270K
python3-cvc5_1.0.5-3+b1_arm64.deb
2024-01-05 18:12
244K
python3-cvc5_1.0.5-3+b1_ppc64el.deb
2024-01-05 15:52
247K
python3-cvc5_1.0.5-3+b1_riscv64.deb
2023-12-31 09:03
264K
python3-cvc5_1.0.5-3+b1_s390x.deb
2024-01-06 02:24
266K
python3-cvc5_1.0.5-3_amd64.deb
2023-06-23 17:29
222K
python3-cvc5_1.0.5-3_arm64.deb
2023-06-23 18:12
195K
python3-cvc5_1.0.5-3_ppc64el.deb
2023-06-23 17:29
208K
python3-cvc5_1.0.5-3_riscv64.deb
2023-09-07 02:09
217K
python3-cvc5_1.0.5-3_s390x.deb
2023-06-23 17:29
199K
python3-cvc5_1.0.8-1_amd64.deb
2024-01-20 22:59
272K
python3-cvc5_1.0.8-1_arm64.deb
2024-01-20 22:59
246K
python3-cvc5_1.0.8-1_ppc64el.deb
2024-01-20 22:59
251K
python3-cvc5_1.0.8-1_riscv64.deb
2024-01-21 09:51
267K
python3-cvc5_1.0.8-1_s390x.deb
2024-01-20 23:05
274K
python3-cvc5_1.1.1-1_amd64.deb
2024-02-11 22:53
317K
python3-cvc5_1.1.1-1_arm64.deb
2024-02-11 23:34
287K
python3-cvc5_1.1.1-1_ppc64el.deb
2024-02-11 22:53
290K
python3-cvc5_1.1.1-1_riscv64.deb
2024-02-12 05:43
311K
python3-cvc5_1.1.1-1_s390x.deb
2024-02-11 22:58
314K
python3-cvc5_1.1.2-1_amd64.deb
2024-03-02 23:04
321K
python3-cvc5_1.1.2-1_arm64.deb
2024-03-02 22:54
290K
python3-cvc5_1.1.2-1_armel.deb
2024-03-15 14:00
296K
python3-cvc5_1.1.2-1_armhf.deb
2024-03-15 05:50
300K
python3-cvc5_1.1.2-1_i386.deb
2024-03-02 22:54
307K
python3-cvc5_1.1.2-1_ppc64el.deb
2024-03-02 22:54
295K
python3-cvc5_1.1.2-1_riscv64.deb
2024-03-03 05:45
314K
python3-cvc5_1.1.2-1_s390x.deb
2024-03-02 22:59
316K
python3-cvc5_1.1.2-2_amd64.deb
2024-03-19 21:42
321K
python3-cvc5_1.1.2-2_arm64.deb
2024-03-19 22:29
291K
python3-cvc5_1.1.2-2_armel.deb
2024-03-19 19:13
295K
python3-cvc5_1.1.2-2_armhf.deb
2024-03-19 19:29
300K
python3-cvc5_1.1.2-2_i386.deb
2024-03-19 19:08
308K
python3-cvc5_1.1.2-2_mips64el.deb
2024-03-31 21:57
244K
python3-cvc5_1.1.2-2_ppc64el.deb
2024-03-19 19:08
296K
python3-cvc5_1.1.2-2_riscv64.deb
2024-03-21 07:14
314K
python3-cvc5_1.1.2-2_s390x.deb
2024-03-21 04:50
318K