Result for 04F37F10A70832696285A57B752A12B795A3ECF3

Query result

Key Value
FileName./usr/src/debug/coq-8.13.2-3.mga9.x86_64/kernel/declareops.ml
FileSize14609
MD50132CF74AF3976F11EE59EBCFA449262
SHA-104F37F10A70832696285A57B752A12B795A3ECF3
SHA-256063CED7F7A71B304B7567FF35F2628E0EE0BF40BEB9742CC0F7D39FB2F8FE9B3
SSDEEP192:2CzNMfoXfgBSOilYj4G1arM+VHtJUvUwIyMtZZf/f2xFAedMj+YXDSyOfYS:2CzNMfoXoB2lkuM+VcvEb7J/qFYDSDYS
TLSHT1A862537543F91F3690E081F0A9CFE2E5C22B81E69A54D4ED789CF2681F3D62642F1789
hashlookup:parent-total7
hashlookup:trust85

Network graph view

Parents (Total: 7)

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
MD5BB26750CA1C31EF65939FD3A2BB0B328
PackageArchi586
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerpterjan <pterjan>
PackageNamecoq-debugsource
PackageRelease3.mga9
PackageVersion8.13.2
SHA-127B04DC55CF9075B962E82EA1FD34E01EADD5C55
SHA-256F5371D59E01A276AA95E9E6220332E8264676EF46D45BF0447C36FBE2D65B6DD
Key Value
MD52E03D3B82093265956EBBDD9A029864F
PackageArchx86_64
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerpterjan <pterjan>
PackageNamecoq-debugsource
PackageRelease3.mga9
PackageVersion8.13.2
SHA-1500092B9312AB382ACE885F73A10960C23AFD6DA
SHA-25621E371837AF8E72CE54DE55854027528FF9A2A444B3A10ECB9DF739E39E793B2
Key Value
MD5B1503D402A8C600B5ECBC87FD7D23E9F
PackageArchaarch64
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerpterjan <pterjan>
PackageNamecoq-debugsource
PackageRelease3.mga9
PackageVersion8.13.2
SHA-1F54A7D0F410A7A6322DF6B1F17B3BED46C274849
SHA-25623D039783355862383D1EC07833D3A4F07730EACB9FA6B4BFB42735CE73C9C63
Key Value
MD5CA0ACADB4EFE5ECA06DE95B7833030F1
PackageArcharmv7hl
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerpterjan <pterjan>
PackageNamecoq-debugsource
PackageRelease3.mga9
PackageVersion8.13.2
SHA-156EA8178EE8AF6157A385887C8F2AF406041738B
SHA-2560E91174897468403AB75F2DC57F282D42C37AA922ACAF68CA5983480E33D93D2
Key Value
MD57BC40340CBBCA17411510D197CF09ECC
PackageArchx86_64
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecoq-debugsource
PackageRelease1.fc34
PackageVersion8.13.1
SHA-19E69790E2FD36B679458252DD47B9D204359CF67
SHA-25642BFEC9E08BB3606E40F5AD3CC4EAFF06B91A67BC734B83DE7019F73959D33CE
Key Value
MD592D2A3CADF1224A73C355645904CC0A3
PackageArchaarch64
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecoq-debugsource
PackageRelease1.fc34
PackageVersion8.13.1
SHA-19E67DD606361560F75F78E9AC6033959383C9AB1
SHA-256477D5AC651D3609D279E63A97C25789331FA4A2E49BF0F67ABEF1AAAF521B8D9
Key Value
MD5C47E6E71F780D7C986630901B1A8C7C8
PackageArcharmv7hl
PackageDescriptionThis package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package.
PackageMaintainerFedora Project
PackageNamecoq-debugsource
PackageRelease1.fc34
PackageVersion8.13.1
SHA-1D293880AE29D5B9CA7A66CBB44E8592E9FAD029C
SHA-256FC1FE3ABC8BF5F0950551848DBFF3164CA9CCA2721610F7FE249D5F8A3B5CBF7