Result for 1C6ABFA84570BCE85447C7257A57331F9F4B0986

Query result

Key Value
FileName./usr/share/doc/libcoq-aac-tactics/changelog.Debian.armhf.gz
FileSize220
MD50DD96B1C87BA96F254BE5EC741D32ECA
SHA-11C6ABFA84570BCE85447C7257A57331F9F4B0986
SHA-2565EF0C19B982E84FD0D7CF136293ADB1049B93DB9CB0871FECAF4EC13BF5DE2D6
SSDEEP6:XtoZQ51VM0TydAGoxHb7YfgTlYBH/rX7YIc6TL:XzTydUx7bTiMIc6n
TLSHT1C3D0A78E02B8A079821B1ABAF7453A33982D404C90BFC9E572650080818514799A4259
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
FileSize388616
MD5A32193333B26363B64BEAFCD8B07A1AB
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-1D1F73DBBB201C4A83254EDC2B19933F49D093F84
SHA-2563410D4722C91A7C5BF998EBE28C0FC8E59AA6F0D79B5FDE1D2FC902A30ED5A5A