Result for 005DCB3D2E55F3A131FD82B245A6F43025E6FDAC

Query result

Key Value
FileName./usr/lib64/coq/plugins/ltac/tacsubst.cmx
FileSize6364
MD5FF5B84B516A8722EBDE01BA8963412D6
SHA-1005DCB3D2E55F3A131FD82B245A6F43025E6FDAC
SHA-256C6ABA8435F802FD63E74A17FE64CA84965CE7086ED3338B21A26D67D382038BC
SSDEEP96:IK3pXGc8q6o16l6l96Wtf0xZfT32TyJdTQldNbPECH:lh1H0l+68MxBiTETQlXH
TLSHT17BD182269299239974FB00FE560E8BDE89798D925F3EC03549FD9E8F3C5053162D3A09
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
MD544E78D71288983614F8CE7448ED66C61
PackageArchaarch64
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.
PackageMaintainertv <tv>
PackageNamecoq
PackageRelease1.mga7
PackageVersion8.7.1
SHA-14EF33103EBA4B46030C0DF6D8A466FA2910305F9
SHA-256402776A61FC88C883BFAD7A27E28B12F26A1D44A6FA083D68B5A5192FF82B3AF