Result for 048737B33CB2552A425481A9D0C50F3BE2411FA3

Search result
Graph view
Parent (2)

Query result

Key Value
FileName./usr/lib/coq-core/stm/stm.cma
FileSize1188907
MD522DAFB208F2C41FE611F00FD0362076B
SHA-1048737B33CB2552A425481A9D0C50F3BE2411FA3
SHA-2566EE201EEE300F4C418F435EBCC2F351E32E18838003BA6BE2B01DE241CA75DE5
SSDEEP12288:SLHI6OQ3Q7Mk/VniGt2RZ//zRUnk/1dyfkNv/+WuxxI3FtWtIT59nBx1v60P98hc:g3amZZ+/tIT5bH6o71jb
TLSHT15D45284FE71555A6CC994ABD9CCA029712E42A3C87DB4EFBC09B02D4D48274F2F92D4B
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
FileSize21636996
MD547F48748BF94CC0706E0F91A9839D218
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-ocaml
PackageSectionocaml
PackageVersion8.14.0+dfsg-6
SHA-1454EADC3DEB707DAFDBB858D0B10392B8842C398
SHA-256073B4671DA27D7C20DACCAE915C6B5E3393CFFAF890F112675AE4AD269C964AD
Key Value
FileSize22290168
MD5E1AEF5952D1ACF849FCAF4AF79BC5732
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-ocaml
PackageSectionocaml
PackageVersion8.14.0+dfsg-6
SHA-1C746A3CA87D0F3EB28C5101DD5C04D01D090ECB2
SHA-256D63D76F24786CE85E551B048617653B6DA0C1FA5AC0337A3A84A9C862D3D728C





metalookup is a service from miwakeru.com