Result for 127DEFC6432E91BF4E158F3CDAB3BD9734864C98

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/Flocq/Core/Round_NE.vo
FileSize75404
MD5DDFA98FAD6901F4086935068AAC597D5
SHA-1127DEFC6432E91BF4E158F3CDAB3BD9734864C98
SHA-256E58A0615FCCC28CBD145E23E27DF8ACF23C55A5B45817AB55F5CF61C4F0E1DED
SSDEEP768:nLoX9RqYeyYcXLNeDYeEiU1eDYeEQlzIoTSFCeSKMzzJpGnKCylO5ZdBPfs/IbeI:ncXaYKxGRSKMzlpCKUFPReaL7T/j2VZy
TLSHT1A173E744E0129BB0D4F9CDB0EA3850D594020D9FE37E0B999B34812CDB9E7EB2979797
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
MD5F46679FE541EAC5CF39598E02B75F402
PackageArcharmv7hl
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-10658B6129A14D7FAE3FE922275516853E179B454
SHA-2565D0CD912F2F7B7C62FBC7484D8D4C8BC8130953D164BF65B7B7B1821F2B40D2A