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 |
| 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 | 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 |