| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Flocq/Prop/.coq-native/NFlocq_Prop_Double_rounding.cmx |
| FileSize | 5350 |
| MD5 | DA3890D6BD17A548D963F8EFFD548EE1 |
| SHA-1 | 04428028D6604231C13E8036BD4042D67ED6CDCF |
| SHA-256 | 98A99D29F66F12AAF8F14BD6E75BBBCA729795D36F8B320A5C399F11B23E773E |
| SSDEEP | 96:hutSUBPgEDq3BFW8CNSlcZiYszfgWiqCKteIa+0CLGlBmhIYmlw9OWOMXtRNFU:8t1gED+CNfZipIWihKteIH0qGTmhSy8t |
| TLSH | T1F0B1E80429F7B4B27EA3D0F39E2C904781A355999B168DFCFD642A0CC82481917DE96F |
| 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 | FD0FDF4701AB8224F0DDD5B024211ABF |
| PackageArch | s390x |
| PackageDescription | This package contains development files for Flocq. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | flocq-devel |
| PackageRelease | bp156.1.4 |
| PackageVersion | 4.1.4 |
| SHA-1 | E0878E1D5C27187E53C389C968A978D02BC30CEF |
| SHA-256 | 7BFAC3819F25E7019159B79343786482C2AD2C6F74734D8FBD072F465180108A |