You have searched for packages that names contain coq in all suites, all sections, and all architectures.
Found 9 matching packages.
Exact hits
Package coq
- sarge (oldstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.0pl2-2: alpha amd64 arm hppa i386 ia64 m68k mips mipsel powerpc s390 sparc
- etch (stable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.0pl3-2: alpha amd64 arm hppa i386 ia64 mips mipsel powerpc s390 sparc
- etch-m68k (math):
proof assistant for higher-order logic (toplevel and compiler)
8.0pl3-2: m68k
- lenny (testing) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.1.pl3+dfsg-1+b2: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc s390 sparc
- sid (unstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.1.pl3+dfsg-1+b2: alpha amd64 arm armel hppa i386 ia64 kfreebsd-i386 m68k mips mipsel powerpc s390 sparc
8.1.pl3+dfsg-1+b1 [debports]: kfreebsd-amd64
Other hits
Package coq-doc
- lenny (testing) (doc):
documentation for Coq in html format [non-free]
8.1-3: all
- sid (unstable) (doc):
documentation for Coq in html format [non-free]
8.1-3: all
Package coq-doc-html
- lenny (testing) (doc):
documentation for Coq in html format [non-free]
8.1-3: all
- sid (unstable) (doc):
documentation for Coq in html format [non-free]
8.1-3: all
Package coq-doc-pdf
- lenny (testing) (doc):
documentation for Coq in pdf format [non-free]
8.1-3: all
- sid (unstable) (doc):
documentation for Coq in pdf format [non-free]
8.1-3: all
Package coq-libs
- sarge (oldstable) (math):
proof assistant for higher-order logic (theories)
8.0pl2-2: all
- etch (stable) (math):
proof assistant for higher-order logic (theories)
8.0pl3-2: all
- etch-m68k (math):
proof assistant for higher-order logic (theories)
8.0pl3-2: all
- lenny (testing) (math):
proof assistant for higher-order logic (theories)
8.1.pl3+dfsg-1: all
- sid (unstable) (math):
proof assistant for higher-order logic (theories)
8.1.pl3+dfsg-1: all
Package coq7-libs
- sarge (oldstable) (math):
proof assistant for higher-order logic (Coq 7 theories)
8.0pl2-2: all
- etch (stable) (math):
proof assistant for higher-order logic (Coq 7 theories)
8.0pl3-2: all
- etch-m68k (math):
proof assistant for higher-order logic (Coq 7 theories)
8.0pl3-2: all
Package coqide
- sarge (oldstable) (math):
proof assistant for higher-order logic (gtk interface)
8.0pl2-2: alpha amd64 arm hppa i386 ia64 m68k mips mipsel powerpc s390 sparc
- etch (stable) (math):
proof assistant for higher-order logic (gtk interface)
8.0pl3-2: alpha amd64 arm hppa i386 ia64 mips mipsel powerpc s390 sparc
- etch-m68k (math):
proof assistant for higher-order logic (gtk interface)
8.0pl3-2: m68k
- lenny (testing) (math):
proof assistant for higher-order logic (gtk interface)
8.1.pl3+dfsg-1+b2: alpha amd64 arm armel hppa i386 ia64 mips mipsel powerpc s390 sparc
- sid (unstable) (math):
proof assistant for higher-order logic (gtk interface)
8.1.pl3+dfsg-1+b2: alpha amd64 arm armel hppa i386 ia64 kfreebsd-i386 m68k mips mipsel powerpc s390 sparc
8.1.pl3+dfsg-1+b1 [debports]: kfreebsd-amd64
Package libfloat-coq
- lenny (testing) (libdevel):
coq library for floating point numbers
1:8.1-1.0-4: all
- sid (unstable) (libdevel):
coq library for floating point numbers
1:8.1-1.0-4: all
Package proofgeneral-coq
- sarge (oldstable) (editors):
ProofGeneral support for coq
3.5-3: all
- etch (stable) (editors):
ProofGeneral support for coq
3.5-4.1: all
- etch-m68k (editors):
ProofGeneral support for coq
3.5-4.1: all
- lenny (testing) (editors):
generic interface for proof assistants - coq support
3.7-3: all
- sid (unstable) (editors):
generic interface for proof assistants - coq support
3.7-3: all
