Key | Value |
---|---|
FileName | ./usr/share/doc/packages/coq/stdlib/Coq.Classes.Equivalence.html |
FileSize | 32205 |
MD5 | 4C62C5F7ED0E9E76CF9EEEC67BD22A8B |
SHA-1 | 01EF709ED4FBB0ACC387F0B2C56202669674850C |
SHA-256 | 8A0920DB2DADCD4AAB0F7716635489BB6D355902F20BEDE9AB0769BB2EC67A88 |
SSDEEP | 768:j/b++nGgNP7xseX9+s3sPWHC8LIMLmTe13IDJOPJh1CnRLVeLr07FRIm9/fTQ0Ey:jj++nGaX9+sZzxdw7RRmoxRIm9LQ0f8A |
TLSH | T198E2FFD883B268378833C6E622FD6B25F0E14A49E4CA4910F2FD16E717CDE64B556837 |
hashlookup:parent-total | 1 |
hashlookup:trust | 55 |
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 |
---|---|
MD5 | 57B657B809DA145E1A7F3DEE9F13D0A8 |
PackageArch | noarch |
PackageDescription | HTML reference manual for Coq and full documentation of the standard library. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-doc |
PackageRelease | bp156.1.14 |
PackageVersion | 8.19.1 |
SHA-1 | 9214A84088D9F6ABC83FAD9AF73C37430BC28FCD |
SHA-256 | 354FA58AD83EE0981C0662772D67F79B2FCA378CBB8AAA122C744CE6CCC3F48B |