| Key | Value |
|---|---|
| FileName | ./usr/share/doc-base/libcoq-aac-tactics.aac-tactics-theories |
| FileSize | 289 |
| MD5 | F32B88909D8F2DE74CF7130E76B33D0D |
| SHA-1 | 12CEC490C485146C13FE91E8C24954FB9D80A206 |
| SHA-256 | 0E29893FBC64909696F60AE7FFDF22733A94EBD845BA330C0059AE9E03D6C9AE |
| SSDEEP | 6:Ii1cxWpZCv11xWWWBLNAl5KM1yAKTndu0PF4fj4fliasqxWXKDqWwasqxW2:IJZdZGLSe3TnduoFKMflvJBqmJt |
| TLSH | T140D0C224B25B2774941398F0E7525803CA1224716A1120F4A11A000C639C5C8B20F93C |
| hashlookup:parent-total | 8 |
| hashlookup:trust | 90 |
The searched file hash is included in 8 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 398216 |
| MD5 | 20C904752DFAB6DC9621A1F286F3BE47 |
| PackageDescription | Coq 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. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-aac-tactics |
| PackageSection | math |
| PackageVersion | 8.17.0-1+b1 |
| SHA-1 | B9FA8BF9D766B789DAC0DACAC18E40A9E1B9AD47 |
| SHA-256 | 92B0D5154C04E76384BDA35BFE35E1B3A9FD6F1703456F1602EFCEE8614254EE |
| Key | Value |
|---|---|
| FileSize | 388588 |
| MD5 | A4A6E7352440E480206C53A780FF8331 |
| PackageDescription | Coq 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. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-aac-tactics |
| PackageSection | math |
| PackageVersion | 8.17.0-1+b2 |
| SHA-1 | 967C1A4EB0357E3F4A0FA2C61BFDF12F4D471915 |
| SHA-256 | D65E22ED5A66943B0199DAFDC4037B6649DF33522F4EA999DF8A2E44BF534301 |
| Key | Value |
|---|---|
| FileSize | 381496 |
| MD5 | 249FBDB76E5436B582D5AA1C60E83F36 |
| PackageDescription | Coq 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. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-aac-tactics |
| PackageSection | math |
| PackageVersion | 8.17.0-1+b1 |
| SHA-1 | C6BB4CCD9133A8F92A8FD9F3E69E406F07C461FF |
| SHA-256 | AF2DEFB891AB97F67D0024E58FF3125964AAF387A98ECEC7715AE4FF18161D02 |
| Key | Value |
|---|---|
| FileSize | 388616 |
| MD5 | A32193333B26363B64BEAFCD8B07A1AB |
| PackageDescription | Coq 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. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-aac-tactics |
| PackageSection | math |
| PackageVersion | 8.17.0-1+b1 |
| SHA-1 | D1F73DBBB201C4A83254EDC2B19933F49D093F84 |
| SHA-256 | 3410D4722C91A7C5BF998EBE28C0FC8E59AA6F0D79B5FDE1D2FC902A30ED5A5A |
| Key | Value |
|---|---|
| FileSize | 389872 |
| MD5 | A82A4C250B92A37433665FD8471BF011 |
| PackageDescription | Coq 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. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-aac-tactics |
| PackageSection | math |
| PackageVersion | 8.17.0-1+b1 |
| SHA-1 | 1F9D62E1404F2B60AEBF670C4484F8066A8E4303 |
| SHA-256 | A5ABC5E90056553BC927FEE1181CA75F364F1D7505E3CF8FE091EA82E60EC1BC |
| Key | Value |
|---|---|
| FileSize | 381620 |
| MD5 | FC88F17C8E11B80679AF949C8303E834 |
| PackageDescription | Coq 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. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-aac-tactics |
| PackageSection | math |
| PackageVersion | 8.17.0-1+b2 |
| SHA-1 | 974BC821E7C29CFF64CAA9B8CD5A03A443519BDB |
| SHA-256 | 18EC02FA10892F8536027B7BE5B3F1847FFBA0DD853608244EF778C24ED816EF |
| Key | Value |
|---|---|
| FileSize | 397868 |
| MD5 | 6CF7CC46DBFA8C81B7CF02A9220B5EC1 |
| PackageDescription | Coq 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. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-aac-tactics |
| PackageSection | math |
| PackageVersion | 8.17.0-1+b2 |
| SHA-1 | 13007698816875CAEEFE5A759A64785630A13BAE |
| SHA-256 | 0775B148F5AA8992AA05FE559B97B0738AF9253F22110CA24952B67D3A6207A7 |
| Key | Value |
|---|---|
| FileSize | 389900 |
| MD5 | 12F837C872613729CC90E7AE656D6312 |
| PackageDescription | Coq 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. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-aac-tactics |
| PackageSection | math |
| PackageVersion | 8.17.0-1+b2 |
| SHA-1 | 1BAA5795D2E7D1F677B8C309CC3F863E83659590 |
| SHA-256 | B7652582AD548C9015F11B428A9B719DC06B1C6BDC8E7C2DD7949DFA9149DCEA |