Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_def.cmxs |
FileSize | 16816 |
MD5 | 5CDAC45295B6CFD8A2ED7987829217A9 |
SHA-1 | 004A3B1E178399F04BB6160DF62EA2937834EA8A |
SHA-256 | 21D6352F766FFC3FEE3B407B69077232400A249A65D889ACD1DFA1A9DFBE6C2B |
SSDEEP | 96:886EETQBWB1phhXGFtm7kja19vWfoYXtJfAkMU6/Kg5SDWwIVmpgO+vLn/N70TO:T6EN8B2gsa19v1At5/6/QWwpa |
TLSH | T15F721B1B7B98E87EE47093F2805F476232F4F411A5E14F7F965511080EA3F886AB298B |
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 | 41416B41BBA10CFAD20B3A84C69C37CB |
PackageArch | i586 |
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 | 4.mga8 |
PackageVersion | 8.11.0 |
SHA-1 | CFB2E9B5C687CE3DC94B208B90F442C4F3F146FD |
SHA-256 | F6C99A602FC093CDAD855C56CB41F775B4169763D02B7AA31322FB21CB956247 |