ODTÜ FTP Hizmet Sayfası
Home
/
pub
/
mirrors
/
ftp.debian.org
/
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+b3_amd64.deb
106.62KB
cvc5_1.1.2-2+b3_arm64.deb
95.01KB
cvc5_1.1.2-2+b3_armel.deb
96.38KB
cvc5_1.1.2-2+b3_armhf.deb
98.70KB
cvc5_1.1.2-2+b3_i386.deb
109.32KB
cvc5_1.1.2-2+b3_mips64el.deb
90.28KB
cvc5_1.1.2-2+b3_ppc64el.deb
101.64KB
cvc5_1.1.2-2+b3_riscv64.deb
99.41KB
cvc5_1.1.2-2+b3_s390x.deb
105.49KB
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+b3_amd64.deb
6.37MB
libcvc5-1_1.1.2-2+b3_arm64.deb
5.44MB
libcvc5-1_1.1.2-2+b3_armel.deb
5.52MB
libcvc5-1_1.1.2-2+b3_armhf.deb
5.41MB
libcvc5-1_1.1.2-2+b3_i386.deb
6.92MB
libcvc5-1_1.1.2-2+b3_mips64el.deb
5.12MB
libcvc5-1_1.1.2-2+b3_ppc64el.deb
5.99MB
libcvc5-1_1.1.2-2+b3_riscv64.deb
6.39MB
libcvc5-1_1.1.2-2+b3_s390x.deb
6.47MB
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+b3_amd64.deb
91.11KB
libcvc5-dev_1.1.2-2+b3_arm64.deb
91.07KB
libcvc5-dev_1.1.2-2+b3_armel.deb
91.05KB
libcvc5-dev_1.1.2-2+b3_armhf.deb
91.07KB
libcvc5-dev_1.1.2-2+b3_i386.deb
91.07KB
libcvc5-dev_1.1.2-2+b3_mips64el.deb
91.07KB
libcvc5-dev_1.1.2-2+b3_ppc64el.deb
91.08KB
libcvc5-dev_1.1.2-2+b3_riscv64.deb
91.07KB
libcvc5-dev_1.1.2-2+b3_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+b3_amd64.deb
231.20KB
libcvc5parser1_1.1.2-2+b3_arm64.deb
202.73KB
libcvc5parser1_1.1.2-2+b3_armel.deb
195.90KB
libcvc5parser1_1.1.2-2+b3_armhf.deb
202.32KB
libcvc5parser1_1.1.2-2+b3_i386.deb
251.86KB
libcvc5parser1_1.1.2-2+b3_mips64el.deb
199.42KB
libcvc5parser1_1.1.2-2+b3_ppc64el.deb
226.84KB
libcvc5parser1_1.1.2-2+b3_riscv64.deb
221.59KB
libcvc5parser1_1.1.2-2+b3_s390x.deb
226.00KB
python3-cvc5_1.1.2-2+b3_amd64.deb
331.13KB
python3-cvc5_1.1.2-2+b3_arm64.deb
291.18KB
python3-cvc5_1.1.2-2+b3_armel.deb
304.43KB
python3-cvc5_1.1.2-2+b3_armhf.deb
309.35KB
python3-cvc5_1.1.2-2+b3_i386.deb
317.82KB
python3-cvc5_1.1.2-2+b3_mips64el.deb
245.42KB
python3-cvc5_1.1.2-2+b3_ppc64el.deb
292.14KB
python3-cvc5_1.1.2-2+b3_riscv64.deb
320.21KB
python3-cvc5_1.1.2-2+b3_s390x.deb
322.06KB
×
{{modal_header}}
MD5
{{md5_sum}}
SHA1
{{sha1_sum}}
