Result for C30CF03BC22CF872E4C94CC751955D280D3FD161

Query result

Key Value
FileNamecoq-refman-8.14.1.tar.xz
FileSize9060468
MD5895AC73AAB3CBF9B6EC2A65F32B9C550
SHA-1C30CF03BC22CF872E4C94CC751955D280D3FD161
SHA-256357921DA1DCAE772044731D68ED535FC6B336EA22899BAF673A09130C1922295
SSDEEP196608:mjCfaFN1vGN9LEWRCM2+8zQmNgXf24Jb3Fvv72:mKaFNoTUM2TGPPJk
TLSHT110963358E85609DD17C14F488A7CA374ECE798A2E66E13F20906ADF0FC7E63A81DDD44
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
MD5E9737C8008FFACD90D7DDC4ABAA918FC
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
PackageRelease1.6
PackageVersion8.14.1
SHA-10EA585F151A3C8EEA281C6EE5D1B810550015327
SHA-2563434FB474B72444B9B6C9179ED9679E35F623C0E608602845D3E25916AA742E1