Parents (Total: 32)

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

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

Key	Value
FileSize	1701988
MD5	361FE2CDA62C36B39BA44170281478AC
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	55C5F051F5426DAA58C99726BD4912B68C715E08
SHA-256	0491ABCD967A2561C193EECE87D5DECE48CB46925CEEDC0D1F26FB2FC9213AAF

Key	Value
FileSize	1351584
MD5	42F734714AE3FD9524E1F3D68285CCD5
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	56A1BB54C35D8FEB7A505088417E2B62CC1A1BFF
SHA-256	57B75E77ABF61ED45075754922BA577F0F9A767DA5C29F69EB1A6EFCC394F7EE

Key	Value
FileSize	1825432
MD5	6DE5ADF02E4FBFD2B9C41B8FF58A44C9
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-4
SHA-1	6C5F6F7FA2495A5FA355F3C18B190B761A39308B
SHA-256	ABFDC6A8370FDCB85BD53DC304E398B10ECF601E7311ED0ADB370C2E919EC27C