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	598BBAA1F874471A9CFF972690B60CAA
PackageArch	noarch
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. This package provides documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainer	Fedora Project
PackageName	coq-doc
PackageRelease	1.fc34
PackageVersion	8.13.1
SHA-1	17A3183B0855FA8C2770EA60F1195BA2CCB11C71
SHA-256	6B4B49E6358349A5961DB552B3E1B075237297697115B83DE0DC4895A58D5D03

Key	Value
MD5	4EC33058F338885C4EFCE839D06A6C4D
PackageArch	noarch
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. This package provides documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainer	Fedora Project
PackageName	coq-doc
PackageRelease	3.fc33.1
PackageVersion	8.12.0
SHA-1	31BBBF854BC2EC65D4D19B5CEEF35BE8C33D7CF8
SHA-256	407F729B2B75A6377B4F82D77D6FA34C49308C7CD91020097DB80B1E4C7F225A

Key	Value
FileName	http://archlinux.mirror.root.lu//pool//community//coq-doc-8.13.1-1-x86_64.pkg.tar.zst
MD5	4991074F9F2459C0028E70982CB49E98
SHA-1	7FF3E266C693B47A640FB2AC4E12DFD53ED3AFD0
SHA-256	E319CB1F8CFA4A061E007C99A75466B0DE229AA669919BA02917153DB5560B7B
SSDEEP	196608:lvMy/HJkF4LqWvDFFmws+7738pXWhmPUU6FFA5m+l+2SNptTwbbv6KOeFCZ:l3/HiZw5FmmsRWhm8J2SNptTki1Z
TLSH	T1AFD6330933780C12D21AAB747BAB841E6467B1AEE827EB5B3B714B01F72457D219F14F

Key	Value
FileName	http://archlinux.mirror.root.lu//pool//community//coq-doc-8.13.0-1-x86_64.pkg.tar.zst
MD5	E5340E2D3389ECAC084F2894596A94E4
SHA-1	61F09E4B87B7A082B966ADA6F07F324FFE0B2EB9
SHA-256	EC6341997040F843A75E29F6EA737C80812B4302587BFCE4FF5A7696E4AE38F2
SSDEEP	196608:gh+ntwETAffb/uU7dfxlyBHZtwmeZElv6YXB5a1OWWn31vrb2hz0Lyg9/tI6I4t0:gIKtVRxlyIZWK8WWnFjb2hzC/e6xDa
TLSH	T1B7D63387D57F1A07C62D22B1F7DF4215C4A652A9EAE7C3313E72780BF98582BD60224D