| Key | Value |
|---|---|
| MD5 | 7BC40340CBBCA17411510D197CF09ECC |
| PackageArch | x86_64 |
| 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 | Fedora Project |
| PackageName | coq-debugsource |
| PackageRelease | 1.fc34 |
| PackageVersion | 8.13.1 |
| SHA-1 | 9E69790E2FD36B679458252DD47B9D204359CF67 |
| SHA-256 | 42BFEC9E08BB3606E40F5AD3CC4EAFF06B91A67BC734B83DE7019F73959D33CE |
| hashlookup:children-total | 525 |
| hashlookup:trust | 50 |
The searched file hash includes 525 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/src/debug/coq-8.13.1-1.fc34.x86_64/ide/coqide/tags.ml |
| FileSize | 2316 |
| MD5 | 5885B0EE74513738633CD614B09F8F92 |
| SHA-1 | 02526D14EF0AAE9FF2F49379DA39468408BA1D5E |
| SHA-256 | B73AE0361FA05756266D54311BCAE0EC41388EE5EC175B8B3F58738F0724349A |
| SSDEEP | 24:eDG9zl9qcNExVKCRwpMmWea24wILwtZhLV35XuTCQO9KetiVM+DcOEf8wMRjnSq2:eDG9zPqcNExoCRwuX1YpeP1VhhNjF2 |
| TLSH | T13641BB19A7ECDEB521B0D1D4A90FE1E2CF478A061F488538704F7529B70EA4505EEAF4 |
| 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.1-1.fc34.x86_64/ide/coqide/protocol/xmlprotocol.ml |
| FileSize | 42654 |
| MD5 | 1F0EF14A25349644EC1CE6DFF78ECEC0 |
| SHA-1 | 035BEB04FE6C6207839E96075EA8DD8899CA5B54 |
| SHA-256 | 5CABCAE96F4CAFF91325D3FA663622BB07B2336BD44796A4D026A617A444566E |
| SSDEEP | 768:DNo1roazNqDOQKSv00qv1GPKi6hqX2tc3ZVyXo:5o1roaAqQKbv1GS/QD4o |
| TLSH | T1BB13752176A06A331AF3409095CD5CA0BD71DD8A3EE138CDFACD90943B6BE9581F77A4 |
| Key | Value |
|---|---|
| FileName | ./usr/src/debug/coq-8.13.1-1.fc34.x86_64/pretyping/heads.ml |
| FileSize | 4280 |
| MD5 | 941EAB67E750C2D9BDF87E8F4BE395A8 |
| SHA-1 | 0423ECC77B02DE96A13E327C865FE7FAE620F5F4 |
| SHA-256 | 49D12E9E4991DB6DD9DAFB8B3AA351A7C024FE07D4542F2F235CF3CC0D6A229C |
| SSDEEP | 96:eDCzPFAGn97SlRFmef4o9JosS0uVBe+OeuPak3tyBFaBRs0T6Uj0mrmxAL9Tvw:2CzNp9gRZfpruLTul9SITjrrMALJvw |
| TLSH | T1B091512696F41EB301F6C0790E4B90C3FA86405F2440EAA9F8CCF1652F1EE3B1271AD9 |
| Key | Value |
|---|---|
| FileName | ./usr/src/debug/coq-8.13.1-1.fc34.x86_64/ide/coqide/coq_lex.mll |
| FileSize | 4712 |
| MD5 | 6927833CB4C3221E59023A5FB1E7F584 |
| SHA-1 | 042B7BC745ACBC6911A41BB56385D440193B04C0 |
| SHA-256 | C564E4BC4CE84832143C1346DD538F7A79EB21D3CAF60E1C8B9BE9138C3AE493 |
| SSDEEP | 96:eDCzPFA1NcXDIEcqExREzxRZCxRwfbNZxRwQY2bN2xRwptqNZxRwybV4gEzRrxRr:2CzN3X9PEczhCYfbNZYQY2bN2YptqNZo |
| TLSH | T198A142A4E9C24F374E1BC1B2099D51C7A216558E425819D17CAE3028AF8D7A5CEFE2F4 |
| Key | Value |
|---|---|
| FileName | ./usr/src/debug/coq-8.13.1-1.fc34.x86_64/interp/notation_ops.ml |
| FileSize | 73366 |
| MD5 | D652191F54FC1B6AE96CEFCDF425109B |
| SHA-1 | 04C64C58A0C2F721C21789698B9F1D294556C837 |
| SHA-256 | 61135F31DBC061A8C609C3BF803C78EC4CD4C37BB300C1442ACEC0693AB2A72D |
| SSDEEP | 768:DNVG/3w9i93F36CwD3AGQx5lHlYwx/QRBDAyYl9wau1n1sLhKRqn+MirCv/SG1yE:5V985JlYwx/2BnjE+8KG4Wm7M21GUw |
| TLSH | T11F63935E27E00D3646E180F85DCF99D2BF2682EF0611A15DB84CE7602F1A97942F9BD4 |
| 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 |