Result for 028B40D6901F10EFB81F7076B8D027446A351410

Query result

Key Value
FileName./usr/lib64/ocaml/coq/ide/coqide/coq_commands.cmi
FileSize418
MD515775456B04A82BAED046419270B71F1
SHA-1028B40D6901F10EFB81F7076B8D027446A351410
SHA-256C2D983B6FABF69765BF2A585576AFB856A417A5CBF9EF632D6525F4B3C3C0111
SSDEEP6:qKgv4c/QWMKu0abcDTPbghtMuuUfEmUJWUYaXK1KEfwl+C2gpvAeqMrRAbmK/d9M:5wJMKu0r/DAsmwXLCYl+C2GvAnMrm7Pi
TLSHT1F3E0683E06AA04B0DA15323F7A82168606285B3A4698ABB75A337950A5C194E93A934F
hashlookup:parent-total4
hashlookup:trust70

Network graph view

Parents (Total: 4)

The searched file hash is included in 4 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
MD53F530D9F2F5A0E92C1F2BD5E0B4F190F
PackageArcharmv7hl
PackageDescriptionThe Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainerpterjan <pterjan>
PackageNamecoq-ide
PackageRelease3.mga9
PackageVersion8.13.2
SHA-16C7A69363F807869F04194EEE1D7F49673EA1B16
SHA-256024441A8901F030018A0E8EBD2706967E71A140451B5DAA21D4DBF95E3A9DE30
Key Value
MD5C4CC9B8CE17594AEB33588933072A9F9
PackageArchaarch64
PackageDescriptionThe Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainerpterjan <pterjan>
PackageNamecoq-ide
PackageRelease3.mga9
PackageVersion8.13.2
SHA-1AE4C1F0B0FB0352445AD89656BB0E1BBD9F56B75
SHA-256D7EE82E7FBF82D2160C137CA6D98557D1104410429D38B0EC0C4AEFC2A93248B
Key Value
MD542530C639C762457614A739400E7A41E
PackageArchx86_64
PackageDescriptionThe Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainerpterjan <pterjan>
PackageNamecoq-ide
PackageRelease3.mga9
PackageVersion8.13.2
SHA-105C175903361F28D2FCE7AC6FF9F16870889C269
SHA-25639882EE972A0FE0A318EA813DA3208F3E5A252222BB030747EACB36F2BDDB5DB
Key Value
MD58E532B4A727D9942A36371DB85B567E9
PackageArchi586
PackageDescriptionThe Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainerpterjan <pterjan>
PackageNamecoq-ide
PackageRelease3.mga9
PackageVersion8.13.2
SHA-10A7665FA065E65724FEA76E5EB44BFD37DD20A01
SHA-256451E48689D4C4A3A783AFD793E7DE0DEBF23D228E616E890E7E036C1BA7781E9