| 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 |
| hashlookup:children-total | 40 |
| hashlookup:trust | 50 |
The searched file hash includes 40 children files known and seen by metalookup. A sample is included below:
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-aac-tactics/aac_plugin.cmxs |
| FileSize | 362440 |
| MD5 | A17F17995DAEBCAD3740179FCF47E5E5 |
| SHA-1 | 153F9A3A7656066BEFF19856C36D753E9BE36928 |
| SHA-256 | 7A5D92942D1CB5D478CF2707316FC23165E7AD0B61F81F70564A82FE8CF62B11 |
| SSDEEP | 6144:fNHwLy3m0C597h2pAbatwZiu6qKe6ipX:VHyy2076b9Wvih |
| TLSH | T1DC74B41ADE864D7EC9F9823A41734371BBB1F5A85B12EB0725D42A343F039691B6E3D0 |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/AAC_tactics/Constants.vo |
| FileSize | 3302 |
| MD5 | 2FAAC60D55E87B5B1F94AF47A68EEF11 |
| SHA-1 | 193BDADE48FA5FDFB0411A32D3DA366C39D26265 |
| SHA-256 | C3C46D599535BFF3575794127C0EF51B8468C4F0943C9B1944EE6B5C2B0332CE |
| SSDEEP | 48:YtRHVpW6dAMkuanlC1iIYI0wPd74etW42G6Wzodax8d0qBBDMnDfh/+V:YpPmvlIxO/tVZBkh/+V |
| TLSH | T16F61B68C91916A73C472D231EA68118144D83E5B9B467F7C20B9964C9B1E8EF09F7E3F |
| Key | Value |
|---|---|
| FileName | snap-hashlookup-import/coq-platform/lib/coq/user-contrib/AAC_tactics/Tutorial.v |
| FileSize | 13555 |
| MD5 | 54861FC3819309DA11398A0F651390F4 |
| SHA-1 | 26CB98182DDBEBB2F54D6051160FAF53A48BD739 |
| SHA-256 | 450DD43D36EBDF293F10AAC99054A5E400E9B1F616A17FD5F9F6D1606269AEA2 |
| SHA-512 | 5EBA1DD40FE5C1643E6B00298F6B79C91A031F94308A002CBABF991B1DD4D69B1AB4A905DADBA65F10FEE17E684FE7A3816055B7384CBFFB160F4785F57FEECD |
| SSDEEP | 192:NyiYNDHPGEo2MfxQKzMstv2F4ppdRbTaP1n5MGCdJ8K6:NEDvGyMfxQAv2upp/60Fde |
| TLSH | T18F52841E178F1E221B17CCB38BBA71C5C922C08AE3B05A9575ACB1AC1F0C2F565D64F2 |
| insert-timestamp | 1706626860.4323852 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-aac-tactics/theories/AAC_tactics.Caveats.html |
| FileSize | 98399 |
| MD5 | 9E9925DD215CE2C0616854E4874955DD |
| SHA-1 | 2B8227FD534D0D25DDE765832B73A2091F856306 |
| SHA-256 | 3C5B471E062E9F9339F298914AFCE3142EC0E64D365C5A5F2274E231693DA583 |
| SSDEEP | 1536:92KGIsNyLIGHG8GDjwWZQZlGfm0ymvymaXmYyvyxwnj9UbYQ5E+3baPA8hOb8jHy:T |
| TLSH | T1C0A32FE853A6383744B387E627E96B24F5E14E89E18A4810F2ED57F703CDE207952973 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/AAC_tactics/Caveats.vo |
| FileSize | 37971 |
| MD5 | 724F2567B2B40246ACDE7FD9E74DD45F |
| SHA-1 | 2E253C7CE6F511D36C71BC6C2537811C9D942EFA |
| SHA-256 | 937CF085345CD21FFEC7DE490607EE20EDCE9BD80D1D2BE3432D9521EFACE4BA |
| SSDEEP | 768:SLVlVunLr1o5HbHZ94aM3O41yJA1trh2i0im1PW9VPDJXQ8mLxm7:SLVou7HMBjyJE009k8m9m7 |
| TLSH | T1DD03D845C1156BB124BBC9B5DF38218454460E8F933F1B681A38427DEB9FADF2EB1683 |
| Key | Value |
|---|---|
| FileName | usr/lib/ocaml/coq-core/tools/coqdoc/coqdoc.css |
| FileSize | 6139 |
| MD5 | 1C0E28E4B818A20A7D764B6E19F3F2AA |
| SHA-1 | 314A1939F0D7818D2044B5867820478CB9F6DBDA |
| SHA-256 | C09E941D165D8A37C9F57667A59A5F087638EE3F2CD281439287286C6DFB42B9 |
| SHA-512 | 752B2DFC09EA08531590174700AC33212070CB4015ED0840CBED76611D8D1E3418579C28592698B9CE4FE5C914AD7076FE8A0257D518BB57ECDCADEB9C69E6AB |
| SSDEEP | 96:Uuheof+m6IdFxF0bjwsXp6Z4npdZ42rJyihegB9:WUFxFQcMdDrpee |
| TLSH | T1DBC1DB4397732C07A58F803C63BB926A726D54C3118A97BEBD7C6568CF49260E1C3E8D |
| insert-timestamp | 1727037220.1908724 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-aac-tactics/theories/AAC_tactics.Instances.html |
| FileSize | 149858 |
| MD5 | DB22B8BD7C886B869307639492982668 |
| SHA-1 | 35942CBA3A0817003DEA6A60AE6AE695C14B2192 |
| SHA-256 | 8BBAA2C5231DB9A4F7C5D2480CAD4913F5626340667D090B0CAD211928F517BF |
| SSDEEP | 1536:BUcqvIVy8HkZPVVpcI+W97UhEVXw+0PO/ROov85iEGmzHRVSMkNJViAc6PP1V6By:rHkZ8W91 |
| TLSH | T1AFE33AEC47AB383758B7CAF622F56768F0E10D85E0864850F1EE1AE6038EF543652977 |
| Key | Value |
|---|---|
| FileName | ./var/lib/coq/md5sums/libcoq-aac-tactics.checksum |
| FileSize | 5 |
| MD5 | F6C77D9B7EF9ADBE6332DE9F93AE795D |
| SHA-1 | 365E5EA2E2DA4639523F6B2FA7C7C5480601A6B9 |
| SHA-256 | 5FFCB243EBE883603A8E2A1311AF0139C0016C7EA3472BF327773E5B70CCE3C0 |
| SSDEEP | 3:gj:gj |
| TLSH |