Parents (Total: 15)

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

Key	Value
MD5	825F0E91F37D26E255D1721DA9ED8F1B
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	3.fc33.1
PackageVersion	8.12.0
SHA-1	DA46AD5257C6E14B982B00BCE43701DD01358225
SHA-256	B25A30FBBF6251F691395C97D8EEF740AEF6180C0E07454498D5DD194ED4A3AC

Key	Value
MD5	DA2313107102EA92519BF5B6CCC0289A
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	3.fc33.1
PackageVersion	8.12.0
SHA-1	FE1F0C607B2C0222DE85367A2E9405DE618714F0
SHA-256	E385C3C83AA0CCB8547A1DE25EA780FB644ED3A996836AFF091DBEE344AAFC32

Key	Value
MD5	DA39DE9AF59970953DD3F3605060C90B
PackageArch	s390x
PackageDescription	This package contains development files for Coq.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-devel
PackageRelease	bp156.1.14
PackageVersion	8.19.1
SHA-1	6F0FB63514414159E78DB9035E9ACBCD644BD673
SHA-256	619EB041B63C084AAD143D12D2C7AF23F6D591EA144FEB9B6D6AECC0FE9BC2FC

Key	Value
FileName	http://dl-cdn.alpinelinux.org/alpine/latest-stable//community//x86_64//coq-8.19.1-r3.apk
MD5	0C97B0CD7DDDE140EE3CF52115926B78
SHA-1	D08C9AF83D87F0140465F271B5A49632ECF50D55
SHA-256	90492AFC057AB5DC5D080BFC6E9EA17A11BCF60DEA41D62C22C893A26AF94A35
SSDEEP	6291456:3ucqf5eA96TkTLp8/L8mS8toMc8kXAJO7xd1Tie73:3pqxei6TkW/L8mSlH9+e73
TLSH	T15CB833D2B017D67E3509F46FAA6DDDFA123D3DC420F71042D935A2E5480AA5C3BA2D2B

Key	Value
FileName	http://dl-cdn.alpinelinux.org/alpine/latest-stable//community//x86_64//rocq-9.0.0-r0.apk
MD5	5D93E53AF3565788314E5478B21270F0
SHA-1	C1C3BCEE355B44DFF41F4204E1DE39536DB2E878
SHA-256	AA606F6766D4D1EEC598D9D23248F9220981B42C678687F2DE9854F1FAF03536
SSDEEP	3145728:RzRN5F83HL22XY4DXTOeagkXbxOiXxHSrSKf61CO03RFbAEqsq+oe2df6N2xSU:dT5F83HL22ISTOeNWbxOoH2MCn3RdD2B
TLSH	T1E298334CA0204A6934CE7312FD86C2CE3B771DC0C16F4AD49EAE1955D9D8C9DAEE4B87

Key	Value
MD5	720F8C05721D6D87AD3FAF8F59924745
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	3.fc33.1
PackageVersion	8.12.0
SHA-1	CE861A50BC3A2E9DB84A67370C321F7A50D73289
SHA-256	928F5EE69309BF3CCC1B2FC6C4B28B266C659483C2741DF98D86984F68A826C0

Key	Value
SHA-1	56D588354E77E8AAA0B3E024F0CA8BD06C383CF8
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30.snap

Key	Value
SHA-1	88B3EFBD3EA5DFDB002DE7C9EC3B3F28F2DC3022
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29.snap

Key	Value
MD5	68F2FF20B639BD6DE6B6919793ED9E01
PackageArch	x86_64
PackageDescription	This package contains development files for Coq.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-devel
PackageRelease	bp156.1.14
PackageVersion	8.19.1
SHA-1	B4A18D3F802962279607014AD0090C5768D183C2
SHA-256	41183CEEFF2701E8E8F5621B4D6AEBDC9E4C71E3A94393CFD2DF29EF7CD2E6E1

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

Key	Value
SHA-1	198D3BB17C0DA24D5E7AB88D549B081076EC2C79
snap-authority	canonical
snap-filename	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap
snap-id	o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28
snap-name	coq-prover
snap-publisher-id	oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ
snap-signkey	BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul
snap-timestamp	2021-02-26T01:53:46.711754Z
source-url	https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28.snap

Key	Value
MD5	610CC6E4F5B5ACC4BDE352F20EEBAFFF
PackageArch	x86_64
PackageDescription	This package contains development files for Coq.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-devel
PackageRelease	1.6
PackageVersion	8.14.1
SHA-1	30C6BC41C9C9B4065543D8B742209380E970BFCC
SHA-256	CA4BF26678FB7C28C2FCC552EDD9DAC642089A67CDD411190592349F92B2A3DA

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	993C3EF3BF13D302515A20E0DE175379
PackageArch	i586
PackageDescription	This package contains development files for Coq.
PackageMaintainer	https://bugs.opensuse.org
PackageName	coq-devel
PackageRelease	1.6
PackageVersion	8.14.1
SHA-1	BFF6A6A12BC074B513F65D49B2900AC303916D9C
SHA-256	2AF26F84A2FEF9FE4AF54F105E8EC7DD0FC92AB7E2F84235A3A5CAE2CB0CA9AB

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