Result for 22368FA1169DB5689FB6B841F8821C49F9A09CFC

Search result
Graph view
Parent (2)

Query result

Key Value
FileName./var/lib/coq/md5sums/libcoq-aac-tactics.checksum
FileSize5
MD5A6EC60376F3929002831DBF85BED6F7F
SHA-122368FA1169DB5689FB6B841F8821C49F9A09CFC
SHA-25622B1DF5D4CCA8F833E6782115BC4348942992CC2848345927AE330C6B887CE8B
SSDEEP3:BIW:p
TLSH
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
FileSize398216
MD520C904752DFAB6DC9621A1F286F3BE47
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-1B9FA8BF9D766B789DAC0DACAC18E40A9E1B9AD47
SHA-25692B0D5154C04E76384BDA35BFE35E1B3A9FD6F1703456F1602EFCEE8614254EE
Key Value
FileSize397868
MD56CF7CC46DBFA8C81B7CF02A9220B5EC1
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-113007698816875CAEEFE5A759A64785630A13BAE
SHA-2560775B148F5AA8992AA05FE559B97B0738AF9253F22110CA24952B67D3A6207A7





metalookup is a service from miwakeru.com