Key | Value |
---|---|
FileName | ./usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_NewtonInt.cmx |
FileSize | 4774 |
MD5 | BEB7A8173515FA7FCB1BF637CACB5B83 |
SHA-1 | 004AA4A92B0D1D6CC029F76F5526888763CA858F |
SHA-256 | FBBC994D0C99B8820CE3700F048CD1A2C34065B0E6F983F2DD648278C109A249 |
SSDEEP | 96:HfujMWjbkmuvL0qtzxkYFI49GbetvNttTLWoFiuSMSzvMhy/q:/WuvL0UzKYm49GbetFTLWd9MSzvMhy/q |
TLSH | T1F7A1D6652AA0B0411F43C8F16F9D719B044214CD8EAEECA9D3C64B8DDD2B86552E933F |
hashlookup:parent-total | 2 |
hashlookup:trust | 60 |
The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | 22C4988E0D3949DD1C5427D2BB0B54F1 |
PackageArch | s390x |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | bp155.2.13 |
PackageVersion | 8.13.2 |
SHA-1 | 507531224D2507517133A90C377FD7BEF9E81F49 |
SHA-256 | B9476819D50555025BF426B8D9F1607C1CEE994B484B7800BA39B09A2F852E8C |
Key | Value |
---|---|
MD5 | 6F0687C2EF3622C4D20F29C89F49B0EA |
PackageArch | s390x |
PackageDescription | This package contains development files for Coq. |
PackageMaintainer | https://bugs.opensuse.org |
PackageName | coq-devel |
PackageRelease | bp154.1.44 |
PackageVersion | 8.13.2 |
SHA-1 | 08F1AF401E533A9164B6486D929A5BDCF7F49CA7 |
SHA-256 | E061FCA5EBBE93EFC2DC9F0D07B512E90E80141E6FFC3F3E366AC61D749C3B0A |