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	5608784
MD5	564393D381A0F08F6C47E901BA64C076
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	0EBABC24F84C4E984BA6937A9CF6BABD62CC5C82
SHA-256	F36112DB9F85521D2DA43E776BABF6029937581DF701C2280BA9F53B353740BD

Key	Value
FileSize	20345004
MD5	38991EC84238689947D12E6DC0F1EBA9
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	AF432B0BC704A29DD4DEC4F9A76FC45FE9ED0D1C
SHA-256	C7751F92786D49953E022DA79369EEF5B90CC362BB2A1BE55AF0E38B2A93B0C6

Key	Value
FileSize	1743216
MD5	7E5E722660BCF279B36ADCDF8BA61F66
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	882EA44132EE796118073191893A28A061C0F105
SHA-256	D391BB031263C9CB4A0251135AD056387F524DA75AE5F1D49BCD5DED9096604E

Key	Value
FileSize	15770472
MD5	23CCDE01CB09495EF7BD165BF41F64BB
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	085FDB56537C505FD617D71ABDDF8BCEE23B67B9
SHA-256	A7B320C5A52E1D7F93F46C93DCEB9130BFF268F0A4C2B777D3F9B395092C525E

Key	Value
FileSize	68443024
MD5	B171705A119206EC3894BC9484135EDA
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	60404B508CD311195BB1EF173D7A6B8C6A125E9F
SHA-256	F0726E41C76627D5ADC8D106521F6695C7A26EA4872E9D733226560981C02FE3