Result for D1F73DBBB201C4A83254EDC2B19933F49D093F84

Search result
Graph view
Children (40)

Query result

Key Value
FileSize388616
MD5A32193333B26363B64BEAFCD8B07A1AB
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+b1
SHA-1D1F73DBBB201C4A83254EDC2B19933F49D093F84
SHA-2563410D4722C91A7C5BF998EBE28C0FC8E59AA6F0D79B5FDE1D2FC902A30ED5A5A
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/user-contrib/AAC_tactics/Constants.vo
FileSize3302
MD51F56D57BC431A4CF23D2955238188577
SHA-10D1BDD9CDC1934EC758B1CD38AA50815A3FDB3F5
SHA-2562F551EB3F8DCB816336F6BD8A61F55570AD217FFC431E495110F3C6DD34E2562
SSDEEP48:YtRCiNgPup1cjDpt2f1CAmgCuFOcat2SR3W42G6Wzodax8d6rVBBDiiDeh/+V:YWiNgm0Xs1BmghFf2ctVUhBoBh/+V
TLSHT185619A5C90905E72C822E571DBA411C148AC6D876749BF3C15B6A28CDB1E8DF09B7A3F
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./usr/share/doc/libcoq-aac-tactics/changelog.Debian.armhf.gz
FileSize220
MD50DD96B1C87BA96F254BE5EC741D32ECA
SHA-11C6ABFA84570BCE85447C7257A57331F9F4B0986
SHA-2565EF0C19B982E84FD0D7CF136293ADB1049B93DB9CB0871FECAF4EC13BF5DE2D6
SSDEEP6:XtoZQ51VM0TydAGoxHb7YfgTlYBH/rX7YIc6TL:XzTydUx7bTiMIc6n
TLSHT1C3D0A78E02B8A079821B1ABAF7453A33982D404C90BFC9E572650080818514799A4259
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/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-aac-tactics/aac_plugin.cmxs
FileSize253956
MD58553B45E31E83AA1F74641B6EE515179
SHA-1347288604989E0F891A84FE703EC45C08B1149A8
SHA-256633497ED45E547B47BD2200E62E0B116A0CD04FF65F625309DE3634DDC11BC78
SSDEEP6144:+NHwFy3Bhdr9L4zm/9MsQroXnxlzbo2+fiX:oHkyjdrCw9M7rYnx9b94U
TLSHT1B7442846794E9C12D09B4A32B09B4F47A3B5C6C1779BEF06B8292728BF131644F5F2E1
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





metalookup is a service from miwakeru.com