Result for 0F1B4C5FFB4342C81D12716983CFC72FFB3032E5

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoqEAL/refinements/trivial_seq.vo
FileSize39592
MD51E39F47206424A7F025DF57FA2BB7E86
SHA-10F1B4C5FFB4342C81D12716983CFC72FFB3032E5
SHA-25675A5559A2BEA70B8317839578A03566E9DCBE2179867CA5BB26E1C3629479406
SSDEEP768:prGJsXo8onvlnoWFuG2UCSu3Vtt4gXS9/4rj+oFN7QqRLQgc/5M3i9MC8Uc:prGF9NnoWFudltt4gi9/41sIMgcoVnP
TLSHT1C6039349D12587B0E4F6CB758B38A58054851D8B93395B996A78463CEB0F3EF3EB4383
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
FileSize4637504
MD546DA9BFD2C01AB9B0BC0C1859AA9C159
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-1+b1
SHA-10FC172445A0095C3F89E7D112BEB9E4A78246038
SHA-256DBA17D32A275318B85FEF965D7C1DE78EDE85DE0D7E0D830B4635141CBDF6ADE