| Key | Value |
|---|---|
| MD5 | CA0ACADB4EFE5ECA06DE95B7833030F1 |
| PackageArch | armv7hl |
| PackageDescription | This package provides debug sources for package coq. Debug sources are useful when developing applications that use this package or when debugging this package. |
| PackageMaintainer | pterjan <pterjan> |
| PackageName | coq-debugsource |
| PackageRelease | 3.mga9 |
| PackageVersion | 8.13.2 |
| SHA-1 | 56EA8178EE8AF6157A385887C8F2AF406041738B |
| SHA-256 | 0E91174897468403AB75F2DC57F282D42C37AA922ACAF68CA5983480E33D93D2 |
| hashlookup:children-total | 234 |
| hashlookup:trust | 50 |
The searched file hash includes 234 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/src/debug/coq-8.13.2-3.mga9.x86_64/vernac/declare.ml |
| FileSize | 95338 |
| MD5 | F04E0912B592062EA569329BBEDCF753 |
| SHA-1 | 00797F47491673B8C2D642D8A26E20F830732657 |
| SHA-256 | 43CA298A293EA1238E96E84971DC9E121FDB6BF5FF735273570AB555D1780009 |
| SSDEEP | 1536:5FgrcVNFXXgic/iQ4APcqQH7XvKgqI4C8wkwHllNv8KXanbtQhM:5FgKNFXXgiYNcquvKgGwqoM |
| TLSH | T11093079287D41E3BA1E2C1F5A9AFD8C25B15815F2301B56CB80D62287F0D67D82F6BDC |
| Key | Value |
|---|---|
| FileName | ./usr/src/debug/coq-8.13.2-3.mga9.x86_64/plugins/ssr/ssrview.ml |
| FileSize | 15852 |
| MD5 | AE43499B57E7487E5E8B0DF3AE0D6051 |
| SHA-1 | 01ED58F08F2C6DAAE77D9096ED3FFBA65915BC51 |
| SHA-256 | 0933BFC6ED1E19A501D5A8A514E804A9469726BEE70A512E19CAEA68BE5080FB |
| SSDEEP | 192:2CzNwAuvQ1MUohZhZtPi5erw5EJEe3b5ITPYTcDvLqcQQEzU3PJxGv+pzX0W4s+S:2CzNd2LZN4eQPCKTw4DvOE3zlpzN4w |
| TLSH | T10D62944A97E21D3281F3807D5C4FC0C4DA929A8F1058A15DB85DF2642F0F576A3F9BAD |
| Key | Value |
|---|---|
| FileName | ./usr/src/debug/coq-8.13.2-3.mga9.x86_64/plugins/cc/ccalgo.ml |
| FileSize | 31874 |
| MD5 | 8B8EBBA3FF0D8FA2110845C0A728D618 |
| SHA-1 | 0232133C938D2EF38A24043C296313D6EAEEDEDA |
| SHA-256 | A74621DA2CE4EB339C656B4954CE4D9B0C45885C56946353A2D66655997222AD |
| SSDEEP | 384:2CzN+eO0h6NBTfT4UFCE3YULqAb0fAc2MIY85f8eHDb7X5GlB3bdzERx+QVE8oUl:DN+30gTr4rUHDubSz2qMepuW4W20 |
| TLSH | T102E2A31297E2097D98EAC1F8D7EF64E2AE81119F22419168744CA4347F0B52A43FCBDE |
| Key | Value |
|---|---|
| FileName | usr/lib/ocaml/coq-core/printing/genprint.ml |
| FileSize | 5662 |
| MD5 | 81626150A2CC47F479800DDF81B539A0 |
| SHA-1 | 02DDDCC57F37F535705B229F0F05BADB6EDE0358 |
| SHA-256 | 7E3DD1D921B1B6549537D99BBEF877B6360D329FE0EB70F84226EE8074F691BE |
| SHA-512 | F8FF74CC4AAA3857351BB3A8A4EF9F56D1F64E4DE98A1A53E34AA12E654B4C57926F0E9922EC899DC2D158B1890CE005B5625F545C35D7ADEC088CB37910B1A6 |
| SSDEEP | 96:eDCzPFAYjvX0K/yof4XKuGLg4iL1/oKv4TBD4Tpwv4Te6F3tieMJKDBON4G4fJKd:2CzNPvyof46u14MH4ND4y4N3tiesKDB0 |
| TLSH | T116C132B616F74D3686E15939CA4A70DAD7478E8602F6B81CB54D71A10BCEC36C2BC3C4 |
| insert-timestamp | 1664889639.4654865 |
| mimetype | text/x-ruby |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/src/debug/coq-8.13.2-3.mga9.x86_64/kernel/declareops.ml |
| FileSize | 14609 |
| MD5 | 0132CF74AF3976F11EE59EBCFA449262 |
| SHA-1 | 04F37F10A70832696285A57B752A12B795A3ECF3 |
| SHA-256 | 063CED7F7A71B304B7567FF35F2628E0EE0BF40BEB9742CC0F7D39FB2F8FE9B3 |
| SSDEEP | 192:2CzNMfoXfgBSOilYj4G1arM+VHtJUvUwIyMtZZf/f2xFAedMj+YXDSyOfYS:2CzNMfoXoB2lkuM+VcvEb7J/qFYDSDYS |
| TLSH | T1A862537543F91F3690E081F0A9CFE2E5C22B81E69A54D4ED789CF2681F3D62642F1789 |
| Key | Value |
|---|---|
| FileName | ./usr/src/debug/coq-8.13.2-3.mga9.x86_64/plugins/extraction/table.ml |
| FileSize | 29816 |
| MD5 | 42F4D73451EBFBDACCA82443B40F5CF5 |
| SHA-1 | 05ED2CC38E8BC862DA665CDE4FD6F6E45C9B6868 |
| SHA-256 | 3C355A5EB6BE0924293EFA045F3E591B6578708F20DB44DC1FB0437A5DB6BB27 |
| SSDEEP | 768:DNP5ku6zz3+q6cOQA+IL5v72W1HIywO/8NFl/x:5P5ku6f3+qYL5vCzO/Ap |
| TLSH | T12AD2E80317E5693100F251FAD4CB20836F22D69B121E2999BE9DE0E44F192BE13FB7D9 |
| Key | Value |
|---|---|
| FileName | ./usr/src/debug/coq-8.13.2-3.mga9.x86_64/plugins/nsatz/utile.ml |
| FileSize | 286 |
| MD5 | B4171EF22872763558809A503355BE7D |
| SHA-1 | 06DB7D009359DD1F1A136BF09FD63FC496F8289A |
| SHA-256 | 6EC3BB7C505BF99823FA9A265B2732029F4FAEE098E290B8C1197996FCB98BDD |
| SSDEEP | 6:357vnZV6vkgoMPqZaxScRRHsFTjZSn078KDsFTjZSn0CK:9nZV6cMyZaxTRHkhSn1jhSnjK |
| TLSH | T1BAD0C250785F271C0B84012B808E512B8BAF493B1B384A344E1AD18857B0D0C9AB8FAB |
| Key | Value |
|---|---|
| FileName | ./usr/src/debug/coq-8.13.2-3.mga9.x86_64/engine/evarutil.ml |
| FileSize | 34230 |
| MD5 | 7086BFCA21CFAE8C6D14D3C8A463F98A |
| SHA-1 | 06F3FD8FECC81BA750E7FFB688B15397A77A1F84 |
| SHA-256 | CFE6FBE39A31AB21FBF6687FF0BF910EFC3A4233BE16FC04E7AA0AFED9F158F9 |
| SSDEEP | 768:DNYMDL2HVSl7KLRjnhTWhpQwTlgiPoJ7KbR+efT+TU4c:5Y1znxWXQmLwMRec |
| TLSH | T162E2A96B9FD41E35A1A7C0F0694EA0D2E711C59B23445878B88CBC1C2F8E57682FD7E9 |
| Key | Value |
|---|---|
| FileName | usr/lib/ocaml/coq-core/plugins/micromega/numCompat.ml |
| FileSize | 4446 |
| MD5 | 7A97DEB13A7D9820EACD1441A183BC1E |
| SHA-1 | 06F9CDDC2BE2BE5C3DD56E75C9B9B72BCB3AB027 |
| SHA-256 | 02C3461942AE938A0F1C04A0DED8211D011DBD1DE8077D1A4DA52FCFA21B9868 |
| SHA-512 | AE85EFA02037E478232A215E2E23AE13BDDC7338B478F46F95439806E31FE438A5C1C058ECA21C32D0121D377EDC899FF380A67F0CB8A3BCF28E43E41004597A |
| SSDEEP | 96:eDCzPFAGl4B9p9EklPr9aIdOfeKzp7fWi23/2D:2CzNu3PrgtN7fpq/E |
| TLSH | T17991997917D09EB3952390533D8A90D886514A1E235D3F8CB46DB2E83B8DD31C7BA6D8 |
| insert-timestamp | 1664889644.4982402 |
| mimetype | text/x-ruby |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/src/debug/coq-8.13.2-3.mga9.x86_64/plugins/ssr/ssrelim.ml |
| FileSize | 26111 |
| MD5 | D86F32835E0956D847A2ADEF57F766FA |
| SHA-1 | 078D06752FB6E3F611CF357A6AE8F7EDD1C702DA |
| SHA-256 | C963A475215D661AC348D42CC60C8F353E10D7279B1CF8D0585DAD407A7F019A |
| SSDEEP | 768:DN2W5+SQluI8sV0DvoPp7HdCb7D/s2xBQU1gGZWDBusqJ+pRbBRceV9cB4JieVaS:52W5+ZF8sVMvo9HopBQugGADAsqMRoen |
| TLSH | T1BFC240799B804E32D2A280FC054BD881FB96409F36417139B85CE5343F4D96A96F6B9F |