| Key | Value |
|---|---|
| FileSize | 304850 |
| MD5 | 9C351162B617B42B35E6BF6EA7ECC541 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libaac-tactics-coq |
| PackageSection | math |
| PackageVersion | 0.2.pl2-2build1 |
| SHA-1 | 497FA1B770C9E7CADDFA63054C242DF3A2FAFF10 |
| SHA-256 | 2C3E75DFEC2C3707338D4A7BA47A9E8DFE233B4C99672B71F0FC8D156C553104 |
| hashlookup:children-total | 82 |
| hashlookup:trust | 50 |
The searched file hash includes 82 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.Stubs.html |
| FileSize | 2347 |
| MD5 | 4231DD54CDD104D37873D4A149AF20DA |
| SHA-1 | 0261185955073FBA120E9512B67685E5439D36AE |
| SHA-256 | 3C44A9B7544BB89D4F0186C0512208E4B025A5ED999CB1CD1A1A02FAA3622B6C |
| SSDEEP | 48:2q28EwKEdE5tFENKEF9EsyEgqEoOEXHjEiGDEalnsxCsKCseCs7CswYCsCsrUsLR:d28E9EdEZEUELEPEzEVEzEiqEmn9gCZo |
| TLSH | T1FF417B9020A66856C8B384D3F2D026F7BDF121D9D994869DBAFC323912EDE357335013 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tools/coqdoc/coqdoc.css |
| FileSize | 4642 |
| MD5 | 82EFED29CA62ADEA2B2CA95D04C51688 |
| SHA-1 | 03C4B6B96958B27DED5589EABCAA6A6AEAB824C2 |
| SHA-256 | 1AC4FC611F91722F878272405E9ED91FB498302E490EA59F2D463FEDE7B297B6 |
| SSDEEP | 96:Uuheof+m6IdFxF0bjwH0KEp6Z4zpZ42rZhegBU:WUFxFWKEcsDr3e9 |
| TLSH | T1FBA1EE4397232806B58F807CB3B7A676222D18D3524693B9BD7C6554CF452A4A2D3FCD |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.Sym.html |
| FileSize | 2120 |
| MD5 | E8101FDB70CB8EE7D2B392BF30B54965 |
| SHA-1 | 06B35757E930840B4EA370ACBA80A35513C5C0EA |
| SHA-256 | 03E8EA6C4689D43CEBE18DA452173D6A0086E02D848A96230F13ECFC906FFF89 |
| SSDEEP | 48:2q28EwKEdE5tFENKEF9EsyEgqEoOEXHjEiGDEacmnUQVYZg9QsnsOzuo+5Js8y5:d28E9EdEZEUELEPEzEVEzEiqEFmnPYZk |
| TLSH | T10F417BD020F66892D8F284D3F2D02AB77CF161D9D9C89249BAEC323502D9E21B335403 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libaac-tactics-coq/api/type_AAC_matcher.html |
| FileSize | 10011 |
| MD5 | A52869AB7C276936549AC85BA740AA17 |
| SHA-1 | 06C29B82E017CB27891E1D7E6DCBA6E962F4080E |
| SHA-256 | AB5C374F2A82A56AB15A24E3B4771B6928943312B62ACA2D6DD7486CC474725F |
| SSDEEP | 96:d28E9EdEZEUELEPEzEVEzEiqEEntQMQ2m+cdd9ddEQ212Ndd1ddddVldddddddd0:+Gmy5YsgegiLEUeiQ |
| TLSH | T1F02236A0A4F279A2D9F7D5D2F4C113FF7DE060E9D588D349E6BC222446CCE2EB625801 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Relation.html |
| FileSize | 1938 |
| MD5 | D32B73B748DA4AFDB968C91577E330CE |
| SHA-1 | 07F610AC892CB1EF35BE7F9957E1EB3E7813286B |
| SHA-256 | 4E5653E9217A299EAA9D7EC42A260803D66099A02C0A4282B72C61310FB8BF39 |
| SSDEEP | 48:2q28EwKEdE5tFENKEF9EsyEgqEoOEXHjEiGDEa4nUQzwNQsX75sRr5:d28E9EdEZEUELEPEzEVEzEiqEbnVwNQF |
| TLSH | T15B418FD020F66896D4F285D3F2D036B77DF251D8D888925ABAEC323902D9E31B335013 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.html |
| FileSize | 13190 |
| MD5 | 43F2F3BA014B90192576ECCB4CA13880 |
| SHA-1 | 0B03251DAFEAB6CDB98F1FD481FA9D55522A85D5 |
| SHA-256 | 559D6C509C9BD03FAA9BE1529BDD6CAD986B8905DA335A36EB43BEBA85FA0151 |
| SSDEEP | 96:d28E9EdEZEUELEPEzEVEzEiqErn8Ndd1dddd4ddddddzddddddgddddBddddbddR:+Gmy5YsgegiLrfx15+X |
| TLSH | T1F3421A9054F275A2C9B7D4D2F18043FF7EF0A1D9E588D35AEABC622857DCD2E7226801 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Leibniz.html |
| FileSize | 1367 |
| MD5 | 359F4425ECC544C93E9B00771A480B21 |
| SHA-1 | 1541FC424D57A10E9A872B87AC7DAEBD990EF4B4 |
| SHA-256 | 4879B72979988EB36FF0EA375BFD5324FA8B968A01DF7BD2395D00A318ECFA68 |
| SSDEEP | 24:kdlqi9N8E6lKEdE5tFEr5KEFGcEsGpELEGWAEoGjEXGqjEiGG6EaG8X/BqvWS7G3:2q28EwKEdE5tFENKEF9EsyEgqEoOEXHK |
| TLSH | T113216BA8209A9C99F4F585E7E7F03D75BCE74199C9945946B9AC323A01D5F30B338113 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Option.html |
| FileSize | 1905 |
| MD5 | 75C15226163262916F52701D618ECAE2 |
| SHA-1 | 16071071244C4CA6CA0F19AD3C2B8A5B1725CBAF |
| SHA-256 | 81B4EE30D70EF30A7455A0BF3103978AB33FC1E6674ABE22E8F4FED4D31605FA |
| SSDEEP | 48:2q28EwKEdE5tFENKEF9EsyEgqEoOEXHjEiGDEaHnsJ7Js/Jsa6y5:d28E9EdEZEUELEPEzEVEzEiqEEnIu75 |
| TLSH | T169415E9060E65992D8F285E7F7D03AB27DF252D8D9D4915D79AC333902E8E317335412 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libaac-tactics-coq/api/AAC_matcher.html |
| FileSize | 8877 |
| MD5 | 25F98EE34EE971F7BC709AD0782772CE |
| SHA-1 | 186F5D75998F74E457A976936419E604401F490E |
| SHA-256 | 728A70BDB83188EF6ED5D082E36C214B1B14742797416F40644A32463E114AAC |
| SSDEEP | 192:wAGmy5YsgegiL6DA8IvlTtJyPKx/L3oRKV2BdEO86z/OeBqSBQ/Z:FGmy5YsgegiL6DA8IvlRJ2RB86z/OenG |
| TLSH | T1000231F151C0232B60F383CAD6EA6678B9EF90F9D55010847D9D73288B4AFB1622664F |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libaac-tactics-coq/api/index_modules.html |
| FileSize | 5610 |
| MD5 | 8023CB43E5820F91404F63CB3AB37136 |
| SHA-1 | 191D9D1D0E8BBA00F4454E1C13B295F8875645A9 |
| SHA-256 | 5CBC563538EEBA5483B7EA3D6999833266E3530486B7134C9208FC3124A085E4 |
| SSDEEP | 96:D28E9EdEZEUELEPEzEVEzEiqEcvNkSxUkwCUiTuhczQ5MQ/4MKMgM/M0YqcMhhgr:cGmy5YsgegiLcvGShyxl2WlbUw3Y3tT5 |
| TLSH | T137C15DD110C426BEA1F6220A95E53DDDA0F385F0CAE97441B65BBC6BDE877B0D221353 |