| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Numbers/Cyclic/Int31/.coq-native/NCoq_Numbers_Cyclic_Int31_Cyclic31.cmxs |
| FileSize | 136936 |
| MD5 | 9B2C43E395D01D17A301C3CD5D90282F |
| SHA-1 | 0053F05F9656D157B203AD9E05CF9945417666A0 |
| SHA-256 | 3E7BF5093DE3087F7250EAB1630799B15898FF6BEB6A0817E25343EED46A47B0 |
| SSDEEP | 1536:c6txb/bxFcpcf4Eg9wbG5x+AR9GDqsTxT+qundRjyYFi1YeBpcdjvEu+ywdD2dUD:cyb/VFvqwNAREklEtPyTROp |
| TLSH | T1CAD33F116691803DC3A355B5889D49711F2CBBBA57A01FAEB0446E1C6F4FA0EAF9D3C3 |
| 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 |