Parents (Total: 5)

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

Key	Value
FileName	http://archlinux.mirror.root.lu//pool//community//coqide-8.13.0-1-x86_64.pkg.tar.zst
MD5	49B7E73C9964CF1041E6478EC7D16D87
SHA-1	6C6DBB8E77149752EE2F1A05F075BE031B5D8841
SHA-256	35285108D448F15BEA2D94F88B34141217FCBF761D4FD2D49D160A6002AB8D20
SSDEEP	49152:GI8fpC9q4kCQY0Wk2f+GW2DIqllPzzzr3giyqzZkq7ROnRWF8DIjNMzydFiUa:GBfYh70Wk2m5dqnPn3dBxF8cjNMziAUa
TLSH	T137C5339B8BE0CA8484E8CF72C8E557101D569E8F42D04DDABB5F5F43980E88F8B577A4

Key	Value
MD5	ECCB922139F5297667615B434B7E88BF
PackageArch	armv7hl
PackageDescription	Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc34
PackageVersion	8.13.1
SHA-1	3D2DD7670291DA2139E3A7ACDF8B4257725BEE58
SHA-256	246EF463E7ED5C64D4F9C133E872D7829E24FC225D192C4E7FDDC88B974D58AF

Key	Value
FileName	http://archlinux.mirror.root.lu//pool//community//coqide-8.13.1-1-x86_64.pkg.tar.zst
MD5	777DCDBFC63EFE0D340DDC493E6B6CEF
SHA-1	082FEEBB8511C8E3F65223CD7877F7A97D4D99A8
SHA-256	144CBF27E2F74B0E1EC58C1481F6094F00EA0855FBB220C6B0CAD0E64A9F0C83
SSDEEP	49152:CUiIxdDjSkeBvf/PlbUlq0PimS7ph5E8V9GU4lgUncHM1/k1VN5wQpPfW:Lrik+/PO93YhzV9GU1M1/k7NJW
TLSH	T185C533ED529D413CEF244E768E3EBEB30A5663E880508CBFDFA451ECE5925A185DC780

Key	Value
MD5	83D3B9F20D26621835318E8F68EB1C8C
PackageArch	aarch64
PackageDescription	Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc34
PackageVersion	8.13.1
SHA-1	52D726B9A961873605D642540205EAF6165676D2
SHA-256	B0DE5DAB104B0C67DE3329EA0E05E91661400471F957F6D042C310487B058964

Key	Value
MD5	4B69C01E0C1DCA686F3FF1B4C18B9C83
PackageArch	x86_64
PackageDescription	Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc34
PackageVersion	8.13.1
SHA-1	E1D4682414BC062283E85D96D5044F75CB8B0E8B
SHA-256	9A6C9842A6A180D3CCD5B19AE8A27EB20740BFD6EB02FFC9FCE43AD84EB47B45