Result for C01CE73E258DA3942C7BDB5C53A56318F2F9C504

Query result

Key Value
FileSize388908
MD5A2E6C0AF24C23F6A54E9577C36380309
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.16.0-1+b1
SHA-1C01CE73E258DA3942C7BDB5C53A56318F2F9C504
SHA-2568E489B7493706C3727EB3A227923E1530692991F4033363886A86E03F12096D3
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/lib/ocaml/coq-aac-tactics/aac_plugin.cmo
FileSize111548
MD57684439AA676C1F7CF76948D46FB29AD
SHA-10D1428A99CF22DE41849788BDE4BDDEB4554CC52
SHA-256F565949DF1765CDA7C837DB9F3A30FDE585CE6A8BB75CF79DB6D23E164E15C2E
SSDEEP1536:whNq2Ij+zs9+CvCRWPPup2ID4wnYpS8CGCT+/6fqzpYV5f5A157AiPg8Dq/P:wTqzT+W/FYZmqP
TLSHT116B3514AFB044EE2D4AA86B2DED38AC91335E6B46F02421F355C4A5C7D83B5F7B8125C
Key Value
FileName./usr/lib/ocaml/coq-aac-tactics/aac_plugin.cmx
FileSize26493
MD581208DB463757B96E7F6A66BEC75C526
SHA-115E4CFB0ABF8E7BEF4D530FF066F57ACE4660CDC
SHA-256D334777A05879AC9B3A674C3978DD9D76BD8AEE10522220114A6884FDEC5689D
SSDEEP768:l9uQETQ2lt9yeYeoPvTsctHGwNoLAz9Uy4qCqqJA:qQxoXZXeOIoA
TLSHT117C22C25230F2C8171A98A70A965E3D189F9CAE18F5AFC31F07C0F167D7492496DF72A
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./usr/lib/ocaml/coq/user-contrib/AAC_tactics/Utils.v
FileSize8444
MD51816AC52A8395A20E47787DF545391E3
SHA-11B2C3D27944936919680E76301DDEDFA786C5702
SHA-256B7D04BA32ACE7D525F19A5B2909A3326ABCF085F5E4511DAF026AFBE3E5F107E
SHA-5127611A8D520F9C202426A6DBE1541C652B3E9DA546E4F21E403F3613135878A59E47CC807C4DC4C37CDE5B3B795101E44ED07A0600C81B3C17EDA9F44D6E950AB
SSDEEP192:NQwz+uRXuT301ZteVugqA3tq3yaGUv9/sM4AM4QPCJG:NN+uRXuT307ksgq+BUvZsM/MOc
TLSHT1D302533A34E41C2136F6CC7FBAAA40D1BD51D64A2161AFA4F04CF6AC0F4F674A2365D2
insert-timestamp1683748240.6943672
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/AAC_tactics/Tutorial.vo
FileSize75678
MD5BA7E6D39A488DDBB3695C5FDAB9A30CE
SHA-11B9865C06564372DF80B5CBB94B241FB64BE3116
SHA-2561B712A40FDB279B70D2E79153886B48137E350E8855A409015AB32C986076B24
SSDEEP1536:aIpT5ASFUr1a4BMXDPNyVRBshFUH7DWUvJCnDSctyBX:amNAF1a4GT/hFQ7DdJ2XEX
TLSHT1CC732991C1185FB054BE8DF8DB7CA18461120E8F837A9B550A31433DEACE6DB5DB6AC3
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/AAC_tactics/AAC.v
FileSize33430
MD55A64CD866B20B30E76F469DEFA272C33
SHA-121368C57093F9E7627D614DAB8144527FC6613A4
SHA-256AFF488282986DF1ADA3F7747346F5680812D36BAE017542F06EB57D14DBADB35
SHA-512C4289CE58F91B2A65843F2A1820B37E6451DA2928A578FCC42C7CB092816457E773BEFBD8C1399CFEAFD42F481C328C9AE39483807F210157DD8F2A8A0B1AAF3
SSDEEP768:NXTsQab3JEOxTNmQydHpaNEwzjJgPJV1jN6KJOxAY2/eKzRFC62j8PQ9BjZFa7G/:NjsQab/mDdHINE0jJgVAKJOxAY2/eKza
TLSHT12EE2D82E359B102327A2CD77F6966081B624CACFE3B15650B48C71EC0F0DA78E5B2DD9
insert-timestamp1683748240.7237825
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
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
FileNameusr/lib/ocaml/rocq-runtime/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/lib/ocaml/coq/user-contrib/AAC_tactics/Utils.glob
FileSize31219
MD568F01F382DE4F935419B9D5D6336F71B
SHA-131738597F8757A8C2B331ADB177AAF8782F3317E
SHA-25668A3C4A4BA46DB3CDD25D24BD57A93E9237EB923C85A752F189C863489FAB8E0
SSDEEP384:6LKV+xySabmZrplsRpwMPrm743EX6XJVJVJAJTJDJzheM9lorJhJvJ9obJHJdJwD:6L0k7MpwMzK43EEWVoMCs7SFc+
TLSHT19FE2DEBE3A8EAE3536854C735F8E1B3656A64465935B7930E35DCDD00BFDD88221B208
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/AAC_tactics/Instances.v
FileSize14377
MD598FCBCDACC452C850E4DBBAAF38563F7
SHA-132D6B7B52231B9D87069D3CCDCB4C314139D92F8
SHA-256549381AE1F7774B14E29664728B365DA7564C473D6B301BD875D8469CE942FE7
SHA-512D73079A8D487C7B7DAE5E7D898A0B55C68BF7890375866794E2ABCB903DB79C0C85E305AA2E707BBDE06429A2EC45791555AB683C9FB1AF835F9FFB450CAF491
SSDEEP384:NxX+mrIcyhQIotQ4Ak8IKBRa9IK5uEHI5NpgxDwqI:NxX+m0cyhDotQ4AkXKBRaSK5uEoDpgxs
TLSHT19A52007F43664B1A265A0056DB31ABD7D3ADE828C362890172EC937C177DAD233C5A1F
insert-timestamp1683748240.7348437
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31