Result for 2E253C7CE6F511D36C71BC6C2537811C9D942EFA

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/AAC_tactics/Caveats.vo
FileSize37971
MD5724F2567B2B40246ACDE7FD9E74DD45F
SHA-12E253C7CE6F511D36C71BC6C2537811C9D942EFA
SHA-256937CF085345CD21FFEC7DE490607EE20EDCE9BD80D1D2BE3432D9521EFACE4BA
SSDEEP768:SLVlVunLr1o5HbHZ94aM3O41yJA1trh2i0im1PW9VPDJXQ8mLxm7:SLVou7HMBjyJE009k8m9m7
TLSHT1DD03D845C1156BB124BBC9B5DF38218454460E8F933F1B681A38427DEB9FADF2EB1683
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
FileSize389872
MD5A82A4C250B92A37433665FD8471BF011
PackageDescriptionCoq tactics for reasoning modulo AC (theories) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-aac-tactics
PackageSectionmath
PackageVersion8.17.0-1+b1
SHA-11F9D62E1404F2B60AEBF670C4484F8066A8E4303
SHA-256A5ABC5E90056553BC927FEE1181CA75F364F1D7505E3CF8FE091EA82E60EC1BC
Key Value
FileSize389900
MD512F837C872613729CC90E7AE656D6312
PackageDescriptionCoq tactics for reasoning modulo AC (theories) This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-aac-tactics
PackageSectionmath
PackageVersion8.17.0-1+b2
SHA-11BAA5795D2E7D1F677B8C309CC3F863E83659590
SHA-256B7652582AD548C9015F11B428A9B719DC06B1C6BDC8E7C2DD7949DFA9149DCEA