Result for 1627E622EC7855032ACFD5DAC5BB172A459C6252

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/Flocq/Core/Round_NE.vo
FileSize75404
MD50E9EED02E9E238C16A51F6C6CEFCBBEC
SHA-11627E622EC7855032ACFD5DAC5BB172A459C6252
SHA-2569B14261AE92556E7003075B6ABF056823784C0F90A85FDC861BF673A858123B5
SSDEEP1536:VdNbyRdQCegYGXhp+RStHOd7yCRUFPReaL7T/j2VZ0:VdNMXegYGT+RStHOFuk2T/s0
TLSHT11073D744E1129BB0D4F9DD70EB3860D594020C9FE37E4B989A78812C9B8F7DB2939757
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
MD5C82AA631F4E4D7DEDEE75794B90E222A
PackageArchi586
PackageDescriptionFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
PackageMaintainerdanf <danf>
PackageNamecoq-flocq
PackageRelease1.mga9
PackageVersion4.1.0
SHA-1E55EAE14B4E44AA16E3940BDC4D855889E9B702D
SHA-2566558183A8A0E06CD6941CBAE873D32428C563E6687CBD6C1F2B7D0B98A2B2363