Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/CoqEAL/theory/smithpid.vo |
FileSize | 246628 |
MD5 | 88A762F45511D6C085DAC43364C3C08B |
SHA-1 | 0519D215A3E0F599743103962BB19DB2893338F1 |
SHA-256 | 5A9BE58A92FED1A906324D55A22D2DC7646E4737565FF152F6B6D7ACF844CAEA |
SSDEEP | 3072:CVxJHSGeo76ad7w+qv1fAQxkJDoVWak3lYUsVv403VFJWzeB8gzwdadTkcWUoD:ApSGN6h+oYQWJDoVm3K1tWzY8gzdTXWZ |
TLSH | T19C345B75C45AAC31CBDE16F0D719D140FB4E13CEE3BA06895E1B819C59CB1AE24CA98F |
hashlookup:parent-total | 2 |
hashlookup:trust | 60 |
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 |
---|---|
FileSize | 4618392 |
MD5 | B57D64FAC69CD93977C03754C00B4639 |
PackageDescription | algebra 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. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-coqeal |
PackageSection | ocaml |
PackageVersion | 1.1.1-2+b2 |
SHA-1 | 7B7BFC9190731370C2757A0F8110E7859611A45C |
SHA-256 | 6AC35F31656A59148712B1E5E847B49F50A1001CFCF37F12CADF0A5696F440FA |
Key | Value |
---|---|
FileSize | 4619316 |
MD5 | 063B7D454C606BB155FB3DBA97F9A808 |
PackageDescription | algebra 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. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-coqeal |
PackageSection | ocaml |
PackageVersion | 1.1.1-2+b1 |
SHA-1 | 55984A57317D60E932036875BA838C2FF7DFD12F |
SHA-256 | 877888C5D2CA720CF7D532670E223C2D572E78DBA893345FA39BE46BA6F3D9F4 |