| Key | Value |
|---|---|
| MD5 | EE956032152BD881FA5956F24553A8B4 |
| PackageArch | aarch64 |
| PackageDescription | Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides Coqide, a lightweight IDE for Coq. |
| PackageMaintainer | Fedora Project |
| PackageName | coq-coqide |
| PackageRelease | 1.fc24 |
| PackageVersion | 8.5pl1 |
| SHA-1 | AAE827D532798FCA3D343C9E4B39F6967C7912A3 |
| SHA-256 | 352526E347CEDF1E6230F8EB7CE2F2AC7FE2267B82B058726B71CA0A1430C64E |
| hashlookup:children-total | 44 |
| hashlookup:trust | 50 |
The searched file hash includes 44 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/wg_ScriptView.cmi |
| FileSize | 29878 |
| MD5 | B17F55C82DBE227C4C3F74698F43CB36 |
| SHA-1 | 029AAA8BDCCBEDE7EBEAB98659548668B1CC5D0F |
| SHA-256 | 05E957F1DA5C25575536025132CC6C47E50DFAD20DC5D2A4141685B745F8CD38 |
| SSDEEP | 768:oOfbcaeoBe5XCEKeP3JYerwRyAvrXBYb5Pyu:oEpa/NP3JDwRLXBYbn |
| TLSH | T17DD2D21C29B9F46504D7901ED25EDA2F92C0833FA9138D7BD52692F03BC764D8B1A9CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/utils/okey.cmi |
| FileSize | 4087 |
| MD5 | D23C425CD3807D9F65FB7580B64C2E34 |
| RDS:package_id | 182052 |
| SHA-1 | 02BE8B6D1162863CDCF55E26EC8CAA9186EADB4B |
| SHA-256 | F49F6EFA7FE4026C2D5893779E3236F388E34F6207E3846B0B344F070BDEA0A7 |
| SSDEEP | 96:xgk+j7Fg8qhGa+9YsvX6Qc01h6N4m+qtMksw0AV8:7ig8qhGD9YsvKQc0/6NIZkSb |
| TLSH | T1F6816FDE96B1F0D851C9B9ADC25CCE4B0018933FC0AB1E37976B995037A484EC35B88B |
| insert-timestamp | 1679423558.9972997 |
| source | RDS.db |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | gtk_parsing.cmi |
| FileSize | 3377 |
| MD5 | 29BF7A5137561352EC5AEADFE1A1B9DE |
| RDS:package_id | 182052 |
| SHA-1 | 06F8BEEAB0CDE4D45501B69665305E904524EAF4 |
| SHA-256 | 519DFD626231912A9DFE41C1CB7E2324591859EB479E580EB4F7E97978D2AA41 |
| SSDEEP | 96:mi3C+f0SdATK28g+e3i+s4mDm+qFksfsAV8:xC40SdAO2P+ki+6XMk3b |
| TLSH | T12861E7ED019044E9128DA97E0640EA47B06463BFCD3F6E3B053990B09AEB12FD3078DB |
| insert-timestamp | 1679423558.8996553 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | configwin_ihm.cmi |
| FileSize | 21549 |
| MD5 | C7B0CA2B90EFDD8DD0D81CBFDCDB7594 |
| RDS:package_id | 182052 |
| SHA-1 | 0C78475432F895F971BAAEDDFAF2DF2C2ADF34BE |
| SHA-256 | B154E7FD7B3CAE86DBDAD25BFB7EF0AEC71F369D023F8127B824A1BEAEC93714 |
| SSDEEP | 384:gir9AgT4R+4/dKgRiF7uciMgQFwu9m9jv:T9AeEpFniMcRdwu9m9z |
| TLSH | T18DA20C4C40B5F8B998CAE45FC08CED9F560043BF68271C77D66A99A01E8B40E8F55E8B |
| insert-timestamp | 1679423558.9922287 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | configwin_types.cmi |
| FileSize | 15001 |
| MD5 | 415EC3E2EFAB4600F3A12B2D9B15073B |
| RDS:package_id | 182052 |
| SHA-1 | 1D8C8FC63E94FF3D6FB4BB8C1CE25B90EA0D35BE |
| SHA-256 | B09F49742E92DC9C5F9800105139C3D9577E30C2A7B5DF49723A44C2AE2C4833 |
| SSDEEP | 384:HQBTzajLMg3YVt1d5SaLC6TXUS0y/XL0LgRCgkv:H+TzGLMg3YVt1zzL7TXUSz/YLaC |
| TLSH | T17D62408D90B1F8AA44CF7CAEC06CDD9F0311867F501B5D37526A5A6232DF01E8F2A997 |
| insert-timestamp | 1679423559.0117824 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | sentence.cmi |
| FileSize | 1268 |
| MD5 | DC6079564F83F0A9D58E3ADCC6DF9BB7 |
| RDS:package_id | 182052 |
| SHA-1 | 24E0AB83F45CDB580A413677B39DFDE1D966CABE |
| SHA-256 | C8DCEA65617EED3E3CAA6FF845BF849FFFFB5B609D2887B0299E2827A9C80E8A |
| SSDEEP | 24:f/O7CfrPc/vtevWcgjNarEeRLXMEtda+l03cEr3F+8f5NlQyNvHf18:3marP8vMv0ReDm+lMF3Uc5NlQAH18 |
| TLSH | T18521514A17612C25A0CAE4774345EA876314632C4E7F2E6F023292A0D58B56ED387CDF |
| insert-timestamp | 1679423558.939345 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/fileOps.cmi |
| FileSize | 4289 |
| MD5 | F9B36A62B92C5405A5ED8D3048BDD6E8 |
| SHA-1 | 2AA70C01FCD4E1FFA9F36108D53B60249F1E0505 |
| SHA-256 | F264EA7F463ED8235E0F8A7F9EF2FC247E1F077B36B34F1DF6C532EBE40FFAF3 |
| SSDEEP | 96:eaiHJWqLKc7DwiVfzSVDCe6AhLuEkbJDM+qsksBOuAV8:eDWAh7D7zSFCe6AhLuTJptkeb |
| TLSH | T10A91E8ED9874BC2A858EA1BDC29DDAE70280437FC53B1D3B2B12564081DA59DD34F88B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/wg_Command.cmi |
| FileSize | 3753 |
| MD5 | 1B5C2ED6351269B60D4CB88B0E159C37 |
| SHA-1 | 35C95B38486E20C5399774105C65DC7855271410 |
| SHA-256 | A0D5E5E00FE11FA4C6270006FB19D9577311DF66EDBB0DCE15A0B4BB5DE6B823 |
| SSDEEP | 96:Nj2bgUoiDTwx+sI+KBisbgz69MCqsksBOik3WqK2hrl8:NybgUq+sI+KB5kz6ZtkPGP2g |
| TLSH | T12071B6DDD2B9384B81CA90AE5214D5D35298837DC97B5EBF5603A81480D9B5CD38FC8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/utils/config_file.cmi |
| FileSize | 57003 |
| MD5 | 3B6E94A113E8FB0CEA44A09AC8BA32B1 |
| RDS:package_id | 182052 |
| SHA-1 | 36D79CF8B5BCB08A14F38341674905341519A0D4 |
| SHA-256 | FE5D845D38024D882F314EE9BE366CC96A05C3EE4C311135DB4FB788CF2FCAAA |
| SSDEEP | 768:BSX5PrW1VsDkMyTScEHOabeRCyIpu84eu68djeXmKzL3OXjhzKLm8u:BSXdavLMSSFuabkNquVdjD6L3YhzKW |
| TLSH | T145430C5C38F5F864488B549DC14CCF7BA6818A7FA42B0D3B991753E12FCA60C8B5CA97 |
| insert-timestamp | 1679423559.0258305 |
| source | RDS.db |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/wg_Completion.cmi |
| FileSize | 5726 |
| MD5 | CA5BD391350E058A93447EC2CDBF1D58 |
| SHA-1 | 48C0E51E53C96CF056B2F74ED1BC2CCA1FFE4258 |
| SHA-256 | 3F53FA3DD40397B8C2291EE4AB968E046E7C11FC1482748A53C877DFE5D93F95 |
| SSDEEP | 96:5Ne23uB8pGIL5d+qSZGcn+oVdEuJ5G6z69MCqsksBvik3WqK2hrl8:48pGI1YXZGBoDEuJ7z6ZtkkGP2g |
| TLSH | T1B1C1829E41B4F85F80CA65AEC24CDA871214837FC93B1C7B174F91A452C958DC36B8DB |