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 |
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/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 | ./var/lib/coq/md5sums/libcoq-aac-tactics.checksum |
FileSize | 5 |
MD5 | A6EC60376F3929002831DBF85BED6F7F |
SHA-1 | 22368FA1169DB5689FB6B841F8821C49F9A09CFC |
SHA-256 | 22B1DF5D4CCA8F833E6782115BC4348942992CC2848345927AE330C6B887CE8B |
SSDEEP | 3:BIW:p |
TLSH |
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-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 | ./usr/share/doc/libcoq-aac-tactics/theories/AAC_tactics.Constants.html |
FileSize | 5674 |
MD5 | 637D74A5626B24D252887B6317710D93 |
SHA-1 | 392FBEE5ADC6D2E04E6542FCA790670F70CF3C58 |
SHA-256 | 423DE9BDA853BCE1471C2C714139D52EAF074337F32B0D943491753CFC25E038 |
SSDEEP | 96:LzppaC6DaVRaYioasbhHHqCMIM0+HHqi/IaXXYQ:ZpaC6DaVRaYioasbhqCMISqZaXX/ |
TLSH | T150C1B3D8D3A76C724C72D9E766EA8B25F4E05A4ED5C8081472EC26F253DECA4F00746B |
Key | Value |
---|---|
FileName | ./usr/share/doc/libcoq-aac-tactics/README.md.gz |
FileSize | 2043 |
MD5 | C711657B1729A2ABA95D8301185490B4 |
SHA-1 | 3ACC6EEF55848585D3CB0256281181029C200B5A |
SHA-256 | E10A8BD989425071D26D8A1EFAB6A383F8B0B81964BD6B7F85B1C0BFDB83CB39 |
SSDEEP | 48:XmFcRfADR6KHWT/CBN4s3Kx2TJiH1MdvMPha8quFMmM00d:2qRfmRACBSs6xiJY1MFM+nd |
TLSH | T171412C9590C87893876B4AA069A58FC926DD4424A123F48775B1EF9000F367E36F7E1A |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq-aac-tactics/aac_plugin.cmi |
FileSize | 27621 |
MD5 | BC27BC31AD6CFB9063FE0EECBAB0E925 |
SHA-1 | 3E7221561933016CDB72A53313E2F8CB5F90DD8D |
SHA-256 | 81110BBB8044C48B501CB0821E10CA0FA8965A9357D5B489B6185446EAAAD72B |
SSDEEP | 384:RhB4e6rUfZqKVwhgEurjBYfv59wjnCOY1mDv3i33kMsa0u:fB4e6rJKufuRYfB9OSmDgZz |
TLSH | T11DC274AE766B222DFCDA56AD42B842A747301BFCE3E1CC7BD46807E0525D41C13EA197 |