Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/theories/micromega/Lra.vo |
FileSize | 28047 |
MD5 | FE4A37ECD17177C9DA0DB1A7EAD40AE4 |
SHA-1 | 002576B88B0286CC6D0087599ED4FDFE07AA90CF |
SHA-256 | D07273C9ECDEFB5E96C828215589A947341ED5C00C3CA605C75E4AFBE03BB6AC |
SSDEEP | 384:BVr3xD3zayde1yat+T1sb2U6rVVkiQxKMQHNCCaAyZ1LOpPwGi6QBXD9mp6A1tlg:BVlpdee1o21M/NZ1qQA1tdz2qdK73 |
TLSH | T115C26145D1119BE255B5CE708E3C20C040460D83E36E5B69A678826DEF6F7EB3EB1793 |
hashlookup:parent-total | 2 |
hashlookup:trust | 60 |
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 |
---|---|
FileSize | 21526056 |
MD5 | CF6430DEFD7199BACC9EA257E459B608 |
PackageDescription | proof 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. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-stdlib |
PackageSection | math |
PackageVersion | 8.16.1+dfsg-1+b2 |
SHA-1 | C2A852999F5A526C806BA70D474B2DCD59050DDE |
SHA-256 | 8041ED20FB162A30553E273D9D3E8A3E67D97E08020B604AF2402CC4BE2E6431 |
Key | Value |
---|---|
FileSize | 21532696 |
MD5 | 6E5B26E84EAA52CEAFB876DCDBD8FF27 |
PackageDescription | proof 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. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-stdlib |
PackageSection | math |
PackageVersion | 8.16.1+dfsg-1+b1 |
SHA-1 | D5DFA4E7CF9A45D9932B92FDAC318EB329928E66 |
SHA-256 | 2147FBBDD77F1D949CC625BA7FF37D54E45C3DE4041A938230691C337F139BBF |