| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/QArith/Qround.vo |
| FileSize | 43934 |
| MD5 | 229BF30F44A7F9A37CB18706A1D1F25B |
| SHA-1 | 00943A9735F4D8F859B4AE4332BE299D890373BB |
| SHA-256 | 92454B86FC9F7EBCB2A51F7696E8B4EC00592A8280B1278B8CB88405264A0C16 |
| SSDEEP | 768:seLuWi9M2n/4VBKUakhbjlQohopPYSWjp+Lbm/fwcReqpfmg:seLc+c/NUhh1RwYSWdsbm/oclB |
| TLSH | T103130852D111CBF254BACF74AA349084E0064E8793B9272D0938466DFBEF9DB2DF814B |
| hashlookup:parent-total | 3 |
| hashlookup:trust | 65 |
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 20372136 |
| MD5 | 974EE28BA704AD09506F99868E484321 |
| 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 | coq-theories |
| PackageSection | math |
| PackageVersion | 8.9.1-2+b1 |
| SHA-1 | 87A4403FEE31CF843EBF1879564935E5807D9DD5 |
| SHA-256 | C9C202132C3F70ABE72B528657F0CCD853E35A40C234778C71A8657003C26DA3 |
| Key | Value |
|---|---|
| FileSize | 20357464 |
| MD5 | 031011D5ED851DA5DCA72C37F344000C |
| 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 | coq-theories |
| PackageSection | math |
| PackageVersion | 8.9.1-5+b1 |
| SHA-1 | 6AF86BC82EC19772A938325A639C203C3B161A00 |
| SHA-256 | 934DB2F8CC01B684514F750AAFBEBD3F76CCC83E8E7F9985F91E7E52EBB06A7C |
| Key | Value |
|---|---|
| FileSize | 20375292 |
| MD5 | D9419A115B3A658094A44C7A8C3C9C04 |
| 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 | coq-theories |
| PackageSection | math |
| PackageVersion | 8.9.1-2+b2 |
| SHA-1 | 305EA0404331F28D863F7E3EEF70A22E5610454D |
| SHA-256 | 0CA146B4EE820E2AAB4C6BB08B3EB4BAD33BF2FA02C1F8F45BDC23DC8531BAD4 |