Result for 04354E6169A9D5470477E8B87B5C84C9538F9282

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/AAC_tactics/Instances.vo
FileSize78009
MD5B96E33EF0839CE249F62868CD427DEB5
SHA-104354E6169A9D5470477E8B87B5C84C9538F9282
SHA-2563F50D5377163A9D3A3F1F31C683C782619A06D627F6D0C942F552F4A73FCE765
SSDEEP1536:NEXDcRwHqhIKolW4N8t0dFbcXra9aXYN+Nvs/Sl:QgRNfgLfbk/Ey
TLSHT15D73099C831657A2A3EBDE34AA34A581CA690797D37E4365063E013CDB8E6C725733C3
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
FileSize398264
MD58B43C16F6B80ABA394030EB6ACDB5686
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.16.0-1+b1
SHA-1E01E15191144AB65714F70A90C939EF8D00BB642
SHA-256707A7DEEC8DC3BC1470CF46C4B159EBC426E0D59CB0C463C43020C0FDD577757