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
MD5	CF4B4FAF7C5744CB24BC47F07A6A1A02
PackageArch	noarch
PackageDescription	This package provides GNU Emacs mode files for formatting Coq input.
PackageMaintainer	Fedora Project
PackageName	coq-emacs
PackageRelease	1.fc24
PackageVersion	8.5pl1
SHA-1	C79DCB25F290C605C7E3925606C1803459F77707
SHA-256	D973AD214B27809DC9EAAF747412D8B9DD0D5A94138BAF71E809CD8CB8464A48

Key	Value
MD5	F8DC7F93DB9513CF0A0740D5A4065362
PackageArch	noarch
PackageDescription	This package provides GNU Emacs mode files for formatting Coq input.
PackageMaintainer	Fedora Project
PackageName	coq-emacs
PackageRelease	1.fc18
PackageVersion	8.4
SHA-1	AE85B7AC89E61406B54D0E424F5D2E34EC1913BF
SHA-256	CED5E48FEDCABB76A19A2475790B461EC171168E4E51EF7517AC3710614A2B05

Key	Value
MD5	5BE15E66FFD27954D8BA6E8CD34B7541
PackageArch	noarch
PackageDescription	This package provides GNU Emacs mode files for formatting Coq input.
PackageMaintainer	Fedora Project
PackageName	coq-emacs
PackageRelease	1.fc19
PackageVersion	8.4pl2
SHA-1	186596558247BFEEEE19F5A59D18FA9F1B891510
SHA-256	D632002C451A79FC35B1AA68B87E33B3D33885E1FEA01867F81C2242042E2B69

Key	Value
MD5	0DE54E109664CC22ABC3D4390A6665E0
PackageArch	noarch
PackageDescription	This package provides GNU Emacs mode files for formatting Coq input.
PackageMaintainer	Fedora Project
PackageName	coq-emacs
PackageRelease	4.fc23
PackageVersion	8.4pl6
SHA-1	4F0A1205738B2004D75F02607D6812AA656865EB
SHA-256	207DB9C7C2EAD4453FD04A36CDCB4ED248F5DDFFDF8E6488876E06961F0DCF61

Key	Value
MD5	96E5A0FFF8CDCFE7FF0AFCDEA4DC335C
PackageArch	armv7hl
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	92AF7F9550764F9E764C985EFB3B4A3A813A32CF
SHA-256	7397C00646E48C9FF10D79498B309AF4F56D30D48759776E498B288AD53D6A70

Key	Value
MD5	9274B8ACA7CBE54EF7EE7BDCE4465FD1
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	0C1503F51138E2172F823E6D5F3324485476AC57
SHA-256	889D703C9A0B17635FEAC4142F2A8E3D8C777CDC4D492138D1C19BDFCB16FCE7

Key	Value
MD5	D08736E75DA711AB7F268DC22DF807CB
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	1.fc22
PackageVersion	8.4pl6
SHA-1	06970E7FA912D0007272B189DB432725A2536A53
SHA-256	D8F27F1300C7E9DABB6AD176383414C1E5C3A2E43FB71E3B0E00C621B112AC76

Key	Value
MD5	B39B8068526AE81F98F63014615D9D11
PackageArch	noarch
PackageDescription	This package provides GNU Emacs mode files for formatting Coq input.
PackageMaintainer	Fedora Project
PackageName	coq-emacs
PackageRelease	1.fc22
PackageVersion	8.4pl6
SHA-1	53055988A4E89F00E14DBF66C7D531B769E87750
SHA-256	7E745C1C87C78C7487AC435903B4CDD8F1D0670C5912FD4D16585AC90BED0EE3