Parents (Total: 40)

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

Key	Value
FileSize	1102760
MD5	C5629DD33C8CDF740FE56CDFDA0C902D
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.5-2build1
SHA-1	12949FAE458712936EA2F3FA68925533012803EE
SHA-256	B120D6C79B6C0A6C71B8AB3E2B173091DC82D451534BFEDF054CCED39893EB6B

Key	Value
FileSize	1891522
MD5	CB7D9EE933D0A3ED18A31F1F382F0480
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.6-4
SHA-1	1AFA7C97D5564ED5491914AB485355DBE5F05B00
SHA-256	65681B65A2E4A4968D61B4874575AEB105BD385AF735E62C4B6E9205D7D98035

Key	Value
FileSize	1114752
MD5	366540D8EF77D0879DE6D94595C933BE
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.5-2build1
SHA-1	22AD98B8D4A27264CE768BD3A4F80BC9B2362594
SHA-256	70B734462B399E10A1A679BA90F0A0ED2C958BFB418F8DE5FC4928E867DE6AD4

Key	Value
MD5	DE872213A0B37277F3AF21F32179F4BC
PackageArch	i586
PackageDescription	Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification.
PackageMaintainer	tv <tv>
PackageName	coq
PackageRelease	1.mga7
PackageVersion	8.7.1
SHA-1	26E0F32B5C1ADC76F5F1AC492B591F78CF54E206
SHA-256	2385B1CD79E6B83F4C44267BF4D6FA65C6A8C3E87C0FF8A239780E338D351501

Key	Value
FileSize	1600522
MD5	0719C9C9485DED35D138160429208FAA
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.6-4build3
SHA-1	27024FDAE8DF81390223FB8867A0AB85AD2EF0EE
SHA-256	D84938DC2F09CDDFB073F36E4FBF7E0A8A6CC5D9CAED7BCB6023B898E6C6E8D8

Key	Value
FileSize	1434024
MD5	BA2D2E02F18E7ADE4B506BF74C2C3A66
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.6-4
SHA-1	30F515B4B0E7F7B800368495479B0F8E691207DE
SHA-256	44D39F6985C73681387E4F1D1FBBD0542D35DD9AF1FBFE1222D399697C0005BA

Key	Value
FileSize	1762116
MD5	4277563E41787AA974ABDD712EA503B4
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.5-2build1
SHA-1	32C31A8C3801423F481BC036EF76CFC5B2D7DBEE
SHA-256	76EB2D588B3DA49CF5DF28BD319EB415801AA10B5E70417BE395B780AB1F48F6

Key	Value
FileSize	1388920
MD5	ABFA7D342FD6B5D739B284261A909D0B
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.6-5build1
SHA-1	37A49C83928E08CE2577A5A8D1A3EBC4044306B6
SHA-256	D445D0EE43833E64BEED436591A669F8BFBCD0326D1FE5F22DC001666108ADA4

Key	Value
MD5	44E78D71288983614F8CE7448ED66C61
PackageArch	aarch64
PackageDescription	Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification.
PackageMaintainer	tv <tv>
PackageName	coq
PackageRelease	1.mga7
PackageVersion	8.7.1
SHA-1	4EF33103EBA4B46030C0DF6D8A466FA2910305F9
SHA-256	402776A61FC88C883BFAD7A27E28B12F26A1D44A6FA083D68B5A5192FF82B3AF

Key	Value
FileSize	1544828
MD5	F26EE9BF27978AF0B8391FC2824E1241
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.6-5build1
SHA-1	53D10ACCC3FE5C902A90C08C3718879A34E5E086
SHA-256	E41A56E5DC054395A99A0AF397B673D763F9BFC1C58A78CF8F49DCB8B1880627