|
|
|
3.00 MB 2009-07-03coq_8.2.pl1+dfsg.orig.tar.gz 239+ mirrors
2.98 MB 2009-02-04coq_8.2~rc2+dfsg.orig.tar.gz 191 mirrors
1.85 MB 2009-08-29libcoq-ocaml-dev_8.2.pl1+dfsg-3_alpha.deb 80 mirrors
5.77 MB 2009-08-28libcoq-ocaml-dev_8.2.pl1+dfsg-3_amd64.deb 142 mirrors
5.26 MB 2007-05-25coqide_8.1.pl3+dfsg-1+b2_sparc.deb 175 mirrors
2.38 MB 2007-05-28coqide_8.1.pl3+dfsg-1+b2_ia64.deb 175 mirrors
4.70 MB 2007-05-27coqide_8.1.pl3+dfsg-1+b2_i386.deb 277+ mirrors
2.30 MB 2007-05-25coqide_8.1.pl3+dfsg-1+b2_armel.deb 214+ mirrors
2.30 MB 2007-05-26coqide_8.1.pl3+dfsg-1+b2_arm.deb 160 mirrors
4.99 MB 2007-05-24coqide_8.1.pl3+dfsg-1+b2_amd64.deb 269+ mirrors
2.35 MB 2007-05-25coqide_8.1.pl3+dfsg-1+b2_alpha.deb 162 mirrors
3.79 MB 2005-02-20coqide_8.0pl3-2_sparc.deb 181 mirrors
1.28 MB 2005-02-23coqide_8.0pl3-2_m68k.deb 161 mirrors
1.33 MB 2005-02-19coqide_8.0pl3-2_ia64.deb 181 mirrors
3.28 MB 2005-02-19coqide_8.0pl3-2_i386.deb 283+ mirrors
1.27 MB 2005-02-20coqide_8.0pl3-2_arm.deb 167 mirrors
3.49 MB 2005-03-31coqide_8.0pl3-2_amd64.deb 271+ mirrors
1.31 MB 2005-02-20coqide_8.0pl3-2_alpha.deb 168 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
9.03 MB 2007-05-25coq_8.1.pl3+dfsg-1+b2_sparc.deb 175 mirrors
4.27 MB 2007-05-28coq_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/
8.07 MB 2007-05-27coq_8.1.pl3+dfsg-1+b2_i386.deb 277+ mirrors
4.02 MB 2007-05-25coq_8.1.pl3+dfsg-1+b2_armel.deb 214+ mirrors
4.00 MB 2007-05-26coq_8.1.pl3+dfsg-1+b2_arm.deb 160 mirrors
8.62 MB 2007-05-24coq_8.1.pl3+dfsg-1+b2_amd64.deb 269+ mirrors
4.14 MB 2007-05-25coq_8.1.pl3+dfsg-1+b2_alpha.deb 162 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/
6.72 MB 2005-02-20coq_8.0pl3-2_sparc.deb 181 mirrors
2.65 MB 2005-02-23coq_8.0pl3-2_m68k.deb info browse 162 mirrors
coq - proof assistant for higher-order logic (toplevel and compiler)
/Main/Debian/m68k/math/
3.00 MB 2005-02-19coq_8.0pl3-2_ia64.deb info browse 182 mirrors
coq - proof assistant for higher-order logic (toplevel and compiler)
/Main/Debian/ia64/math/
5.83 MB 2005-02-19coq_8.0pl3-2_i386.deb 283+ mirrors
2.72 MB 2005-02-20coq_8.0pl3-2_arm.deb info browse 168 mirrors
coq - proof assistant for higher-order logic (toplevel and compiler)
/Main/Debian/arm/math/
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/
2.86 MB 2005-02-20coq_8.0pl3-2_alpha.deb info browse 169 mirrors
coq - proof assistant for higher-order logic (toplevel and compiler)
/Main/Debian/alpha/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/
1.86 MB 2009-08-29libcoq-ocaml-dev_8.2.pl1+dfsg-3_armel.deb 106 mirrors
5.59 MB 2009-09-04libcoq-ocaml-dev_8.2.pl1+dfsg-3_hurd-i386.deb 84 mirrors
5.63 MB 2009-08-28libcoq-ocaml-dev_8.2.pl1+dfsg-3_i386.deb 145 mirrors
1.85 MB 2009-08-29libcoq-ocaml-dev_8.2.pl1+dfsg-3_ia64.deb 90 mirrors
6.32 MB 2009-08-30coqide_8.2.pl1+dfsg-3_sparc.deb 90 mirrors
17.53 MB 2009-08-28coq-theories_8.2.pl1+dfsg-3_all.deb 147 mirrors
5.73 MB 2009-08-28libcoq-ocaml-dev_8.2.pl1+dfsg-3_kfreebsd-amd64.deb 126 mirrors
5.59 MB 2009-08-28libcoq-ocaml-dev_8.2.pl1+dfsg-3_kfreebsd-i386.deb 126 mirrors
6.39 MB 2009-08-30libcoq-ocaml-dev_8.2.pl1+dfsg-3_sparc.deb 90 mirrors
| Results 1 - 50 |