Result for 004A3B1E178399F04BB6160DF62EA2937834EA8A

Query result

Key Value
FileName./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_def.cmxs
FileSize16816
MD55CDAC45295B6CFD8A2ED7987829217A9
SHA-1004A3B1E178399F04BB6160DF62EA2937834EA8A
SHA-25621D6352F766FFC3FEE3B407B69077232400A249A65D889ACD1DFA1A9DFBE6C2B
SSDEEP96:886EETQBWB1phhXGFtm7kja19vWfoYXtJfAkMU6/Kg5SDWwIVmpgO+vLn/N70TO:T6EN8B2gsa19v1At5/6/QWwpa
TLSHT15F721B1B7B98E87EE47093F2805F476232F4F411A5E14F7F965511080EA3F886AB298B
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

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
MD541416B41BBA10CFAD20B3A84C69C37CB
PackageArchi586
PackageDescriptionCoq 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.
PackageMaintainerpterjan <pterjan>
PackageNamecoq
PackageRelease4.mga8
PackageVersion8.11.0
SHA-1CFB2E9B5C687CE3DC94B208B90F442C4F3F146FD
SHA-256F6C99A602FC093CDAD855C56CB41F775B4169763D02B7AA31322FB21CB956247