Parents (Total: 22)

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

Key	Value
MD5	30F1794F62ED7C3EC346212F938A2F45
PackageArch	aarch64
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	4.fc23
PackageVersion	8.4pl6
SHA-1	008E9387ECC1ADEBDC9652A57B95D57FEC753697
SHA-256	107062DDF62B2028B2B00CCFC3DE8DF5F8543796C25C1E1ED860ECFCF8F0317B

Key	Value
MD5	BE33B15F272D027BC21C9732FBC68642
PackageArch	armv5tel
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc18
PackageVersion	8.4
SHA-1	1211BE924673AEAF8E084EDB9931E304CB2C3429
SHA-256	CF742F33F805E47F13C623C9D80E88F286FB39D8693FDC43760F87349F057035

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	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	748916
MD5	C43ED7E10B64A1182437BD88F3CFBFE0
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-3build2
SHA-1	238F0B4DBB7726585502E7DB625B41FB29AEA622
SHA-256	B7BB0494318D904476F77A60ABF731391C1FCD9A33D19B283C294890C9543FBA

Key	Value
FileSize	797340
MD5	A75119AA2590AFF8C9ABDF3B4149A1D8
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.4pl4dfsg-1
SHA-1	57E67381F6AC3D8461CA6F39DD4303ADB6891340
SHA-256	8E18FFCFF3429673A72E457073CC2E031BE53B2A961015D98A1554EDA81AAB2D

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	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	730768
MD5	78A007B9865ECE570A820F45397EA349
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.4pl4dfsg-1
SHA-1	6DB9B9ADB82AB70CE01D6DDD980825C81252FF77
SHA-256	5F6B88AA15DC24569F60D0A6760E298AA963B2C0FF098F7D394620F92456196C

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