package names descriptions source package names package contents all options

>> Debian >> Packages >> Package Search Results

You have searched for packages that names contain coq in all suites, all sections, and all architectures. Found 13 matching packages.

Exact hits

Package coq

• etch (oldstable) (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 (stable) (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
• squeeze (testing) (math): proof assistant for higher-order logic (toplevel and compiler)
  8.2.pl1+dfsg-3: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• sid (unstable) (math): proof assistant for higher-order logic (toplevel and compiler)
  8.2.pl1+dfsg-3: alpha amd64 armel hppa hurd-i386 i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 sparc
  8.1.pl3+dfsg-1+b2 [debports]: m68k

Other hits

Package coq-doc

• lenny (stable) (doc): documentation for Coq in html format [non-free]
  8.1-3: all
• squeeze (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 (stable) (doc): documentation for Coq in html format [non-free]
  8.1-3: all
• squeeze (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 (stable) (doc): documentation for Coq in pdf format [non-free]
  8.1-3: all
• squeeze (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

• etch (oldstable) (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 (stable) (math): proof assistant for higher-order logic (theories)
  8.1.pl3+dfsg-1: all
• experimental (math): proof assistant for higher-order logic (theories)
  8.2~beta4+dfsg-2: all

Package coq-theories

• squeeze (testing) (math): proof assistant for higher-order logic (theories)
  8.2.pl1+dfsg-3: all
• sid (unstable) (math): proof assistant for higher-order logic (theories)
  8.2.pl1+dfsg-3: all

Package coq7-libs

• etch (oldstable) (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

• etch (oldstable) (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 (stable) (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
• squeeze (testing) (math): proof assistant for higher-order logic (gtk interface)
  8.2.pl1+dfsg-3: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• sid (unstable) (math): proof assistant for higher-order logic (gtk interface)
  8.2.pl1+dfsg-3: alpha amd64 armel hppa hurd-i386 i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 sparc
  8.1.pl3+dfsg-1+b2 [debports]: m68k

Package libcoq-ocaml-dev

• squeeze (testing) (ocaml): development libraries and tools for Coq
  8.2.pl1+dfsg-3: amd64 armel hppa i386 ia64 mips mipsel powerpc s390 sparc
• sid (unstable) (ocaml): development libraries and tools for Coq
  8.2.pl1+dfsg-3: alpha amd64 armel hppa hurd-i386 i386 ia64 kfreebsd-amd64 kfreebsd-i386 mips mipsel powerpc s390 sparc

Package libfloat-coq

• lenny (stable) (libdevel): coq library for floating point numbers
  1:8.1-1.0-4: all
• squeeze (testing) (libdevel): Coq library on floating-point arithmetic
  1:8.2-1.2-3: all
• sid (unstable) (libdevel): Coq library on floating-point arithmetic
  1:8.2-1.2-3: all

Package libssreflect-coq

• squeeze (testing) (math): small scale reflection library for Coq (theories)
  1.2+dfsg-2: all
• sid (unstable) (math): small scale reflection library for Coq (theories)
  1.2+dfsg-2: all

Package libwhy-coq

• squeeze (testing) (libdevel): Why library for Coq
  2.19+dfsg-2: all
• sid (unstable) (libdevel): Why library for Coq
  2.19+dfsg-2: all

Package proofgeneral-coq

• etch (oldstable) (editors): ProofGeneral support for coq
  3.5-4.1: all
• etch-m68k (editors): ProofGeneral support for coq
  3.5-4.1: all
• lenny (stable) (editors): generic interface for proof assistants - coq support
  3.7-3: all
• squeeze (testing) (editors): generic interface for proof assistants - coq support
  3.7-3.1: all
• sid (unstable) (editors): generic interface for proof assistants - coq support
  3.7-3.1: all