| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NPow.cmi |
| FileSize | 2410 |
| MD5 | C859327D2B513068203ABBC27FC4ED50 |
| SHA-1 | 005D299099D1706A0206679FEEF7AB5B066E14DA |
| SHA-256 | F95E60C8F3B6B4906D6B927CC0EDF4796CE0A7EA6154768A3F883641A75A09D9 |
| SSDEEP | 48:sZ4vIn/M6UvVzH/egUK4cWpcD1MQu/NL7Jy9LtqZlL:sqvIn06Uvx2+vWpdQu/NLtTZt |
| TLSH | T18241A8593293B6D13622A3739E9D805B02305B07D6A6447C03CD0BCC166B5AFA2DD5DF |
| hashlookup:parent-total | 5 |
| hashlookup:trust | 75 |
The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 36501836 |
| MD5 | 2E5FF9F9DAD61A672688908C5AD7FAD1 |
| 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.12.0-3+b3 |
| SHA-1 | 7FBCE5F002FCCCAEE29A88394468811C7113ADDF |
| SHA-256 | 25BC2FE7ACD55AEF14E2CB145B77CF5D2E8BB7A607FB19512EDB8A0A6DEFEA24 |
| Key | Value |
|---|---|
| FileSize | 35217772 |
| MD5 | F85B1D8CC818B3D56E732035813FFE8C |
| 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.12.0-3+b2 |
| SHA-1 | C8B2717694F4F7CD7D0B1E995BDA934F11D4BE94 |
| SHA-256 | 178D302AE2B2D4B51392EEAF63FAEAB0FFB689D58E49A3FE0A13B034F43DAFCB |
| Key | Value |
|---|---|
| FileSize | 36233684 |
| MD5 | E8B5BAD8DFCFA6F86B6EDF319503D927 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.12.0-3build3 |
| SHA-1 | 84409BE866C6FDD301D61537EC09038597144C0A |
| SHA-256 | E529BB847D9249EDF8BAC5F322A737701F8FC065F54956D2892670A07C737663 |
| Key | Value |
|---|---|
| FileSize | 35237680 |
| MD5 | 0A2C005F588F62FAB77A7C291E0E001D |
| 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.12.0-3+b3 |
| SHA-1 | AFA507BB296D45A54434F895ADE428AACEC5076B |
| SHA-256 | 9CC0C33268B662D2F778F8604F63304ABEAE4AFA851F15B158FB3B4BF0DB6ED7 |
| Key | Value |
|---|---|
| FileSize | 36491180 |
| MD5 | 564C89F37D7F34A7E666926D717560F7 |
| 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.12.0-3+b2 |
| SHA-1 | BF97BCF43CC30A1974C53B6ADDD84E0DC7A02E9E |
| SHA-256 | 6B62B138538AE259BD9BEF1036024EFE215FC0B0B1A2535975E128C296EA0A28 |