Parents (Total: 5)

The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	46764
MD5	1CBD5B1EFB7E202BD4F6D1B3726E481A
PackageDescription	proof assistant for higher-order logic (gtk interface) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coqide
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	35A154F682A248D1B8C7990B0AA412D03E307479
SHA-256	5578F6B46C54C00DAA1B1A597F41A5A69D0F56653363B787B52C53BF10E0529B

Key	Value
FileSize	5460152
MD5	2207CBE0AC427CBCC0E52D04CE5BFB4C
PackageDescription	runtime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml
PackageSection	ocaml
PackageVersion	8.12.0-3+b3
SHA-1	15D9148C641540A14070B4EC72E5D74D4BE3E983
SHA-256	C8B7D6D456A79BEB331700D6862BFE4E0717CDAE5A89C95CCB2A558A5E68532E

Key	Value
FileSize	23913512
MD5	BB9006D39AF878892BCB32C9FD16B2A7
PackageDescription	proof assistant for higher-order logic (theories) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	5D4DC9BF2112F606A3AAB303ADA1C99FACC4BC27
SHA-256	C856E3EF2BF9EE0EF5AA265788853D7A5296DD829E950289C175DD12535C6A9B

Key	Value
FileSize	11283240
MD5	99D4B5AEA59EED04D489D484858BED7D
PackageDescription	development libraries and tools for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides and libraries needed to develop OCaml-side extensions to Coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-ocaml-dev
PackageSection	ocaml
PackageVersion	8.12.0-3+b3
SHA-1	17E578D6108D759CCB22FBA7F5B075FC7D1D4821
SHA-256	09D60148A5C9A72B6829D319A6D6EEAB88BD9B048FDEC3C8CCD3729DBDCBF33D

Key	Value
FileSize	105872392
MD5	15A2A3857229CACBF49AB273B9043E48
PackageDescription	proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	C3E59853B027561CABD2DD1922CB12E937FAFDDF
SHA-256	C8809584A66BBFEB4911EE35735E9F37613FFCF889F83CA145E2EC9AA9553274