Result for 02D9D6CB7E9B90A8DF5E59F16FBD9FDF2A83E7B0

Query result

Key Value
FileName./usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Round.vo
FileSize134547
MD599B9EDD70F57A83BCA315288FD278ED0
SHA-102D9D6CB7E9B90A8DF5E59F16FBD9FDF2A83E7B0
SHA-2566AF2EA394D80CF798E216123310EF4649DD7879F70C121100C4449A89D05F6FA
SSDEEP3072:g0ynw2wji40XP7Amo1nLK0izfQLX61UoXobyVBQYtT:LywzeXP761nBXkobyPQYh
TLSHT14DD34C55A5059FA0D8EB9CB4DB2451D063120D8FB2BE53469A38D22CCE8F3EF5972783
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
MD526D95FA5518B79853195418534999348
PackageArchx86_64
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-18EE4431047D19F0587D41560B74D30DCF8A929A3
SHA-256028E428086F4BB8021D7D53A75A03F6A074F486337A3852B76F547E3790BEF7C