Key | Value |
---|---|
FileName | ./usr/src/debug/coq-8.13.2-3.mga9.x86_64/kernel/declareops.ml |
FileSize | 14609 |
MD5 | 0132CF74AF3976F11EE59EBCFA449262 |
SHA-1 | 04F37F10A70832696285A57B752A12B795A3ECF3 |
SHA-256 | 063CED7F7A71B304B7567FF35F2628E0EE0BF40BEB9742CC0F7D39FB2F8FE9B3 |
SSDEEP | 192:2CzNMfoXfgBSOilYj4G1arM+VHtJUvUwIyMtZZf/f2xFAedMj+YXDSyOfYS:2CzNMfoXoB2lkuM+VcvEb7J/qFYDSDYS |
TLSH | T1A862537543F91F3690E081F0A9CFE2E5C22B81E69A54D4ED789CF2681F3D62642F1789 |
hashlookup:parent-total | 7 |
hashlookup:trust | 85 |
The searched file hash is included in 7 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | BB26750CA1C31EF65939FD3A2BB0B328 |
PackageArch | i586 |
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 | pterjan <pterjan> |
PackageName | coq-debugsource |
PackageRelease | 3.mga9 |
PackageVersion | 8.13.2 |
SHA-1 | 27B04DC55CF9075B962E82EA1FD34E01EADD5C55 |
SHA-256 | F5371D59E01A276AA95E9E6220332E8264676EF46D45BF0447C36FBE2D65B6DD |
Key | Value |
---|---|
MD5 | 2E03D3B82093265956EBBDD9A029864F |
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 | pterjan <pterjan> |
PackageName | coq-debugsource |
PackageRelease | 3.mga9 |
PackageVersion | 8.13.2 |
SHA-1 | 500092B9312AB382ACE885F73A10960C23AFD6DA |
SHA-256 | 21E371837AF8E72CE54DE55854027528FF9A2A444B3A10ECB9DF739E39E793B2 |
Key | Value |
---|---|
MD5 | B1503D402A8C600B5ECBC87FD7D23E9F |
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 | pterjan <pterjan> |
PackageName | coq-debugsource |
PackageRelease | 3.mga9 |
PackageVersion | 8.13.2 |
SHA-1 | F54A7D0F410A7A6322DF6B1F17B3BED46C274849 |
SHA-256 | 23D039783355862383D1EC07833D3A4F07730EACB9FA6B4BFB42735CE73C9C63 |
Key | Value |
---|---|
MD5 | CA0ACADB4EFE5ECA06DE95B7833030F1 |
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 | pterjan <pterjan> |
PackageName | coq-debugsource |
PackageRelease | 3.mga9 |
PackageVersion | 8.13.2 |
SHA-1 | 56EA8178EE8AF6157A385887C8F2AF406041738B |
SHA-256 | 0E91174897468403AB75F2DC57F282D42C37AA922ACAF68CA5983480E33D93D2 |
Key | Value |
---|---|
MD5 | 7BC40340CBBCA17411510D197CF09ECC |
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.fc34 |
PackageVersion | 8.13.1 |
SHA-1 | 9E69790E2FD36B679458252DD47B9D204359CF67 |
SHA-256 | 42BFEC9E08BB3606E40F5AD3CC4EAFF06B91A67BC734B83DE7019F73959D33CE |
Key | Value |
---|---|
MD5 | 92D2A3CADF1224A73C355645904CC0A3 |
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.fc34 |
PackageVersion | 8.13.1 |
SHA-1 | 9E67DD606361560F75F78E9AC6033959383C9AB1 |
SHA-256 | 477D5AC651D3609D279E63A97C25789331FA4A2E49BF0F67ABEF1AAAF521B8D9 |
Key | Value |
---|---|
MD5 | C47E6E71F780D7C986630901B1A8C7C8 |
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.fc34 |
PackageVersion | 8.13.1 |
SHA-1 | D293880AE29D5B9CA7A66CBB44E8592E9FAD029C |
SHA-256 | FC1FE3ABC8BF5F0950551848DBFF3164CA9CCA2721610F7FE249D5F8A3B5CBF7 |