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	1723020
MD5	FF879B2572BFE90E6C83B6B262340BBD
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	116192D75CD953ED5035A269E4D6EA1B58C979CE
SHA-256	9057E709CDA8D1C9179E932C3D4327483C33266A2CF7D4908464FF423F2A17F0

Key	Value
FileSize	7575772
MD5	0CDA97F51035C8C190C341D8F9987CA5
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	0CCB257431A90B2CC1A1261E33CCC01CE29E0651
SHA-256	F857F52C1AC0F4E965A746843163CDC2161A0F606F407FEBC9729B5680CF82B7

Key	Value
FileSize	87886220
MD5	1295796AA4290FDD04CCACE11891589D
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	409EDCFE119F5125231940EAE1DBA352C18CC075
SHA-256	97B1EE3E60E4033C26E21F15C6161E3675AD2518B51C40917550E5CA3DEA2DE6

Key	Value
FileSize	35237680
MD5	0A2C005F588F62FAB77A7C291E0E001D
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	AFA507BB296D45A54434F895ADE428AACEC5076B
SHA-256	9CC0C33268B662D2F778F8604F63304ABEAE4AFA851F15B158FB3B4BF0DB6ED7

Key	Value
FileSize	18658564
MD5	01DC9D28C30C6F5AF4FF293B64883AA3
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	34BAE399854D683AF3F2CE573864C2811712C082
SHA-256	EDA154D012FD00F4CFCFC5B9F7DB0DFB30ECBF72DB47C74BBB76FC2979CB8A1A