Result for 6339DD99BF5331232707EF2CE4E66F230228AD87

Query result

Key Value
FileNamecoq-rpmlintrc
FileSize340
MD5280607F543620E0A0595390E6119ED77
SHA-16339DD99BF5331232707EF2CE4E66F230228AD87
SHA-256EEE0C228F4124928DED3BDEB60C79D0D6C729301E3AA0AF649BF09486BBCBC63
SSDEEP6:SbFMC4stmQIRZUDXgBl4sNNMK4S6npHM3I6z0bc0ZXPMKn7WvhcQNAFMKN1n:qbpIR+m+p0wb3Xz74hQN1
TLSHT18BE0208BA341B736375347D774A731B81737C2D00950944B5C55384D022E8E58377A77
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