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	5460088
MD5	6432D174C500F6C7A7B0462966E5806E
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	27BED1959A291060E875A24B176311945F480682
SHA-256	C4C0A572F904FA2D0663420553872259BF2A308E18D5FD53428D3C114DDB9CBE

Key	Value
FileSize	46768
MD5	8454533AFD3E06E6121BDB207EC1FFB3
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	41CA94056DBA3D1DEE4EC9C3A7D6EBA4871419DA
SHA-256	B45FCD63A8B8A329CDFD6A0F9B05DDFF7B7182FAB0705D64BC96EEFCE75BAD5F

Key	Value
FileSize	105883668
MD5	1DE3EBEA232B1A47AAB741B156F42263
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	72F1714000A5B7154737D35EA73CE1FC01A31C0C
SHA-256	5F1294192C51639D4DFAC915446D2E363ED540F69FB63878B1F6A67115E43B51

Key	Value
FileSize	23914852
MD5	321527C2B1256F104792A1D4F30A1AE4
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	46D6F9D897B7C724368EFE35FC81A57243D57B65
SHA-256	D25340DBB91EC828BA6A71546630A7738F8131084502FB39B786DCF6C715D657

Key	Value
FileSize	11282888
MD5	EB69E22A946622AEA8EC1561EF8A3CC5
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	11AB4FBCD84C8B49543DB58F15B451E1C9FCFF0D
SHA-256	1ECED9DBE7E4179D8489DF6527377CCB08BDFC2B1B5A3DCD7D1A65666E95FA9A