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.debian.tar.xz
7.22KB
cvc5_1.1.2-2.dsc
2.41KB
cvc5_1.1.2-2_amd64.deb
108.20KB
cvc5_1.1.2-2_arm64.deb
96.31KB
cvc5_1.1.2-2_armel.deb
97.52KB
cvc5_1.1.2-2_armhf.deb
100.30KB
cvc5_1.1.2-2_i386.deb
110.86KB
cvc5_1.1.2-2_mips64el.deb
90.42KB
cvc5_1.1.2-2_ppc64el.deb
102.30KB
cvc5_1.1.2-2_riscv64.deb
100.41KB
cvc5_1.1.2-2_s390x.deb
105.67KB
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_amd64.deb
6.12MB
libcvc5-1_1.1.2-2_arm64.deb
5.22MB
libcvc5-1_1.1.2-2_armel.deb
5.32MB
libcvc5-1_1.1.2-2_armhf.deb
5.22MB
libcvc5-1_1.1.2-2_i386.deb
6.70MB
libcvc5-1_1.1.2-2_mips64el.deb
4.94MB
libcvc5-1_1.1.2-2_ppc64el.deb
5.83MB
libcvc5-1_1.1.2-2_riscv64.deb
6.12MB
libcvc5-1_1.1.2-2_s390x.deb
6.24MB
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_amd64.deb
90.78KB
libcvc5-dev_1.1.2-2_arm64.deb
90.78KB
libcvc5-dev_1.1.2-2_armel.deb
90.77KB
libcvc5-dev_1.1.2-2_armhf.deb
90.78KB
libcvc5-dev_1.1.2-2_i386.deb
90.77KB
libcvc5-dev_1.1.2-2_mips64el.deb
90.78KB
libcvc5-dev_1.1.2-2_ppc64el.deb
90.78KB
libcvc5-dev_1.1.2-2_riscv64.deb
90.78KB
libcvc5-dev_1.1.2-2_s390x.deb
90.78KB
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_amd64.deb
228.65KB
libcvc5parser1_1.1.2-2_arm64.deb
201.11KB
libcvc5parser1_1.1.2-2_armel.deb
192.70KB
libcvc5parser1_1.1.2-2_armhf.deb
199.73KB
libcvc5parser1_1.1.2-2_i386.deb
247.73KB
libcvc5parser1_1.1.2-2_mips64el.deb
191.47KB
libcvc5parser1_1.1.2-2_ppc64el.deb
225.09KB
libcvc5parser1_1.1.2-2_riscv64.deb
219.16KB
libcvc5parser1_1.1.2-2_s390x.deb
222.23KB
python3-cvc5_1.1.2-2_amd64.deb
320.94KB
python3-cvc5_1.1.2-2_arm64.deb
291.03KB
python3-cvc5_1.1.2-2_armel.deb
295.02KB
python3-cvc5_1.1.2-2_armhf.deb
299.67KB
python3-cvc5_1.1.2-2_i386.deb
307.64KB
python3-cvc5_1.1.2-2_mips64el.deb
244.40KB
python3-cvc5_1.1.2-2_ppc64el.deb
296.23KB
python3-cvc5_1.1.2-2_riscv64.deb
314.44KB
python3-cvc5_1.1.2-2_s390x.deb
318.22KB
×
{{modal_header}}
MD5
{{md5_sum}}
SHA1
{{sha1_sum}}