Parents (Total: 4)

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

Key	Value
FileSize	4952978
MD5	C1F0DE1D63AC4BAD635A8DBB57E4E360
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-coq package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	36B6EC4DC465000E56865C45F2257D9114A44297
SHA-256	25E55E077B9D918052A90777D9C3486B3DFAA25E5955FB767435F73E78B94CBD

Key	Value
FileSize	5556112
MD5	0F97A95F8711F6B55AC6889FE5EDB7EB
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-coq package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	76C75D3F2C1D0BAE041605BCAA7FBA677973346A
SHA-256	E2D1A262EA80E5F0EEE9D78FA4D34BEED2BC0F9ED3056CB3A064F7239FBEEA74

Key	Value
FileSize	5451106
MD5	1CF19095AEF096B52E084CC0F22CEB5D
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-coq package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	82A59D68416877C0A8A91B1CE76BA51416D6E63D
SHA-256	666B9291E15D489C1A527E3345941AD8C34F0C114A9D1B37D808D3BC0E71D35A

Key	Value
FileSize	6001570
MD5	21308D756229F1D63946208018B45844
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-coq package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl2+dfsg-1build1
SHA-1	E338E131979FBA0B7E76403E196EC1F6B194AC9C
SHA-256	C1C2CA9839A7BCF8EB3D43B62CB1613A71B927C1215642BD52FAEE7BADEEA49C