| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Init/.coq-native/NCoq_Init_Tactics.cmx |
| FileSize | 2568 |
| MD5 | 9581CCCE1C05024BF747F21D9FEAE631 |
| SHA-1 | 005A0D2F674A129896832A0C2C8C6CEF567F94F7 |
| SHA-256 | 3A151118C95ED641781760DD916FC1993530152092656F5239FF363BCE8317DE |
| SSDEEP | 48:rOBLCKuUngiFP7TSF3BeSW8CAnJPb/l50C+wsp6UZ5RRbf20QhuOFXtZNY:rA+KukgEDq3BFW8CAnJPbN50x/1RRqYz |
| TLSH | T1DD5119AE36C5B40D366101E17F9D00A749B525B29A609CFC47CE678C45B8E6DA3DC11F |
| hashlookup:parent-total | 1 |
| hashlookup:trust | 55 |
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| MD5 | 8AE17D0915ECEB24C40940F70C7267BE |
| PackageArch | x86_64 |
| PackageDescription | Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification. |
| PackageMaintainer | pterjan <pterjan> |
| PackageName | coq |
| PackageRelease | 3.mga9 |
| PackageVersion | 8.13.2 |
| SHA-1 | 80E45D4C8D03FEF7FCFF7C0D132B5BF3871072F9 |
| SHA-256 | 12B529BA74D24679BFB5D208B81C9EECB22D65DCBE747D1B50318E9B0AEF8B0E |