| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/theories/Numbers/Cyclic/Int31/.coq-native/NCoq_Numbers_Cyclic_Int31_Int31.cmx |
| FileSize | 20434 |
| MD5 | A3F50F41411A3C25B883A616B4F298BE |
| SHA-1 | 002B937F507CC8BF1AA29E8A11DE6315A1510D52 |
| SHA-256 | 3E2BBEFBA997C0D1F3B80251C153B7BDBA7169D0F2EECA190B4607D54C6D3B9B |
| SSDEEP | 384:Ctb/cTtd8IvrIZeU3sEJrjPwgYZ4Zb0Xg/I6u5c1ewwTlU0XVOW0wLSLO9x3cU14:0bkBdlrVU3sKjYZuGyPzwTlU0XVOW0rX |
| TLSH | T17C92879055A4E47617036CF1996C58924C5E8BE2DBE1586AF5099A0CBF8FF0CE2CF393 |
| 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 | 3F160299671D4BF22DAA1F81E6324726 |
| PackageArch | armv7hl |
| 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 | 09B8ED98E28322BFB3CA45AB73FADDCE8AF63167 |
| SHA-256 | 4D7EA57384E7585CBCE49AB1131DCD4464E7125D0E643FAEFEE312C690FBFC76 |