| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/Natural/Abstract/NLog.vo |
| FileSize | 178924 |
| MD5 | B5CFA56EB54C0B5A1263BAF71D11DFD8 |
| SHA-1 | 0056874FE1388C7A553BE1CE6B7129D12BB690BC |
| SHA-256 | A5FCE6DD72D666100E4C7618FBDA7180699E0A6A107711A7CA0EC7E275ACFEFD |
| SSDEEP | 3072:0m4fk2DwwEPeWzb56nS6+5gM3znFQAkyrOOboja4qiNDvmXYCVHlHMsl6E3x7hKe:gfk2MwEPeWzbs9mzqy6ObENDvmXvVHl9 |
| TLSH | T13504C6CEB107A162ECFD5BF63036A009CC79830572B75ADDCE0DE36CA44956712AD3A9 |
| 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 | 28424192 |
| MD5 | 25108AC96ED01F163976A2042B1F4F58 |
| 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.0-1+b1 |
| SHA-1 | 3E714393D8E5B62FABC3F87E37E7EA138E175B1E |
| SHA-256 | 7D4CFC960053426F98907CF5BCACEA57175FDC4211ACAED4FEEA969AFDECCEAC |
| Key | Value |
|---|---|
| FileSize | 28414968 |
| MD5 | 5D2F99C9A1C320CBB39B206502DDF571 |
| 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.0-1 |
| SHA-1 | 052878D62B817D6869CA5BEAEF1CC18700C5C0F8 |
| SHA-256 | 33C1DE3162ED4EA340C725F1261B317BCFEAFEDC4C71991C16CE0A30BEBEE81A |
| Key | Value |
|---|---|
| FileSize | 28423608 |
| MD5 | 43627291A09AEF441C631EB5D6AD9259 |
| 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.0-1+b2 |
| SHA-1 | 8A05B93F6A661F146E9E2A702551B5980D4957AF |
| SHA-256 | 538A876A6FB049D504F8A1B4DBEF95FBF1DB398EA6F1DE248F9411B2CB0AE1B7 |