| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Peano_dec.cmi |
| FileSize | 3666 |
| MD5 | 8D7645040B14C239C3661B3753BE7CA8 |
| SHA-1 | 002B1980D3B08548B45ED69DA17B1FCDAE1A07D5 |
| SHA-256 | 13DBE81E9B2EC7A9745AC40BCAD4010DA0A4DEEFB10921743C56622D769A086B |
| SSDEEP | 96:NEapnn06Uvx2+vWpdQuHDwy9bmgfoNLtTZt:HpUTvZuHDwy9kpdt |
| TLSH | T1DC71D59C3325B191BE57E2D29BA810930270266FDBE708BD52C90ECCC95842D83EA95B |
| 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 | 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 | 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 | 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 |