| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/AAC_tactics/Tutorial.glob |
| FileSize | 50765 |
| MD5 | A3AABB583607538DF594CC97826696A2 |
| SHA-1 | 170B01321A41B4C78387D74CD3E40B2BDFC9D332 |
| SHA-256 | 2A7168A3C23B27E0F8734F12408099D70BED103BD9288DE95D1A3E7A756F8FB9 |
| SSDEEP | 384:K2WZr3cGQCq//USdtdxzNqfOgN0Wqj/ttYE6yXUhK8Q/7qZoaPvWfQgnvAOYPUUP:zWZr3aCqnIQUQ/7KoUWf/nvADUUtHd |
| TLSH | T129335F98B9809F37B24909F29F152F74197A1486DF9A303499CF498A9FDECC8137F528 |
| hashlookup:parent-total | 12 |
| hashlookup:trust | 100 |
The searched file hash is included in 12 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 388908 |
| MD5 | A2E6C0AF24C23F6A54E9577C36380309 |
| 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.16.0-1+b1 |
| SHA-1 | C01CE73E258DA3942C7BDB5C53A56318F2F9C504 |
| SHA-256 | 8E489B7493706C3727EB3A227923E1530692991F4033363886A86E03F12096D3 |
| 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 | 398264 |
| MD5 | 8B43C16F6B80ABA394030EB6ACDB5686 |
| 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.16.0-1+b1 |
| SHA-1 | E01E15191144AB65714F70A90C939EF8D00BB642 |
| SHA-256 | 707A7DEEC8DC3BC1470CF46C4B159EBC426E0D59CB0C463C43020C0FDD577757 |
| Key | Value |
|---|---|
| FileSize | 381928 |
| MD5 | 3F4AFB2860EEEA361339E4861B5955F4 |
| 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.16.0-1+b1 |
| SHA-1 | B7B8BC7333340C8DB1E448BB8661BE580C818403 |
| SHA-256 | 4A6D5B6F9B41256B56C8B97CC4C5032AED407194F3A903346DC8F1337B56CFCB |
| 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 |
| Key | Value |
|---|---|
| FileSize | 390444 |
| MD5 | 3B24AC8D0653A0FDDF2D381DB8A7E76D |
| 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.16.0-1+b1 |
| SHA-1 | AFC6F0DB2F0F736C86122410E62E1E21ECEA9413 |
| SHA-256 | 537DE1C9BA3F40ECFFE54979FF6CCFC6DDE1812219E934D139BDF11F251CDBCF |