Result for 079310AAC896D1691524B3E709BA96D2BA872EA1

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/karatsuba.vo
FileSize94151
MD5AD5B48CDCE604CBF027D7E86D1C1D25C
SHA-1079310AAC896D1691524B3E709BA96D2BA872EA1
SHA-256DB9452CA9286F2F98A44D8702952180AB5BA9C310D46A921793BE525650A0043
SSDEEP1536:Jmt3ns/OGU5dNQIZXBWDeD0ADtfPSw4kxGj+5XjBzxldDMY1jkL3DmUHX2jJ:Ja+rU57nZXkDD7Tb4XjBz5vhkL3SUU
TLSHT14393F919C00BDF78D6BA4FB1972A9540E384170FD37A034D196B462C96CB6DF3AA528F
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
FileSize4619676
MD5647C00F147A701D38F1224AC873B0970
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-1B9D4801619ACB8854D4169E21FA356377841EC39
SHA-2568CB70908CD1B0B51B35E8A9BDF54DC48D46B3A37D2D4FF8F4B646ADCA8E4B35B
Key Value
FileSize4620732
MD5E4028CE04EA6E2E1CE613FD2DA72974F
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-15C96DF34A1F0CA6F470AA77AC949115C79573A8D
SHA-25669E5385A29A3C3AC2F512AB16C96C6D4DF16B0D8465E83B84E7CAA394F454410