Parents (Total: 18)

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

Key	Value
FileSize	4963506
MD5	BA7ABE9928AEE6A5516450ABDB1C21E0
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl4+dfsg-1
SHA-1	00968E7127B31E10BE1AF1EC2C59AA4F0A813499
SHA-256	44259715F59BC22D2B128CBBB03D372EBE2CAA3F7FC29454EC83B36378D473CA

Key	Value
FileSize	5468332
MD5	F332F8AB3AEDFCA2EA5D895ACF7ACC2E
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl4+dfsg-2
SHA-1	043B2F9DA962E5CB78F3663B4E37BC5692AE77A1
SHA-256	3E7B4A59FDEECECCD1C3DF54227A6FF7BFF411C673EE74FC5DD3410B8C75E4EF

Key	Value
FileSize	315944
MD5	8599B8C5AE100B5F209FBBE248B9F7D9
PackageDescription	Coq tactics for reasoning modulo AC (theories) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libaac-tactics-coq
PackageSection	math
PackageVersion	0.2.pl2-4build1
SHA-1	173DCE03E488A3765F3AF519B1F8288F16FEFDAB
SHA-256	A480ABD302F96E407659D94A54C33AECD6508715C44356858B2E6949AFEA8237

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	5575862
MD5	52EF17A07271AC90084221B40C6526AE
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl4+dfsg-2
SHA-1	475E3FD9FF80CAC89846BCAE1E1289DB876F5078
SHA-256	66B9FE818039F99454E94E63317E5E1D6083B9B54BC1172D365F87461800DF53

Key	Value
FileSize	304850
MD5	9C351162B617B42B35E6BF6EA7ECC541
PackageDescription	Coq tactics for reasoning modulo AC (theories) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libaac-tactics-coq
PackageSection	math
PackageVersion	0.2.pl2-2build1
SHA-1	497FA1B770C9E7CADDFA63054C242DF3A2FAFF10
SHA-256	2C3E75DFEC2C3707338D4A7BA47A9E8DFE233B4C99672B71F0FC8D156C553104

Key	Value
FileSize	5458708
MD5	865C1DA1C752B7C84563F5589412DAC4
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl4+dfsg-1
SHA-1	52919103CD1F45E4FCCED1ED53A17E675DA76FCF
SHA-256	FE225C62DA9AAB23613B41267133C65509329667996D4141DF224DE130ADDFE6

Key	Value
FileSize	13989620
MD5	1100DE583979A25EFC59512CD6355EDE
PackageDescription	Coq library on floating-point arithmetic This package provides PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats), a library for reasoning about floating-point arithmetic in Coq. It contains both definitions and proofs of basic facts, old & new properties and algorithms.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libfloat-coq
PackageSection	math
PackageVersion	1:8.2-1.2-9
SHA-1	6A5A449125CD50B0F5767C1B608B14B5549721C6
SHA-256	A16A3BEB59946071522D7BCA831AD1622BD17E9586B7951C478899AAC2BF7619

Key	Value
FileSize	6077988
MD5	4D7A525F99270AA400D3B7A7E0D76AA9
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl4+dfsg-2
SHA-1	748F081162C5B052CE8EF5BF6128CC0B285EFF38
SHA-256	A421212383849FAC27CE077F0664512363BE8869722C85ADBAD3AB5E57B7B2C9

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