Parents (Total: 4)

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

Key	Value
MD5	E4495A4E9631EBE6A6100F91F4A84102
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	pterjan <pterjan>
PackageName	coq
PackageRelease	4.mga8
PackageVersion	8.11.0
SHA-1	E12D16D0DC26F2EC024D21949BA8E76CB67F4C4B
SHA-256	F6B816F3E2F504A619EF433968AE2D2FEF2C6B4FD79F145639763F3DDB475E3F

Key	Value
MD5	5AD47C7D207BA26F49D3675C654151E4
PackageArch	noarch
PackageDescription	The coq-doc package contains documentation for coq.
PackageMaintainer	tv <tv>
PackageName	coq-doc
PackageRelease	1.mga7
PackageVersion	8.7.1
SHA-1	B3D1998E27359B63C336BEC13CC73A37C2A009B7
SHA-256	60D81E941EA2FA1A8E61F3D2DAF6E042047112C8F044D149CFCF0835E7BDA45D

Key	Value
MD5	88B10E1C61503567A8002E6E39AB21A1
PackageArch	noarch
PackageDescription	The coq-doc package contains documentation for coq.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-doc
PackageRelease	4.mga8
PackageVersion	8.11.0
SHA-1	8610AF26936792A40F8F20785CE3B20EE205AB61
SHA-256	1BD9A13042CBDD5150F006E607FE78842F0FB1B44C791535FD2EA08F0690708B

Key	Value
MD5	B886D9ABBF13DBDAFB48C94CE57713BD
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	9E62DF233E1AB3818A91AD80D9FE60C9547CE26B
SHA-256	E9F8F38BDEEDAC9C39FBADC941A9D704238AF7B7BE75A8C4931ABE256F4AA16E