Result for 007104A67036AD6C37851DAB2CADCFE0039778FF

Query result

Key Value
FileName./usr/src/debug/coq-8.11.0-4.mga8.x86_64/plugins/micromega/csdpcert.ml
FileSize6709
MD58B07A11D6C52D85A1B2D665E62E6FF19
SHA-1007104A67036AD6C37851DAB2CADCFE0039778FF
SHA-25600CCACB985B82ADC841339FE076004451C3664AD3A83320C160A05C2ABFE7723
SSDEEP192:2Cgh/v2e5t9jwMDYLwV/J7TMeuxIcs3cdR:2CgJOe5t9jRDswJ0eDcs3cdR
TLSHT12DD10C5697E81D3496E781FA8C97C8C1AB58509F6650782CFC9DB2601F0F8B943F4F88
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
MD54411635EC615AB9E81F0706DB693AD17
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
PackageRelease4.mga8
PackageVersion8.11.0
SHA-142EDA17C95AE7EEA44D083FA5C5FCBDBF6F3CEF5
SHA-256471461ED8253DAD269027FABACCBF86AFFFEE76454ED4FC52165FA7DB434917B
Key Value
MD5A555D091E346D5C97FFAA9B1CC461889
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.fc32
PackageVersion8.11.0
SHA-111666A05F6DD65EBA89524EE84CDB965B6BC7DF5
SHA-2569E161C50BE22A06D1A0C04E783C5AA652ECC3F27E1306B7FE44901DECDF8472A
Key Value
MD5DC0FF7198B0A04358A3FF425DD18BD97
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.fc32
PackageVersion8.11.0
SHA-1BFF011FF68A26E2167FA0102369AF82B5B6DCF7D
SHA-2566AFFC6538107D8375FB653D316B0126F6F4560571059EFA5C0A79FAEF5077B7F
Key Value
MD5FEECAF066AFC39194A3739F894F5362F
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
PackageRelease4.mga8
PackageVersion8.11.0
SHA-1FD0B582D0917825FB3A2AF672CB247A9C15C3E38
SHA-256EF3550E4D8956BE2327DA4B4B874D0044D811E42FBEC2BE28A31E3082222F22F
Key Value
MD52F3E4D36B90D48FC41DC254678253997
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
PackageRelease4.mga8
PackageVersion8.11.0
SHA-125A7D0AB5BACF6E2C92B1BF760C14C2966F5E17D
SHA-25651A872F8F5905210CEC0C0B50F81C1F72D6A064CB56DDD63D15E67EA97C86D6F
Key Value
MD5C78BA2E3C58D02565F102526FD5CEBD2
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.fc32
PackageVersion8.11.0
SHA-145C6EE820DDBB3CA41B81B1C05D881B0D8F9FD4A
SHA-256BC6A12B0D7F2B3A2133864304BE687C3F25A8AE5BE5164D2037F7DFDD4A172A5
Key Value
MD55659CBA275823B2CB235939C6B0C92E6
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
PackageRelease4.mga8
PackageVersion8.11.0
SHA-18AF4979620FA872531655BCB5C0D72D9CB5AE1AA
SHA-256CA13BB4FC9890E19584A497B38A45F6797FEAD27E6C465C6F831B9897F3A0B22