 |
| FTP Search |
| Directory |
| Content Search |
|
|
|
|
4.70 MB 2007-05-27coqide_8.1.pl3+dfsg-1+b2_i386.deb 277+ mirrors
4.99 MB 2007-05-24coqide_8.1.pl3+dfsg-1+b2_amd64.deb 269+ mirrors
3.28 MB 2005-02-19coqide_8.0pl3-2_i386.deb 283+ mirrors
3.49 MB 2005-03-31coqide_8.0pl3-2_amd64.deb 271+ mirrors
2.42 MB 2007-01-05coq_8.1.pl3+dfsg.orig.tar.gz info browse 427+ mirrors
coq_8.1.pl3+dfsg.orig.tar.gz
/Main/Debian/Other/
1.04 KB 2007-01-05coq_8.1.pl3+dfsg-1.dsc 429+ mirrors
15.21 KB 2007-01-05coq_8.1.pl3+dfsg-1.diff.gz 428+ mirrors
8.07 MB 2007-05-27coq_8.1.pl3+dfsg-1+b2_i386.deb 277+ mirrors
8.62 MB 2007-05-24coq_8.1.pl3+dfsg-1+b2_amd64.deb 269+ mirrors
2.20 MB 2005-01-23coq_8.0pl3.orig.tar.gz info browse 302+ mirrors
coq_8.0pl3.orig.tar.gz
/Main/Debian/Other/
5.83 MB 2005-02-19coq_8.0pl3-2_i386.deb 283+ mirrors
6.25 MB 2005-03-31coq_8.0pl3-2_amd64.deb info browse 272+ mirrors
coq - proof assistant for higher-order logic (toplevel and compiler)
/Main/Debian/amd64/math/
891 B 2005-02-19coq_8.0pl3-2.dsc 274+ mirrors
15.91 KB 2005-02-19coq_8.0pl3-2.diff.gz 278+ mirrors
3.64 MB 2005-02-19coq7-libs_8.0pl3-2_all.deb 292+ mirrors
12.01 MB 2007-01-05coq-libs_8.1.pl3+dfsg-1_all.deb 279+ mirrors
3.56 MB 2005-02-19coq-libs_8.0pl3-2_all.deb info browse 293+ mirrors
coq-libs - proof assistant for higher-order logic (theories)
/Main/Debian/all/math/
2.25 MB 2009-02-28coqide_8.2-1+dfsg-1_mips.deb 34 mirrors
2.25 MB 2009-02-28coqide_8.2-1+dfsg-1_mipsel.deb 33 mirrors
6.23 MB 2009-03-05coqide_8.2-1+dfsg-1_powerpc.deb 41 mirrors
2.25 MB 2009-03-02coqide_8.2-1+dfsg-1_s390.deb 34 mirrors
6.27 MB 2009-03-19coqide_8.2-1+dfsg-1_sparc.deb 36 mirrors
1.85 MB 2009-03-15libcoq-ocaml-dev_8.2-1+dfsg-1_alpha.deb 34 mirrors
5.76 MB 2009-02-27libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb 53 mirrors
1.86 MB 2009-02-28libcoq-ocaml-dev_8.2-1+dfsg-1_armel.deb 42 mirrors
1.86 MB 2009-03-19libcoq-ocaml-dev_8.2-1+dfsg-1_hppa.deb 33 mirrors
5.59 MB 2009-03-08libcoq-ocaml-dev_8.2-1+dfsg-1_hurd-i386.deb 26 mirrors
5.62 MB 2009-03-04libcoq-ocaml-dev_8.2-1+dfsg-1_i386.deb 54 mirrors
1.85 MB 2009-02-28libcoq-ocaml-dev_8.2-1+dfsg-1_ia64.deb 39 mirrors
1.85 MB 2009-02-28libcoq-ocaml-dev_8.2-1+dfsg-1_mips.deb 34 mirrors
1.85 MB 2009-02-28libcoq-ocaml-dev_8.2-1+dfsg-1_mipsel.deb 33 mirrors
6.65 MB 2009-03-05libcoq-ocaml-dev_8.2-1+dfsg-1_powerpc.deb 41 mirrors
1.85 MB 2009-03-02libcoq-ocaml-dev_8.2-1+dfsg-1_s390.deb 34 mirrors
6.39 MB 2009-03-19libcoq-ocaml-dev_8.2-1+dfsg-1_sparc.deb 36 mirrors
17.38 MB 2009-02-27coq-theories_8.2-1+dfsg-1_all.deb 55 mirrors
2.86 MB 2006-02-19coq_8.0pl3-2_alpha.deb info browse 169 mirrors
coq - proof assistant for higher-order logic (toplevel and compiler)
/Main/Debian/alpha/math/
2.72 MB 2006-02-19coq_8.0pl3-2_arm.deb info browse 168 mirrors
coq - proof assistant for higher-order logic (toplevel and compiler)
/Main/Debian/arm/math/
2.83 MB 2006-02-18coq_8.0pl3-2_hppa.deb info browse 161 mirrors
coq - proof assistant for higher-order logic (toplevel and compiler)
/Main/Debian/hppa/math/
3.00 MB 2006-02-18coq_8.0pl3-2_ia64.deb info browse 182 mirrors
coq - proof assistant for higher-order logic (toplevel and compiler)
/Main/Debian/ia64/math/
2.65 MB 2006-02-22coq_8.0pl3-2_m68k.deb info browse 162 mirrors
coq - proof assistant for higher-order logic (toplevel and compiler)
/Main/Debian/m68k/math/
2.79 MB 2006-02-19coq_8.0pl3-2_mips.deb 162 mirrors
2.78 MB 2006-02-19coq_8.0pl3-2_mipsel.deb 160 mirrors
6.63 MB 2006-02-19coq_8.0pl3-2_powerpc.deb 185 mirrors
2.84 MB 2006-02-18coq_8.0pl3-2_s390.deb 159 mirrors
6.72 MB 2006-02-19coq_8.0pl3-2_sparc.deb 181 mirrors
4.14 MB 2008-05-23coq_8.1.pl3+dfsg-1+b2_alpha.deb 162 mirrors
4.00 MB 2008-05-24coq_8.1.pl3+dfsg-1+b2_arm.deb 160 mirrors
4.02 MB 2008-05-23coq_8.1.pl3+dfsg-1+b2_armel.deb 214+ mirrors
4.08 MB 2008-05-28coq_8.1.pl3+dfsg-1+b2_hppa.deb 154 mirrors
4.27 MB 2008-05-26coq_8.1.pl3+dfsg-1+b2_ia64.deb info browse 176 mirrors
coq - proof assistant for higher-order logic (toplevel and compiler)
/Main/Debian/ia64/math/
| Results 1 - 50 |