ODTÜ FTP Hizmet Sayfası
Home
/
pub
/
mirrors
/
ftp.debian.org
/
debian
/
pool
/
main
/
c
/
coq
File
Size
..
-
coq-theories_8.12.0-3+b3_amd64.deb
34.81MB
coq-theories_8.12.0-3+b3_arm64.deb
22.82MB
coq-theories_8.12.0-3+b3_armhf.deb
22.81MB
coq-theories_8.12.0-3+b3_i386.deb
33.61MB
coqide_8.12.0-3+b3_amd64.deb
1.79MB
coqide_8.12.0-3+b3_arm64.deb
2.07MB
coqide_8.12.0-3+b3_armhf.deb
1.66MB
coqide_8.12.0-3+b3_i386.deb
1.64MB
coqide_8.16.1+dfsg-1+b2_amd64.deb
1.90MB
coqide_8.16.1+dfsg-1+b2_arm64.deb
2.20MB
coqide_8.16.1+dfsg-1+b2_armhf.deb
1.75MB
coqide_8.16.1+dfsg-1+b2_i386.deb
1.72MB
coqide_8.16.1+dfsg-1+b2_ppc64el.deb
1.98MB
coqide_8.16.1+dfsg-1+b2_s390x.deb
1.89MB
coqide_8.20.1+dfsg-1+b1_amd64.deb
1.84MB
coqide_8.20.1+dfsg-1+b1_arm64.deb
2.14MB
coqide_8.20.1+dfsg-1+b1_ppc64el.deb
1.88MB
coqide_8.20.1+dfsg-1+b1_riscv64.deb
1.90MB
coqide_8.20.1+dfsg-1+b1_s390x.deb
1.88MB
coqide_8.20.1+dfsg-1+b2_ppc64el.deb
1.90MB
coqide_8.20.1+dfsg-1+b2_riscv64.deb
1.95MB
coqide_8.20.1+dfsg-1+b2_s390x.deb
1.93MB
coqide_8.20.1+dfsg-1+b3_amd64.deb
1.85MB
coqide_8.20.1+dfsg-1+b4_arm64.deb
2.15MB
coq_8.12.0-3+b3_amd64.deb
86.26MB
coq_8.12.0-3+b3_arm64.deb
91.62MB
coq_8.12.0-3+b3_armhf.deb
84.26MB
coq_8.12.0-3+b3_i386.deb
83.81MB
coq_8.12.0-3.debian.tar.xz
36.89KB
coq_8.12.0-3.dsc
2.42KB
coq_8.12.0.orig.tar.gz
5.73MB
coq_8.16.1+dfsg-1+b2_amd64.deb
88.89MB
coq_8.16.1+dfsg-1+b2_arm64.deb
97.44MB
coq_8.16.1+dfsg-1+b2_armhf.deb
85.70MB
coq_8.16.1+dfsg-1+b2_i386.deb
83.46MB
coq_8.16.1+dfsg-1+b2_ppc64el.deb
89.54MB
coq_8.16.1+dfsg-1+b2_s390x.deb
88.99MB
coq_8.16.1+dfsg-1.debian.tar.xz
32.46KB
coq_8.16.1+dfsg-1.dsc
2.57KB
coq_8.16.1+dfsg.orig.tar.xz
4.50MB
coq_8.20.1+dfsg-1+b1_amd64.deb
66.97MB
coq_8.20.1+dfsg-1+b1_arm64.deb
71.00MB
coq_8.20.1+dfsg-1+b1_ppc64el.deb
67.57MB
coq_8.20.1+dfsg-1+b1_riscv64.deb
67.90MB
coq_8.20.1+dfsg-1+b1_s390x.deb
67.74MB
coq_8.20.1+dfsg-1+b2_ppc64el.deb
68.36MB
coq_8.20.1+dfsg-1+b2_riscv64.deb
69.02MB
coq_8.20.1+dfsg-1+b2_s390x.deb
68.80MB
coq_8.20.1+dfsg-1+b3_amd64.deb
67.83MB
coq_8.20.1+dfsg-1+b4_arm64.deb
71.44MB
coq_8.20.1+dfsg-1.debian.tar.xz
29.50KB
coq_8.20.1+dfsg-1.dsc
2.52KB
coq_8.20.1+dfsg.orig.tar.xz
4.78MB
coq_9.1.0+dfsg-3+b1_armhf.deb
22.47MB
coq_9.1.0+dfsg-3+b1_i386.deb
22.70MB
coq_9.1.0+dfsg-3+b1_ppc64el.deb
38.96MB
coq_9.1.0+dfsg-3+b1_s390x.deb
39.36MB
coq_9.1.0+dfsg-3+b2_amd64.deb
38.31MB
coq_9.1.0+dfsg-3+b2_arm64.deb
41.66MB
coq_9.1.0+dfsg-3+b2_riscv64.deb
39.42MB
coq_9.1.0+dfsg-3.debian.tar.xz
23.57KB
coq_9.1.0+dfsg-3.dsc
2.48KB
coq_9.1.0+dfsg.orig.tar.xz
3.66MB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb
40.75MB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb
40.84MB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb
41.12MB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb
40.48MB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb
41.54MB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb
40.29MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb
65.52MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb
65.39MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb
66.12MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb
70.14MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb
65.03MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_ppc64el.deb
50.22MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_riscv64.deb
54.30MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_s390x.deb
49.43MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_amd64.deb
49.60MB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_arm64.deb
49.91MB
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_armhf.deb
42.80MB
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_i386.deb
42.80MB
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_ppc64el.deb
51.92MB
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_s390x.deb
51.05MB
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_amd64.deb
51.23MB
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_arm64.deb
51.59MB
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_riscv64.deb
56.05MB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb
21.51MB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb
22.02MB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb
21.23MB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb
20.74MB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb
21.57MB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb
21.57MB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb
24.75MB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb
25.17MB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb
24.78MB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb
24.82MB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb
24.80MB
libcoq-core-ocaml_8.20.1+dfsg-1+b2_ppc64el.deb
23.12MB
libcoq-core-ocaml_8.20.1+dfsg-1+b2_riscv64.deb
23.23MB
libcoq-core-ocaml_8.20.1+dfsg-1+b2_s390x.deb
23.19MB
libcoq-core-ocaml_8.20.1+dfsg-1+b3_amd64.deb
23.09MB
libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64.deb
23.49MB
libcoq-core-ocaml_9.1.0+dfsg-3+b1_armhf.deb
16.67MB
libcoq-core-ocaml_9.1.0+dfsg-3+b1_i386.deb
16.68MB
libcoq-core-ocaml_9.1.0+dfsg-3+b1_ppc64el.deb
23.85MB
libcoq-core-ocaml_9.1.0+dfsg-3+b1_s390x.deb
23.92MB
libcoq-core-ocaml_9.1.0+dfsg-3+b2_amd64.deb
23.82MB
libcoq-core-ocaml_9.1.0+dfsg-3+b2_arm64.deb
24.23MB
libcoq-core-ocaml_9.1.0+dfsg-3+b2_riscv64.deb
23.97MB
libcoq-core_9.1.0+dfsg-3+b1_armhf.deb
1.09MB
libcoq-core_9.1.0+dfsg-3+b1_i386.deb
1.09MB
libcoq-core_9.1.0+dfsg-3+b1_ppc64el.deb
1.09MB
libcoq-core_9.1.0+dfsg-3+b1_s390x.deb
1.08MB
libcoq-core_9.1.0+dfsg-3+b2_amd64.deb
1.09MB
libcoq-core_9.1.0+dfsg-3+b2_arm64.deb
1.09MB
libcoq-core_9.1.0+dfsg-3+b2_riscv64.deb
1.09MB
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb
17.86MB
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb
17.86MB
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb
18.31MB
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb
17.79MB
libcoq-ocaml_8.12.0-3+b3_amd64.deb
7.40MB
libcoq-ocaml_8.12.0-3+b3_arm64.deb
7.61MB
libcoq-ocaml_8.12.0-3+b3_armhf.deb
7.38MB
libcoq-ocaml_8.12.0-3+b3_i386.deb
7.22MB
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb
20.53MB
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb
20.53MB
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb
20.53MB
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb
20.53MB
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb
20.53MB
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb
20.53MB
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb
22.44MB
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb
22.44MB
libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb
22.44MB
libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb
22.44MB
libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb
22.44MB
libcoq-stdlib_8.20.1+dfsg-1+b2_ppc64el.deb
22.44MB
libcoq-stdlib_8.20.1+dfsg-1+b2_riscv64.deb
22.44MB
libcoq-stdlib_8.20.1+dfsg-1+b2_s390x.deb
22.44MB
libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb
22.44MB
libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb
22.44MB
rocqide_9.1.0+dfsg-3+b1_armhf.deb
555.80KB
rocqide_9.1.0+dfsg-3+b1_i386.deb
626.11KB
rocqide_9.1.0+dfsg-3+b1_ppc64el.deb
1.90MB
rocqide_9.1.0+dfsg-3+b1_s390x.deb
1.94MB
rocqide_9.1.0+dfsg-3+b2_amd64.deb
1.86MB
rocqide_9.1.0+dfsg-3+b2_arm64.deb
2.16MB
rocqide_9.1.0+dfsg-3+b2_riscv64.deb
1.96MB
×
{{modal_header}}
MD5
{{md5_sum}}
SHA1
{{sha1_sum}}
