Result for 1650425E04B0D61BDBD7AEBA2DDBAB75C2D4AC70

Query result

Key Value
FileNamecoq-stdlib-8.13.2.tar.xz
FileSize2801528
MD554537FB6E3BB26BB3E84621F51E2CB3D
SHA-11650425E04B0D61BDBD7AEBA2DDBAB75C2D4AC70
SHA-256A238E81A0B18E06A2CB741F5DC2807CDA491AC695A092EEEC05301BD1F1FCF8C
SSDEEP49152:E6WdpITURoxVMntzDAX6ultmC6bzyFpCVfOe8Yzsw5zmVMtZjnpmHmU:E6WTHsCtzDAX6urX6yFpCVAqFZjpGmU
TLSHT1BDD533259BFFB0DC56CCB1E27EAA61E229A0DA50415F272073BC886935D7110F391F9D
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

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

Key Value
MD515D6AA5362F19227CE61C4150EEBBE63
PackageArchx86_64
PackageDescriptionProof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification. This package contains shared files and the command line interface. For a graphical interface install coq-ide.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq
PackageRelease2.1
PackageVersion8.13.2
SHA-1DE165D578B4C102D50EAE669F6C728B19897B065
SHA-256D549ABE752B8DEA8A6D8F736A3FC5442D21D3C2D17F587C6CA2B170B37A9AC9A