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	1834728
MD5	FA6B265A79DF4D0082D6C9C91A3673F9
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.16.1+dfsg-1+b2
SHA-1	6DAC54E3491D594D6D0EF6B96CCFB9078FC1F1FE
SHA-256	5AF5C0F380223AC43960A475D7FC8D5676780860BDD05FE9D169A532AE8B2CE2

Key	Value
FileSize	43114464
MD5	3570FF4BD8B526A302237ED52DC90DAA
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-core-ocaml-dev
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	7753CC6BB056192A1BB0F000714FE8EA382CC779
SHA-256	FD3544A9DAA8453BE39F795B2980FDA85AB3190538274F0D9A23DE56BE94372E

Key	Value
FileSize	89867592
MD5	5C98C0DA812F0C08495E37B6E1F672E0
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.16.1+dfsg-1+b2
SHA-1	A2BE473D3126983330C200CDDACD09071B6664A9
SHA-256	4C191EE9135F30327F6FA961A7D93B83310F1F254B06227B26E13CF4344A1DD6

Key	Value
FileSize	21527688
MD5	C6B0184384E859F800E0ADF601F80BB7
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	libcoq-stdlib
PackageSection	math
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	829D1B4A0F2AAEEBAB9810F53CD3CF412820B3AB
SHA-256	3D735580AE60D1658D82351A06255251CDF1EF511F1C3B8629672D13B23501C7

Key	Value
FileSize	22259280
MD5	6E5F5F1A769525120227E5136D69EFFE
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-core-ocaml
PackageSection	ocaml
PackageVersion	8.16.1+dfsg-1+b2
SHA-1	64A18750D182CDA9105F94E214AE4F9A485F9456
SHA-256	5D28885232214A570C5CE83630331A225A25E7F682D941C02EFE88C628EADBD2