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	5685396
MD5	CE47FFA68A7E1C5415168AD35E545DC6
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.9.1-5+b1
SHA-1	2DE583BEC8E4174F4A0D661E2B241560DEF09FF8
SHA-256	18CCA449FAE73958B50DB882BB9809C95B50913F6401C519E0E342B2B9A0EDAD

Key	Value
FileSize	70365144
MD5	B23AB1B1D1BA264533AC47C3200815DA
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.9.1-5+b1
SHA-1	B81DDB2D5D649DB81CFE1C4282E58533ACDA4BDD
SHA-256	52827CF08D9FB4A0113D5C2377874E6D4608855441DCE6EF0149EDBC38EBAE48

Key	Value
FileSize	30160688
MD5	79DC8D395764A53E2E7174E9C489FF36
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.9.1-5+b1
SHA-1	43303483F79D49CF7F7D85E6FB9303456872A65E
SHA-256	F1045BBC4C4B0D445165256DBBB3B73A5398813ED92DA2715B7FD1046A55D2BD

Key	Value
FileSize	1856292
MD5	25B0B2266078BACE55EE916871FFFCBB
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.9.1-5+b1
SHA-1	C4B53AB737F4CC864BAED988EA931D879CCFDE3A
SHA-256	8DBC2D20CF55DEF848C470F4EEF15C049F13721EECB99AE574AD7E99191A0CAD

Key	Value
FileSize	15105664
MD5	0B541FF432B23A7D75D4988AAAF6720C
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.9.1-5+b1
SHA-1	FED316CACD915417A154415A8B04E11B1F0C2762
SHA-256	4802162F56B52FB88A9D1C36E8B5A48E2551EFD54D0F4A365B9146FF3B4A514B