| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalNat.o |
| FileSize | 39904 |
| MD5 | A7BDF15D4BE0121B0F5C11DE626BDFD7 |
| SHA-1 | 00676DF75577ECBF6FCA5D1255169BFB54FC4C9B |
| SHA-256 | FE77C9B5DBDBECB66AEF70FCB4882B980131C1D9F9EE9BDDA442528E3B4D20C6 |
| SSDEEP | 384:Kd3aVkavx/SkZ/BIw3PIFiJ6FHhna1St:KpOQw4oSt |
| TLSH | T14103391277A3DE2FD205DB3040BA6725717AFE649F623B0B6611331F1F32E8A8E64525 |
| 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 | 30160688 |
| MD5 | 79DC8D395764A53E2E7174E9C489FF36 |
| 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 | 43303483F79D49CF7F7D85E6FB9303456872A65E |
| SHA-256 | F1045BBC4C4B0D445165256DBBB3B73A5398813ED92DA2715B7FD1046A55D2BD |
| Key | Value |
|---|---|
| FileSize | 30185952 |
| MD5 | 1C1C033B9B0A165B4CEA291A59EE66C3 |
| 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 | C4EE38EB73E61B281D30D9CFA2D41AC2447C145B |
| SHA-256 | 99877DEFBA674735A6A19FB8EF7E6768337879B2623D518D1B3D4B4EC52133F1 |
| Key | Value |
|---|---|
| FileSize | 30183784 |
| MD5 | 20B81961E9FB61F162B83C790B968424 |
| 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 | 21BDBE3F68509586E1A85D3A5FE52B58F6BC2118 |
| SHA-256 | 786DA599F34BC10A744CCAC670B9A1AFF38A0022171C54EF02FE6E7712D0BC08 |