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 |
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/lib/ocaml/coq-aac-tactics/aac_plugin.cmo |
FileSize | 111548 |
MD5 | 7684439AA676C1F7CF76948D46FB29AD |
SHA-1 | 0D1428A99CF22DE41849788BDE4BDDEB4554CC52 |
SHA-256 | F565949DF1765CDA7C837DB9F3A30FDE585CE6A8BB75CF79DB6D23E164E15C2E |
SSDEEP | 1536:whNq2Ij+zs9+CvCRWPPup2ID4wnYpS8CGCT+/6fqzpYV5f5A157AiPg8Dq/P:wTqzT+W/FYZmqP |
TLSH | T116B3514AFB044EE2D4AA86B2DED38AC91335E6B46F02421F355C4A5C7D83B5F7B8125C |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq-aac-tactics/aac_plugin.cmx |
FileSize | 26493 |
MD5 | 81208DB463757B96E7F6A66BEC75C526 |
SHA-1 | 15E4CFB0ABF8E7BEF4D530FF066F57ACE4660CDC |
SHA-256 | D334777A05879AC9B3A674C3978DD9D76BD8AEE10522220114A6884FDEC5689D |
SSDEEP | 768:l9uQETQ2lt9yeYeoPvTsctHGwNoLAz9Uy4qCqqJA:qQxoXZXeOIoA |
TLSH | T117C22C25230F2C8171A98A70A965E3D189F9CAE18F5AFC31F07C0F167D7492496DF72A |
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/Utils.v |
FileSize | 8444 |
MD5 | 1816AC52A8395A20E47787DF545391E3 |
SHA-1 | 1B2C3D27944936919680E76301DDEDFA786C5702 |
SHA-256 | B7D04BA32ACE7D525F19A5B2909A3326ABCF085F5E4511DAF026AFBE3E5F107E |
SHA-512 | 7611A8D520F9C202426A6DBE1541C652B3E9DA546E4F21E403F3613135878A59E47CC807C4DC4C37CDE5B3B795101E44ED07A0600C81B3C17EDA9F44D6E950AB |
SSDEEP | 192:NQwz+uRXuT301ZteVugqA3tq3yaGUv9/sM4AM4QPCJG:NN+uRXuT307ksgq+BUvZsM/MOc |
TLSH | T1D302533A34E41C2136F6CC7FBAAA40D1BD51D64A2161AFA4F04CF6AC0F4F674A2365D2 |
insert-timestamp | 1683748240.6943672 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/AAC_tactics/Tutorial.vo |
FileSize | 75678 |
MD5 | BA7E6D39A488DDBB3695C5FDAB9A30CE |
SHA-1 | 1B9865C06564372DF80B5CBB94B241FB64BE3116 |
SHA-256 | 1B712A40FDB279B70D2E79153886B48137E350E8855A409015AB32C986076B24 |
SSDEEP | 1536:aIpT5ASFUr1a4BMXDPNyVRBshFUH7DWUvJCnDSctyBX:amNAF1a4GT/hFQ7DdJ2XEX |
TLSH | T1CC732991C1185FB054BE8DF8DB7CA18461120E8F837A9B550A31433DEACE6DB5DB6AC3 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/AAC_tactics/AAC.v |
FileSize | 33430 |
MD5 | 5A64CD866B20B30E76F469DEFA272C33 |
SHA-1 | 21368C57093F9E7627D614DAB8144527FC6613A4 |
SHA-256 | AFF488282986DF1ADA3F7747346F5680812D36BAE017542F06EB57D14DBADB35 |
SHA-512 | C4289CE58F91B2A65843F2A1820B37E6451DA2928A578FCC42C7CB092816457E773BEFBD8C1399CFEAFD42F481C328C9AE39483807F210157DD8F2A8A0B1AAF3 |
SSDEEP | 768:NXTsQab3JEOxTNmQydHpaNEwzjJgPJV1jN6KJOxAY2/eKzRFC62j8PQ9BjZFa7G/:NjsQab/mDdHINE0jJgVAKJOxAY2/eKza |
TLSH | T12EE2D82E359B102327A2CD77F6966081B624CACFE3B15650B48C71EC0F0DA78E5B2DD9 |
insert-timestamp | 1683748240.7237825 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31 |
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/lib/ocaml/rocq-runtime/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/lib/ocaml/coq/user-contrib/AAC_tactics/Utils.glob |
FileSize | 31219 |
MD5 | 68F01F382DE4F935419B9D5D6336F71B |
SHA-1 | 31738597F8757A8C2B331ADB177AAF8782F3317E |
SHA-256 | 68A3C4A4BA46DB3CDD25D24BD57A93E9237EB923C85A752F189C863489FAB8E0 |
SSDEEP | 384:6LKV+xySabmZrplsRpwMPrm743EX6XJVJVJAJTJDJzheM9lorJhJvJ9obJHJdJwD:6L0k7MpwMzK43EEWVoMCs7SFc+ |
TLSH | T19FE2DEBE3A8EAE3536854C735F8E1B3656A64465935B7930E35DCDD00BFDD88221B208 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/AAC_tactics/Instances.v |
FileSize | 14377 |
MD5 | 98FCBCDACC452C850E4DBBAAF38563F7 |
SHA-1 | 32D6B7B52231B9D87069D3CCDCB4C314139D92F8 |
SHA-256 | 549381AE1F7774B14E29664728B365DA7564C473D6B301BD875D8469CE942FE7 |
SHA-512 | D73079A8D487C7B7DAE5E7D898A0B55C68BF7890375866794E2ABCB903DB79C0C85E305AA2E707BBDE06429A2EC45791555AB683C9FB1AF835F9FFB450CAF491 |
SSDEEP | 384:NxX+mrIcyhQIotQ4Ak8IKBRa9IK5uEHI5NpgxDwqI:NxX+m0cyhDotQ4AkXKBRaSK5uEoDpgxs |
TLSH | T19A52007F43664B1A265A0056DB31ABD7D3ADE828C362890172EC937C177DAD233C5A1F |
insert-timestamp | 1683748240.7348437 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31 |