Result for 0C9A00EDD1EC2E3CF4C52310B18CE2553955546E

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.vo
FileSize81916
MD5D5B0630D9D4B56FB29DB68C044F9EB61
SHA-10C9A00EDD1EC2E3CF4C52310B18CE2553955546E
SHA-25643F57C364B19EDBC7DB9788E54C87ADA6B1F1EEFED469D18238599D441D4A087
SSDEEP1536:WdNXrwcUCXgSYgrhclVJQS5f1dRHaxZjI1gxFc/LGOVH6OdlrI9abWs:WdNbFXgNJQS5f16HUgxeiQaOdlk9abT
TLSHT16783F89491169FA065F7CEB4A738609185020CDFD3BE5784AE38812CCB5F79B1E327A7
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