Parents (Total: 20)

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

Key	Value
MD5	A555D091E346D5C97FFAA9B1CC461889
PackageArch	armv7hl
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	coq-debugsource
PackageRelease	1.fc32
PackageVersion	8.11.0
SHA-1	11666A05F6DD65EBA89524EE84CDB965B6BC7DF5
SHA-256	9E161C50BE22A06D1A0C04E783C5AA652ECC3F27E1306B7FE44901DECDF8472A

Key	Value
MD5	73318BAE4479DF03A474B2A130AB5F42
PackageArch	aarch64
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	coq-debugsource
PackageRelease	3.fc33.1
PackageVersion	8.12.0
SHA-1	1373ED4DE9C4AAD615481488035CE0B78537E996
SHA-256	49DE9FF34005693FFDCA741B7BDF75250F8D3104CFAB7D3878D14A57FC99EC91

Key	Value
MD5	2F3E4D36B90D48FC41DC254678253997
PackageArch	i586
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-debugsource
PackageRelease	4.mga8
PackageVersion	8.11.0
SHA-1	25A7D0AB5BACF6E2C92B1BF760C14C2966F5E17D
SHA-256	51A872F8F5905210CEC0C0B50F81C1F72D6A064CB56DDD63D15E67EA97C86D6F

Key	Value
MD5	BB26750CA1C31EF65939FD3A2BB0B328
PackageArch	i586
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-debugsource
PackageRelease	3.mga9
PackageVersion	8.13.2
SHA-1	27B04DC55CF9075B962E82EA1FD34E01EADD5C55
SHA-256	F5371D59E01A276AA95E9E6220332E8264676EF46D45BF0447C36FBE2D65B6DD

Key	Value
MD5	4411635EC615AB9E81F0706DB693AD17
PackageArch	aarch64
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-debugsource
PackageRelease	4.mga8
PackageVersion	8.11.0
SHA-1	42EDA17C95AE7EEA44D083FA5C5FCBDBF6F3CEF5
SHA-256	471461ED8253DAD269027FABACCBF86AFFFEE76454ED4FC52165FA7DB434917B

Key	Value
MD5	C78BA2E3C58D02565F102526FD5CEBD2
PackageArch	x86_64
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	coq-debugsource
PackageRelease	1.fc32
PackageVersion	8.11.0
SHA-1	45C6EE820DDBB3CA41B81B1C05D881B0D8F9FD4A
SHA-256	BC6A12B0D7F2B3A2133864304BE687C3F25A8AE5BE5164D2037F7DFDD4A172A5

Key	Value
MD5	2E03D3B82093265956EBBDD9A029864F
PackageArch	x86_64
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-debugsource
PackageRelease	3.mga9
PackageVersion	8.13.2
SHA-1	500092B9312AB382ACE885F73A10960C23AFD6DA
SHA-256	21E371837AF8E72CE54DE55854027528FF9A2A444B3A10ECB9DF739E39E793B2

Key	Value
MD5	CA0ACADB4EFE5ECA06DE95B7833030F1
PackageArch	armv7hl
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	pterjan <pterjan>
PackageName	coq-debugsource
PackageRelease	3.mga9
PackageVersion	8.13.2
SHA-1	56EA8178EE8AF6157A385887C8F2AF406041738B
SHA-256	0E91174897468403AB75F2DC57F282D42C37AA922ACAF68CA5983480E33D93D2

Key	Value
MD5	E3A65FDCF85DD504B1961A508A3A0B49
PackageArch	armv7hl
PackageDescription	This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainer	Fedora Project
PackageName	coq-debugsource
PackageRelease	3.fc33.1
PackageVersion	8.12.0
SHA-1	5E89D1A91A3FD244BCBD7D51E6CC83CACE990A39
SHA-256	78103730A5B6CA53605CBE6442E5193C40CAFBB1FF7FAF50B5BED3A5541AF733

Key	Value
MD5	C8475056B6D513AE51E758781D57A218
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	3.fc33.1
PackageVersion	8.12.0
SHA-1	7DDFB1E2A16980B7C6F67C4F9FB76C3397481450
SHA-256	DA5E344B0E07B82B25960E9430780B8529D60C7A8B672433AE134494E6B40D27