Result for 05F8B72B22BBB321DB5C688A50BF8B171D91A1BB

Search result
Graph view
Parent (2)

Query result

Key Value
FileName./usr/lib/ocaml/coq-core/library/library.cmxs
FileSize239280
MD5099FD1DA663DF1CA11A4D56C7B5787E3
SHA-105F8B72B22BBB321DB5C688A50BF8B171D91A1BB
SHA-256A62BDB6409CC9F1B23C5E806AE8CBE947D2EF3FEEBC81F169FC8FDCA997769B2
SSDEEP6144:AVkX1pIHa+PsIXF1Xwx8KhEtkqSvHczzpP6+e+/e:AVFi8KhEaf8zzpi
TLSHT1F1341A49BE88DC16D0664131F4DB0B92B331E18A77969F02B99E637C7F432945E5B2C2
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