Parents (Total: 115)

The searched file hash is included in 115 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	46732
MD5	058AA5746FD0A15A7A5BC7D0F72DCBBB
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	019A3D1B1A36D6B9424011F5354917663F8FC025
SHA-256	A03CC22DC04B5AF0888089AD2465E460687AAEB08DE06F9587FFF80D5E5C9BD3

Key	Value
FileSize	1719048
MD5	89D84E3E98494977A65EDAFCA2F4444A
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.11.0-1+b1
SHA-1	03334AE3B8F29E5D1228555010BCB958B7F670DD
SHA-256	64FF34447A1B612DD3F59E5D1FBB593E4DC6CF6C43E36916C3F52DE4975CAABD

Key	Value
FileSize	7758156
MD5	2438578B8FCE027A3BE422D4CA2E7443
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	06206D670135067F428C8FF09A10AEFB346DE578
SHA-256	1E9EF830EE90B7E829E04009FB79637795C3CB8FBE16C9E39220A75D4FD05E92

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	16465272
MD5	5425976A23BA5A9F7F3010730B63BC8B
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+b1
SHA-1	0D12C51A329C0618ED4E9758BBEBE7D6F51C4582
SHA-256	C13BD27322A7696F2A47B430F0AE03BDCB7C0D63EA343800497F0179C11B2357

Key	Value
FileSize	1759240
MD5	0CE905F5967317A22488937C14BA4B45
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.12.0-3build1
SHA-1	0EBC8443621D94D0308923E4930550F18906B1E6
SHA-256	4CA547F01659B262153C14B13254D29CA5B0BA870A5D93A1414242D8B1EB04B7

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	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

Key	Value
FileSize	1736840
MD5	8253BDBF3499D54B9FE2E97779A83A5B
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	126B261B43B61AC64AA9E18EB61EDE156F14ADBE
SHA-256	CD8A39C002D84198FB06D791B48BD4A54AE13105267AD1C03199980EE62311C1

Key	Value
FileSize	83882096
MD5	3A3710796C6AA8A5FC3B22A2BB878798
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.11.0-1+b1
SHA-1	12A3006AEEB4631F2D305548FFFF43BD7752DC1E
SHA-256	D3589DAEEECADF0CEE0C55C9B1EFE0F4BEC029F73B28EC573A2490563E0D10B2