Parents (Total: 8)

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

Key	Value
FileSize	743834
MD5	D2F3F8E549F0B5AE48EA15E857C7F817
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.4pl4dfsg-1
SHA-1	AA7F4AD9E3472C58B3CFE6ADF88D36E55D5A0657
SHA-256	5253C6829ABDC7E076C94D0EAA35E7CEC85C5D3ACF510F95271A66105102FE8D

Key	Value
FileSize	203000
MD5	DE99B12052EE7B2E9851F71179786B5E
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.4pl4dfsg-1
SHA-1	6535D3687D3F635FAB6C5FA2A1863E89226B184E
SHA-256	32308BF6B487D9DDFCDC1C0A67A5740385EBEC34D4F2D88A38A5E491D76CFA84

Key	Value
FileSize	642416
MD5	35992AA3ED50EDE2451389C02CF19974
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.4pl4dfsg-1
SHA-1	2115A545EC2739051243327AFB3DFBA04F896E1A
SHA-256	2B5A1C31C7FEC307E745A8FF03A254733FFB3C23D7DBE2EF46FA1F65593BCBAF

Key	Value
FileSize	677516
MD5	7CFC9072E001440FF20B3744C187AE7A
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.4pl3dfsg-1
SHA-1	663770FE8109E961F3AF8B59B46384C4D694532F
SHA-256	9A45E5BF7E1753EF79F5231B37590359C421641FA3E29DA2884C23493D0C1689

Key	Value
FileSize	744612
MD5	22D50F140252EEFDC91412967322BB2D
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.4pl3dfsg-1
SHA-1	6F447A5D9E315DC4FF99175DCD25AD3BCE408ECA
SHA-256	34A8C78E08BC2D5424734FF5983061DFDDBE92B8511DE359ED7AD2FAC5ABEC03

Key	Value
FileSize	771490
MD5	D754F6FE0F0B7DA5CB05F96A2BE2737B
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.4pl4dfsg-1
SHA-1	F0AB328F7EF81834038893DE437817AABF4F41CC
SHA-256	436A963046097CB3C85021ECB7EA42C636C38C9DA7DB2136E321BE04B9EA3254

Key	Value
FileSize	678034
MD5	1DBB65CA6A20F3F8C4102A66AD879D99
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.4pl4dfsg-1
SHA-1	203514BBB1D1F167F02DC7094D88A834D698D694
SHA-256	1F7384D9720FD4DCD1E795C4179932D31212A1F7F5D469A8D5DE1C4FFFCE8C14

Key	Value
FileSize	202916
MD5	8C8AF01E1FA09000FB1A9C405FDAA4AB
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.4pl4dfsg-1
SHA-1	BEC27B3A8F8A46A2E65DC9505CBB3943D1B50699
SHA-256	019C91E4DF837B19A9B96D5652B6802C5D596201C09A76429D6584F295CF6E8A