Parents (Total: 45)

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

Key	Value
FileSize	2446298
MD5	28436B0AB558E28532B5F9870C9AFBDA
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 Camlp4. For more information, see <http://coq.inria.fr/>. . 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.1.pl3+dfsg-1build1
SHA-1	0746971352CC7059DB2F55B1996C8FBADAD22C59
SHA-256	5135FC79335AAB59E092F8DB88A74584EF13DDA82FD5519F2BFF234BBD1AF7C7

Key	Value
FileSize	4662732
MD5	53619C3A90D298E636FB6A9D62D04903
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.1+dfsg-6
SHA-1	1213FEA99C542C929C4B5031534431A6C8CF0060
SHA-256	FBF5012CF8FE1261215732E9B82889A16BAB03BE76C7778B89E2278581835E29

Key	Value
FileSize	4930404
MD5	F93B11427AA71EFB6BF317292904197D
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1build1
SHA-1	1C1B5CB3C81E6FF7F7142DAC7C4AF31D13D11617
SHA-256	E3162F1CC1ECE28B4EE46CE8573A9120DE0DAB504CA50F71031E465DB02877E5

Key	Value
FileSize	2499540
MD5	66A42F11AA65884AABB1BBB1CA4BCB88
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1build1
SHA-1	1F0BF1A2FB57E0F60832155C092EBE86ED646404
SHA-256	B65CC6789EA311D2FD0CC000282BB23290C6F74D15DA29703B1B023A32813702

Key	Value
FileSize	9045382
MD5	01B07A58397E4057E860D1EA0422C315
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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-coq package to be installed.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1build1
SHA-1	2C3235DB5BF5DEE0CB51843F43ED7A7AB8F78953
SHA-256	39E4322C3A648C21B46142DFBCB289DF4AB4D7838010A61C8495FDFEAF380182

Key	Value
FileSize	7452960
MD5	CBDE20F761C41ECF73DA587800B4348C
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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-coq package to be installed.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.1+dfsg-6
SHA-1	345912F80ED07241E1500BAD33948EA3D700127D
SHA-256	BCD9064F7FB9BD76EFE462E9309F606403631F9ED4FDBA4FA852B542EB5F526D

Key	Value
FileSize	9438802
MD5	889A10EF57C887363EDCE76C38F804E9
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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-coq package to be installed.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1
SHA-1	3973D254D33EAE3F5746C41F31F685F715515102
SHA-256	3E1C3B3166683B3B0EF1433CF6F5DC1CF9468DE1FB37A14ED45398A3F768FE7A

Key	Value
FileSize	2338102
MD5	4DFFB017424101ACBBBDDEB8BECCDFDC
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.1+dfsg-6
SHA-1	3D63B26CBAB6C88FDD4278051BA2DB5FE595134D
SHA-256	F2D154AA954AC3D82DEC6001A74D7CB0A6D3AC39110714BB0A71E2788AC3941B

Key	Value
FileSize	8346646
MD5	C3E00F214EC3CEF98CCEFF139542DEAF
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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-coq package to be installed.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.1+dfsg-6
SHA-1	4142F48281BC0983699E00630AD8251B297E1887
SHA-256	75B3F2B189D3B5645CAD8F6C3127C811FCD920A0A785BB4BF96EDC80D642E4C5

Key	Value
FileSize	5222074
MD5	7D1EA9A0B140015EBD2892EFF8EE4021
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides CoqIde, a graphical user interface for developing proofs.
PackageMaintainer	Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
PackageName	coqide
PackageSection	math
PackageVersion	8.1.pl3+dfsg-1
SHA-1	43ED5FCB627BEBCFB98024A2E395B78D0826A826
SHA-256	787BD63A42A87136EEC8082DDEDFAA105BAD5043534C7B6BB5D30CDA18970942