| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.ZArith.Zbool.html |
| FileSize | 49759 |
| MD5 | 6F9924503F9327C1D683457C74E31C6F |
| SHA-1 | 00B4B275794C3611178093EA75081B6FB979C227 |
| SHA-256 | 26E19B3A96EC318177BC1307A61BED7E57517A13F805ABC8D237B33A109861BF |
| SSDEEP | 192:KpEB3EsVSOh/n6a+eSmC1D/+FtQKBfKs/5aJMjRgsVRLyhEs8grSKGGClDMWCQGt:0EJXZI1z+FtQvs/5thSGBi |
| TLSH | T1E123F6E883A2293B4D7786FA07F96734F0E14D09E4854924F6EE4AFB469DF207651C23 |
| 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 | 22818384 |
| MD5 | 5EE90D6055953E03BC0E6894BB69DCFA |
| 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.6-4build3 |
| SHA-1 | C5308EFA788DBDD8297BE0EFDFA43BD311600A0A |
| SHA-256 | 5206AA491FBB579C28457C28C3FCA67DA7CB8D67E67E285273D1A508A4E86FBB |
| Key | Value |
|---|---|
| FileSize | 22822156 |
| MD5 | 4B033A7FE130955DA73645C8941B0C6E |
| 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.6-5build1 |
| SHA-1 | 8263962A641F5943A2B924C29815B36DE4F78348 |
| SHA-256 | E2360873BDC262DCBE2A29DEA24300D0100C312C9FC25969B7BE79CC873B47B1 |
| Key | Value |
|---|---|
| FileSize | 22801252 |
| MD5 | 288271108ABE3844E7F30689FE312E00 |
| 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.6-5build1 |
| SHA-1 | 920FFCA198CCD6EF8591251D47493B35A94F9BF3 |
| SHA-256 | 636F1C43A47EB90A262C119AF7FC30980A4986C7436B3264B46769AA0DCB2244 |