Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/karatsuba.vo |
FileSize | 94151 |
MD5 | AD5B48CDCE604CBF027D7E86D1C1D25C |
SHA-1 | 079310AAC896D1691524B3E709BA96D2BA872EA1 |
SHA-256 | DB9452CA9286F2F98A44D8702952180AB5BA9C310D46A921793BE525650A0043 |
SSDEEP | 1536:Jmt3ns/OGU5dNQIZXBWDeD0ADtfPSw4kxGj+5XjBzxldDMY1jkL3DmUHX2jJ:Ja+rU57nZXkDD7Tb4XjBz5vhkL3SUU |
TLSH | T14393F919C00BDF78D6BA4FB1972A9540E384170FD37A034D196B462C96CB6DF3AA528F |
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 | 4619676 |
MD5 | 647C00F147A701D38F1224AC873B0970 |
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 | B9D4801619ACB8854D4169E21FA356377841EC39 |
SHA-256 | 8CB70908CD1B0B51B35E8A9BDF54DC48D46B3A37D2D4FF8F4B646ADCA8E4B35B |
Key | Value |
---|---|
FileSize | 4620732 |
MD5 | E4028CE04EA6E2E1CE613FD2DA72974F |
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 | 5C96DF34A1F0CA6F470AA77AC949115C79573A8D |
SHA-256 | 69E5385A29A3C3AC2F512AB16C96C6D4DF16B0D8465E83B84E7CAA394F454410 |