ODTÜ FTP Hizmet Sayfası
Home
/
debian
/
pool
/
main
/
c
/
cvc5
File
Size
..
-
cvc5_1.0.3-1.debian.tar.xz
5.82KB
cvc5_1.0.3-1.dsc
2.25KB
cvc5_1.0.3-1_amd64.deb
105.37KB
cvc5_1.0.3-1_arm64.deb
95.20KB
cvc5_1.0.3-1_ppc64el.deb
102.56KB
cvc5_1.0.3-1_s390x.deb
95.03KB
cvc5_1.0.3.orig.tar.gz
7.95MB
cvc5_1.1.2-2+b2_amd64.deb
105.47KB
cvc5_1.1.2-2+b2_arm64.deb
94.94KB
cvc5_1.1.2-2+b2_armel.deb
96.19KB
cvc5_1.1.2-2+b2_armhf.deb
98.38KB
cvc5_1.1.2-2+b2_i386.deb
109.20KB
cvc5_1.1.2-2+b2_mips64el.deb
89.16KB
cvc5_1.1.2-2+b2_ppc64el.deb
101.61KB
cvc5_1.1.2-2+b2_riscv64.deb
99.33KB
cvc5_1.1.2-2+b2_s390x.deb
106.32KB
cvc5_1.1.2-2.debian.tar.xz
7.22KB
cvc5_1.1.2-2.dsc
2.41KB
cvc5_1.1.2.orig.tar.gz
8.18MB
libcvc5-1_1.0.3-1_amd64.deb
5.57MB
libcvc5-1_1.0.3-1_arm64.deb
4.72MB
libcvc5-1_1.0.3-1_ppc64el.deb
5.33MB
libcvc5-1_1.0.3-1_s390x.deb
4.86MB
libcvc5-1_1.1.2-2+b2_amd64.deb
6.37MB
libcvc5-1_1.1.2-2+b2_arm64.deb
5.44MB
libcvc5-1_1.1.2-2+b2_armel.deb
5.51MB
libcvc5-1_1.1.2-2+b2_armhf.deb
5.41MB
libcvc5-1_1.1.2-2+b2_i386.deb
6.91MB
libcvc5-1_1.1.2-2+b2_mips64el.deb
5.11MB
libcvc5-1_1.1.2-2+b2_ppc64el.deb
5.99MB
libcvc5-1_1.1.2-2+b2_riscv64.deb
6.39MB
libcvc5-1_1.1.2-2+b2_s390x.deb
6.46MB
libcvc5-dev_1.0.3-1_amd64.deb
57.21KB
libcvc5-dev_1.0.3-1_arm64.deb
57.20KB
libcvc5-dev_1.0.3-1_ppc64el.deb
57.23KB
libcvc5-dev_1.0.3-1_s390x.deb
57.21KB
libcvc5-dev_1.1.2-2+b2_amd64.deb
91.08KB
libcvc5-dev_1.1.2-2+b2_arm64.deb
91.07KB
libcvc5-dev_1.1.2-2+b2_armel.deb
91.07KB
libcvc5-dev_1.1.2-2+b2_armhf.deb
91.06KB
libcvc5-dev_1.1.2-2+b2_i386.deb
91.07KB
libcvc5-dev_1.1.2-2+b2_mips64el.deb
91.11KB
libcvc5-dev_1.1.2-2+b2_ppc64el.deb
91.07KB
libcvc5-dev_1.1.2-2+b2_riscv64.deb
91.06KB
libcvc5-dev_1.1.2-2+b2_s390x.deb
91.07KB
libcvc5parser1_1.0.3-1_amd64.deb
299.68KB
libcvc5parser1_1.0.3-1_arm64.deb
266.75KB
libcvc5parser1_1.0.3-1_ppc64el.deb
297.30KB
libcvc5parser1_1.0.3-1_s390x.deb
264.86KB
libcvc5parser1_1.1.2-2+b2_amd64.deb
230.78KB
libcvc5parser1_1.1.2-2+b2_arm64.deb
202.45KB
libcvc5parser1_1.1.2-2+b2_armel.deb
196.25KB
libcvc5parser1_1.1.2-2+b2_armhf.deb
202.19KB
libcvc5parser1_1.1.2-2+b2_i386.deb
251.70KB
libcvc5parser1_1.1.2-2+b2_mips64el.deb
193.86KB
libcvc5parser1_1.1.2-2+b2_ppc64el.deb
226.81KB
libcvc5parser1_1.1.2-2+b2_riscv64.deb
221.66KB
libcvc5parser1_1.1.2-2+b2_s390x.deb
226.04KB
python3-cvc5_1.1.2-2+b2_amd64.deb
331.40KB
python3-cvc5_1.1.2-2+b2_arm64.deb
290.65KB
python3-cvc5_1.1.2-2+b2_armel.deb
304.12KB
python3-cvc5_1.1.2-2+b2_armhf.deb
310.08KB
python3-cvc5_1.1.2-2+b2_i386.deb
315.68KB
python3-cvc5_1.1.2-2+b2_mips64el.deb
243.44KB
python3-cvc5_1.1.2-2+b2_ppc64el.deb
292.08KB
python3-cvc5_1.1.2-2+b2_riscv64.deb
321.29KB
python3-cvc5_1.1.2-2+b2_s390x.deb
324.42KB
×
{{modal_header}}
MD5
{{md5_sum}}
SHA1
{{sha1_sum}}
