Result for 0B8CF0C911E2907642ECC0BA0278985512BD7630

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/Flocq/Core/Zaux.vo
FileSize97198
MD55E21D6A9123C8ED665E24FDA5990CADB
SHA-10B8CF0C911E2907642ECC0BA0278985512BD7630
SHA-256E354C74F88C9698382DA1A68F95E8331B03320B1892741CC46BF3E55DFCCB6D5
SSDEEP1536:MbvjJd+y3aLxh5NHzsjJ/jyDe7SHVeAVk2w4AmGOWaVzOY+B7/iAvvcuzN217jWQ:MbLHh3+xh5NHQjJ/jyDe7QekuHCdzOYH
TLSHT152934C1491144EB4CDAE8DB8EB28A0C157150F9F93BF83825E29816DDADB3DB19732C3
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
FileSize3307424
MD54C911345A9A3559598DDDF560E8249C0
PackageDescriptionFloating-point arithmetic for Coq Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-flocq
PackageSectionocaml
PackageVersion4.1.0-2+b1
SHA-1A4D2DC730AC9A8E9F8C0D8DC832FBE0BCF069E24
SHA-256FDB5077E5F6C7990B719E2D9C4EF448448E25F78E9A37E2C8FAA64547CBCF718