Result for 020C3F7154626780BC59B8AB4041B5C444E5649F

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/CoqEAL/theory/atomic_operations.vo
FileSize93169
MD5EFE44D97CB2AE26589EAF0A8E9E96F04
SHA-1020C3F7154626780BC59B8AB4041B5C444E5649F
SHA-2565A1FEA8F307A2615A4FD986CFFC61C0D1799C593413578CB5B0BB4E51761E286
SSDEEP1536:Et1lB5dlHNmNlMI1Mi0pizHkXe8vqIcwD0ivvuD+5dRS8GrvKN5J6356UR/8foi0:EtuMi0urUq+Rvk8GjKN20URhiaF
TLSHT1B9935D38D1099EB4C0E6AEB19724E0D05A011D4FD3BD07566E25426CDACF3FE68A86CF
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
FileSize4619912
MD532E50B59F21C9580D0CBEF3B70AB386F
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-3+b1
SHA-1183D9429EF362C09339B607FA0516A544384382B
SHA-25666F245A8A274404773A9C7A8BCC2011F8D5EA9084E4D4255D2BE4EB9FA59609D