| Key | Value |
|---|---|
| FileName | ./usr/lib64/ocaml/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalNat.cmx |
| FileSize | 5531 |
| MD5 | 5E1E3A8A3AB0D235AA96E06C89379B0F |
| SHA-1 | 009216F2CA783EE90DEEE7E313C3A9F7B3BA20B3 |
| SHA-256 | 80CC417B799999991D502C5B35A522774F672985D002F22D5B5907F68D8C86C6 |
| SSDEEP | 96:DA+KukgEDq3BFW8CAnJPbN50xunMl1RRqZepQKXtZN/dZXtZNe6v8AGXtZNZ:JkgED+CQb/cunMlgOZdd3Zs6vEZH |
| TLSH | T1F2B14265A7B5D007722B60F25E5D0052446859E2EBE258B9F94C1E088EDBD1EF2EC33B |
| 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 | AE98E560F8BC87E4FA896A0F599293D5 |
| PackageArch | aarch64 |
| 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 | C44D6D4C91C3AD8EDB9A98A11520A742D66FCCCD |
| SHA-256 | D53E0DC702FFD3F7F0B304B040A6F4A4B4C8ED4037A82C78AA6495F462A4E3C4 |