Result for 13007698816875CAEEFE5A759A64785630A13BAE

Query result

Key Value
FileSize397868
MD56CF7CC46DBFA8C81B7CF02A9220B5EC1
PackageDescriptionCoq 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-aac-tactics
PackageSectionmath
PackageVersion8.17.0-1+b2
SHA-113007698816875CAEEFE5A759A64785630A13BAE
SHA-2560775B148F5AA8992AA05FE559B97B0738AF9253F22110CA24952B67D3A6207A7
hashlookup:children-total40
hashlookup:trust50

Network graph view

Children (Total: 40)

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
FileSize289
MD5F32B88909D8F2DE74CF7130E76B33D0D
SHA-112CEC490C485146C13FE91E8C24954FB9D80A206
SHA-2560E29893FBC64909696F60AE7FFDF22733A94EBD845BA330C0059AE9E03D6C9AE
SSDEEP6:Ii1cxWpZCv11xWWWBLNAl5KM1yAKTndu0PF4fj4fliasqxWXKDqWwasqxW2:IJZdZGLSe3TnduoFKMflvJBqmJt
TLSHT140D0C224B25B2774941398F0E7525803CA1224716A1120F4A11A000C639C5C8B20F93C
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/AAC_tactics/Tutorial.glob
FileSize50765
MD5A3AABB583607538DF594CC97826696A2
SHA-1170B01321A41B4C78387D74CD3E40B2BDFC9D332
SHA-2562A7168A3C23B27E0F8734F12408099D70BED103BD9288DE95D1A3E7A756F8FB9
SSDEEP384:K2WZr3cGQCq//USdtdxzNqfOgN0Wqj/ttYE6yXUhK8Q/7qZoaPvWfQgnvAOYPUUP:zWZr3aCqnIQUQ/7KoUWf/nvADUUtHd
TLSHT129335F98B9809F37B24909F29F152F74197A1486DF9A303499CF498A9FDECC8137F528
Key Value
FileName./var/lib/coq/md5sums/libcoq-aac-tactics.checksum
FileSize5
MD5A6EC60376F3929002831DBF85BED6F7F
SHA-122368FA1169DB5689FB6B841F8821C49F9A09CFC
SHA-25622B1DF5D4CCA8F833E6782115BC4348942992CC2848345927AE330C6B887CE8B
SSDEEP3:BIW:p
TLSH
Key Value
FileNamesnap-hashlookup-import/coq-platform/lib/coq/user-contrib/AAC_tactics/Tutorial.v
FileSize13555
MD554861FC3819309DA11398A0F651390F4
SHA-126CB98182DDBEBB2F54D6051160FAF53A48BD739
SHA-256450DD43D36EBDF293F10AAC99054A5E400E9B1F616A17FD5F9F6D1606269AEA2
SHA-5125EBA1DD40FE5C1643E6B00298F6B79C91A031F94308A002CBABF991B1DD4D69B1AB4A905DADBA65F10FEE17E684FE7A3816055B7384CBFFB160F4785F57FEECD
SSDEEP192:NyiYNDHPGEo2MfxQKzMstv2F4ppdRbTaP1n5MGCdJ8K6:NEDvGyMfxQAv2upp/60Fde
TLSHT18F52841E178F1E221B17CCB38BBA71C5C922C08AE3B05A9575ACB1AC1F0C2F565D64F2
insert-timestamp1706626860.4323852
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33
Key Value
FileName./usr/share/doc/libcoq-aac-tactics/theories/AAC_tactics.Caveats.html
FileSize98399
MD59E9925DD215CE2C0616854E4874955DD
SHA-12B8227FD534D0D25DDE765832B73A2091F856306
SHA-2563C5B471E062E9F9339F298914AFCE3142EC0E64D365C5A5F2274E231693DA583
SSDEEP1536:92KGIsNyLIGHG8GDjwWZQZlGfm0ymvymaXmYyvyxwnj9UbYQ5E+3baPA8hOb8jHy:T
TLSHT1C0A32FE853A6383744B387E627E96B24F5E14E89E18A4810F2ED57F703CDE207952973
Key Value
FileNameusr/lib/ocaml/coq-core/tools/coqdoc/coqdoc.css
FileSize6139
MD51C0E28E4B818A20A7D764B6E19F3F2AA
SHA-1314A1939F0D7818D2044B5867820478CB9F6DBDA
SHA-256C09E941D165D8A37C9F57667A59A5F087638EE3F2CD281439287286C6DFB42B9
SHA-512752B2DFC09EA08531590174700AC33212070CB4015ED0840CBED76611D8D1E3418579C28592698B9CE4FE5C914AD7076FE8A0257D518BB57ECDCADEB9C69E6AB
SSDEEP96:Uuheof+m6IdFxF0bjwsXp6Z4npdZ42rJyihegB9:WUFxFQcMdDrpee
TLSHT1DBC1DB4397732C07A58F803C63BB926A726D54C3118A97BEBD7C6568CF49260E1C3E8D
insert-timestamp1727037220.1908724
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/share/doc/libcoq-aac-tactics/theories/AAC_tactics.Instances.html
FileSize149858
MD5DB22B8BD7C886B869307639492982668
SHA-135942CBA3A0817003DEA6A60AE6AE695C14B2192
SHA-2568BBAA2C5231DB9A4F7C5D2480CAD4913F5626340667D090B0CAD211928F517BF
SSDEEP1536:BUcqvIVy8HkZPVVpcI+W97UhEVXw+0PO/ROov85iEGmzHRVSMkNJViAc6PP1V6By:rHkZ8W91
TLSHT1AFE33AEC47AB383758B7CAF622F56768F0E10D85E0864850F1EE1AE6038EF543652977
Key Value
FileName./usr/share/doc/libcoq-aac-tactics/theories/AAC_tactics.Constants.html
FileSize5674
MD5637D74A5626B24D252887B6317710D93
SHA-1392FBEE5ADC6D2E04E6542FCA790670F70CF3C58
SHA-256423DE9BDA853BCE1471C2C714139D52EAF074337F32B0D943491753CFC25E038
SSDEEP96:LzppaC6DaVRaYioasbhHHqCMIM0+HHqi/IaXXYQ:ZpaC6DaVRaYioasbhqCMISqZaXX/
TLSHT150C1B3D8D3A76C724C72D9E766EA8B25F4E05A4ED5C8081472EC26F253DECA4F00746B
Key Value
FileName./usr/share/doc/libcoq-aac-tactics/README.md.gz
FileSize2043
MD5C711657B1729A2ABA95D8301185490B4
SHA-13ACC6EEF55848585D3CB0256281181029C200B5A
SHA-256E10A8BD989425071D26D8A1EFAB6A383F8B0B81964BD6B7F85B1C0BFDB83CB39
SSDEEP48:XmFcRfADR6KHWT/CBN4s3Kx2TJiH1MdvMPha8quFMmM00d:2qRfmRACBSs6xiJY1MFM+nd
TLSHT171412C9590C87893876B4AA069A58FC926DD4424A123F48775B1EF9000F367E36F7E1A
Key Value
FileName./usr/lib/ocaml/coq-aac-tactics/aac_plugin.cmi
FileSize27621
MD5BC27BC31AD6CFB9063FE0EECBAB0E925
SHA-13E7221561933016CDB72A53313E2F8CB5F90DD8D
SHA-25681110BBB8044C48B501CB0821E10CA0FA8965A9357D5B489B6185446EAAAD72B
SSDEEP384:RhB4e6rUfZqKVwhgEurjBYfv59wjnCOY1mDv3i33kMsa0u:fB4e6rJKufuRYfB9OSmDgZz
TLSHT11DC274AE766B222DFCDA56AD42B842A747301BFCE3E1CC7BD46807E0525D41C13EA197