Result for 08A3B8EE853B906ADDBF0703D2BAC88DD56BD54E

Search result
Graph view
Parent (2)

Query result

Key Value
FileName./usr/lib/coq/plugins/quote/quote_plugin.cma
FileSize23151
MD5CA344B006AE4A4A8E7DC03B50EB14B65
SHA-108A3B8EE853B906ADDBF0703D2BAC88DD56BD54E
SHA-256B5D9F9F97128998D6C37679928FD65490AB4074FF155B8C16A01E8A2B163E748
SSDEEP192:/ASCHHkcpijADyxIminYu2q7IAU9YtamXTLU2Z05UpbnDpL0rnhAIzqicv2zCAJ8:/gHHkcGQyxIBGejnjYAIMQfYI7zho
TLSHT1AAA2C847BB022AB2D0DB41B3CEE242C15366D5B15D874F2E2A6D475C69C3BB71EA2D08
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
FileSize1434144
MD5D4EBD4C1FE2A6530BF3C3D9115D4D3DA
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl3dfsg-1
SHA-100D78641E5123C85B20937EFAAC58AD650BC72AB
SHA-256CA293FBC51221E6126E7F26EB860A63060DBA3DB58217F8EEEB5250BF7A1BAF0
Key Value
FileSize1585458
MD5D1B03A9E4FFCABC7AB87C88E40D13C11
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibcoq-ocaml
PackageSectionocaml
PackageVersion8.4pl3dfsg-1
SHA-1EAE2AE1EA2B65C2A70D9636A9A4D75F5B29C56CB
SHA-256FD85F03A548E98F54268C38047B6701E233B150E8F1297E24943A3F804D49351





metalookup is a service from miwakeru.com