Key | Value |
---|---|
FileName | ./usr/lib64/ocaml/coq/tactics/elimschemes.ml |
FileSize | 6809 |
MD5 | AD29E207B8035516FF28B177BEA3A14D |
SHA-1 | 0015B4CB840A78875D924A2A3ADBC8D46F340316 |
SHA-256 | FF645304596CB300E8B3629302DE1F99FB99A6911F8DCE481B1A73212880256B |
SSDEEP | 192:2CgnJWv7dcCIvJm3LoRohMKXjTKXfoqwHtVL9oP303Usl:2CgW7dcRm3L2eMUjTYfYHjL9W303X |
TLSH | T1D1E18CF47F8CEC2686A88CD0606D53C1DB947268617099CAF95CB87E036D60B22667DF |
hashlookup:parent-total | 6 |
hashlookup:trust | 80 |
The searched file hash is included in 6 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | A555D091E346D5C97FFAA9B1CC461889 |
PackageArch | armv7hl |
PackageDescription | This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | coq-debugsource |
PackageRelease | 1.fc32 |
PackageVersion | 8.11.0 |
SHA-1 | 11666A05F6DD65EBA89524EE84CDB965B6BC7DF5 |
SHA-256 | 9E161C50BE22A06D1A0C04E783C5AA652ECC3F27E1306B7FE44901DECDF8472A |
Key | Value |
---|---|
MD5 | DC0FF7198B0A04358A3FF425DD18BD97 |
PackageArch | aarch64 |
PackageDescription | This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | coq-debugsource |
PackageRelease | 1.fc32 |
PackageVersion | 8.11.0 |
SHA-1 | BFF011FF68A26E2167FA0102369AF82B5B6DCF7D |
SHA-256 | 6AFFC6538107D8375FB653D316B0126F6F4560571059EFA5C0A79FAEF5077B7F |
Key | Value |
---|---|
MD5 | 1228FB0DCA765019FDE0D67288F8C9A7 |
PackageArch | armv7hl |
PackageDescription | The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq. |
PackageName | ocaml-coq-devel |
PackageRelease | 1.d_l_ocaml.4 |
PackageVersion | 8.11.0 |
SHA-1 | 7D2CF94062A7F23F21BB8D7B9D3F999D51B46F98 |
SHA-256 | 68E2BC6B265295F7840FC6EECA3784D4BC662437E952C008451787E2123C8BE0 |
Key | Value |
---|---|
MD5 | 19C03453AB9882B1CA9FF1AC1A4E216C |
PackageArch | s390x |
PackageDescription | The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq. |
PackageName | ocaml-coq-devel |
PackageRelease | 1.d_l_ocaml.6 |
PackageVersion | 8.11.0 |
SHA-1 | E6D77DF720147C6D96B14144FA2081111478E1CB |
SHA-256 | E3A80BA2C2A000CF2255967045C9C2F3FA90FE8CA41BA58D62DFB735267D06FA |
Key | Value |
---|---|
MD5 | D66C98F64EC18783C772A32109617AD5 |
PackageArch | s390x |
PackageDescription | The ocaml-coq-devel package contains libraries and signature files for developing applications that use ocaml-coq. |
PackageName | ocaml-coq-devel |
PackageRelease | 2.d_l_ocaml.2 |
PackageVersion | 8.11.0 |
SHA-1 | E87CF496657D4DCBAAF45BFF2BD1C80FCCA54668 |
SHA-256 | 1B6F6F80A2BF013927283CCA6E13DD7160857442DB977F0E880CC714532BCE9A |
Key | Value |
---|---|
MD5 | C78BA2E3C58D02565F102526FD5CEBD2 |
PackageArch | x86_64 |
PackageDescription | This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package. |
PackageMaintainer | Fedora Project |
PackageName | coq-debugsource |
PackageRelease | 1.fc32 |
PackageVersion | 8.11.0 |
SHA-1 | 45C6EE820DDBB3CA41B81B1C05D881B0D8F9FD4A |
SHA-256 | BC6A12B0D7F2B3A2133864304BE687C3F25A8AE5BE5164D2037F7DFDD4A172A5 |