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.orig.tar.gz
7.95MB
cvc5_1.1.2-2+b3_amd64.deb
106.62KB
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
cvc5_1.3.2-1.debian.tar.xz
8.33KB
cvc5_1.3.2-1.dsc
2.41KB
cvc5_1.3.2-1_amd64.deb
140.33KB
cvc5_1.3.2.orig.tar.gz
8.82MB
libcvc5-1_1.0.3-1_amd64.deb
5.57MB
libcvc5-1_1.1.2-2+b3_amd64.deb
6.37MB
libcvc5-1_1.3.2-1_amd64.deb
7.37MB
libcvc5-dev_1.0.3-1_amd64.deb
57.21KB
libcvc5-dev_1.1.2-2+b3_amd64.deb
91.11KB
libcvc5-dev_1.3.2-1_amd64.deb
121.11KB
libcvc5parser1_1.0.3-1_amd64.deb
299.68KB
libcvc5parser1_1.1.2-2+b3_amd64.deb
231.20KB
libcvc5parser1_1.3.2-1_amd64.deb
266.78KB
python3-cvc5_1.1.2-2+b3_amd64.deb
331.13KB
python3-cvc5_1.3.2-1_amd64.deb
375.98KB
×
{{modal_header}}
MD5
{{md5_sum}}
SHA1
{{sha1_sum}}
