Result for 15B3DEF2C7D9D80B48D583C8F8D7A33A0CC6F50C

Search result
Graph view
Parent (2)

Query result

Key Value
FileName./usr/lib/ocaml/coq-core/plugins/ring/ring_plugin.cmxs
FileSize178136
MD5AD0185DF645ED4DEE0F0B0E50C59F64A
SHA-115B3DEF2C7D9D80B48D583C8F8D7A33A0CC6F50C
SHA-256BEAF3DBBE1686006409F280F7432D73AEF0956F0E492B8290F9030BED4AC3008
SSDEEP3072:oZgesBhFvZysam9tvMBrOyQwbVeeg23HBz7:JBV10B6E4V2Rf
TLSHT1CC045B04BB8DE05EC0666734F0EF5A46F335C28467ABDB0A2919D6B87F420740FAB5C6
hashlookup:parent-total2
hashlookup:trust60

Network graph view

Parents (Total: 2)

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

Key Value
FileSize22260048
MD553FB008FC6F7B243F6AE685EA3CFEC73
PackageDescriptionruntime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-core-ocaml
PackageSectionocaml
PackageVersion8.16.1+dfsg-1+b1
SHA-1AB9FAFF0779769CBD7FB54C04D8D91FE439F91FD
SHA-25626AF85B8D15D6E820164E09EF5DBF9D17F44BFF71AE8193C3BDB5CD70FEF4621
Key Value
FileSize22259280
MD56E5F5F1A769525120227E5136D69EFFE
PackageDescriptionruntime libraries for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides runtime libraries for Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-core-ocaml
PackageSectionocaml
PackageVersion8.16.1+dfsg-1+b2
SHA-164A18750D182CDA9105F94E214AE4F9A485F9456
SHA-2565D28885232214A570C5CE83630331A225A25E7F682D941C02EFE88C628EADBD2





metalookup is a service from miwakeru.com