Result for 0519D215A3E0F599743103962BB19DB2893338F1

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoqEAL/theory/smithpid.vo
FileSize246628
MD588A762F45511D6C085DAC43364C3C08B
SHA-10519D215A3E0F599743103962BB19DB2893338F1
SHA-2565A9BE58A92FED1A906324D55A22D2DC7646E4737565FF152F6B6D7ACF844CAEA
SSDEEP3072:CVxJHSGeo76ad7w+qv1fAQxkJDoVWak3lYUsVv403VFJWzeB8gzwdadTkcWUoD:ApSGN6h+oYQWJDoVm3K1tWzY8gzdTXWZ
TLSHT19C345B75C45AAC31CBDE16F0D719D140FB4E13CEE3BA06895E1B819C59CB1AE24CA98F
hashlookup:parent-total2
hashlookup:trust60

Network graph view

Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize4618392
MD5B57D64FAC69CD93977C03754C00B4639
PackageDescriptionalgebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-coqeal
PackageSectionocaml
PackageVersion1.1.1-2+b2
SHA-17B7BFC9190731370C2757A0F8110E7859611A45C
SHA-2566AC35F31656A59148712B1E5E847B49F50A1001CFCF37F12CADF0A5696F440FA
Key Value
FileSize4619316
MD5063B7D454C606BB155FB3DBA97F9A808
PackageDescriptionalgebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-coqeal
PackageSectionocaml
PackageVersion1.1.1-2+b1
SHA-155984A57317D60E932036875BA838C2FF7DFD12F
SHA-256877888C5D2CA720CF7D532670E223C2D572E78DBA893345FA39BE46BA6F3D9F4