| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/NatInt/NZAdd.vo |
| FileSize | 23036 |
| MD5 | 3AE1B50DD6AFC2AA6F2973038686444F |
| SHA-1 | 000A5690A713F19F108F96A84B82B436BD6E39DD |
| SHA-256 | 7E9CE2797E86FDC77729AD0AFEDBAC05A60C2D3510A57F7C1B6D621BB365F5BC |
| SSDEEP | 384:1mAS7DDlsptk8iApeyEUwuCkgEQ/JVbJyLYb89oKHADwiWmXO:/S7dsnDiGeyEjuphQ/JzyLYQhH8HW9 |
| TLSH | T139A2D7C1D14B7062B4DE33B5F2288507E308098F873397DE4E2C672CE99519F5A982AF |
| 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 |