Result for AFC6F0DB2F0F736C86122410E62E1E21ECEA9413

Query result

Key Value
FileSize390444
MD53B24AC8D0653A0FDDF2D381DB8A7E76D
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-1AFC6F0DB2F0F736C86122410E62E1E21ECEA9413
SHA-256537DE1C9BA3F40ECFFE54979FF6CCFC6DDE1812219E934D139BDF11F251CDBCF
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/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/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
FileName./usr/lib/ocaml/coq-aac-tactics/aac_plugin.cmx
FileSize26493
MD56A847DA08914B95E491B6FEE3AA75019
SHA-126C299D4A6C6BE7F2EB59654389930D773434AB1
SHA-256EDBC0D843C386FC3FF07E5742FF115FAD454C5C412F319A30371000E78D888E0
SSDEEP768:l9AEHQ2lt9yeYeoPvTsctHGwNoLAz9Uy4qCqqJz:MhoXZXeOIoz
TLSHT1FDC22C25230F2C8171A98A70A965E3D189F9CAE18F5AFC31F07C0F167D7492496DF72A
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
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/AAC_tactics/Caveats.glob
FileSize27060
MD59F76C9BF52B6EA4116E9811D92171F95
SHA-13301682FB38B31A1397135C0BB20A085A7277BC1
SHA-256FB388211477FCACAB8AB213577A487B394DA0E7F1964D453BE6F84CF0D4F59A0
SSDEEP384:1lKxDP0I4fYWKcJ88zW3RLEbBG9Bvh6LdTU2XVbibd082XL+s2nozOD:1l8odJ88K3RAU9BZyNE5mLt7zOD
TLSHT162C2625C7388BE3423160E227F8A2FB5956AD0C9E78F31317749AD915E6FD9D020B368