Result for 002576B88B0286CC6D0087599ED4FDFE07AA90CF

Query result

Key Value
FileName./usr/lib/ocaml/coq/theories/micromega/Lra.vo
FileSize28047
MD5FE4A37ECD17177C9DA0DB1A7EAD40AE4
SHA-1002576B88B0286CC6D0087599ED4FDFE07AA90CF
SHA-256D07273C9ECDEFB5E96C828215589A947341ED5C00C3CA605C75E4AFBE03BB6AC
SSDEEP384:BVr3xD3zayde1yat+T1sb2U6rVVkiQxKMQHNCCaAyZ1LOpPwGi6QBXD9mp6A1tlg:BVlpdee1o21M/NZ1qQA1tdz2qdK73
TLSHT115C26145D1119BE255B5CE708E3C20C040460D83E36E5B69A678826DEF6F7EB3EB1793
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
FileSize21526056
MD5CF6430DEFD7199BACC9EA257E459B608
PackageDescriptionproof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-stdlib
PackageSectionmath
PackageVersion8.16.1+dfsg-1+b2
SHA-1C2A852999F5A526C806BA70D474B2DCD59050DDE
SHA-2568041ED20FB162A30553E273D9D3E8A3E67D97E08020B604AF2402CC4BE2E6431
Key Value
FileSize21532696
MD56E5B26E84EAA52CEAFB876DCDBD8FF27
PackageDescriptionproof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-stdlib
PackageSectionmath
PackageVersion8.16.1+dfsg-1+b1
SHA-1D5DFA4E7CF9A45D9932B92FDAC318EB329928E66
SHA-2562147FBBDD77F1D949CC625BA7FF37D54E45C3DE4041A938230691C337F139BBF