| Key | Value |
|---|---|
| MD5 | 0CF3D9FA257E4F8547D7296DCFCBC21D |
| 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 | 4.fc23 |
| PackageVersion | 8.4pl6 |
| SHA-1 | B4415F51F5799821AAF150C4141C1A9A546EAC0B |
| SHA-256 | 90CDBE8B53CE374A8F1E43CE8FDAC54175C9580FF50E6CA8C1FC5B5146AA75C3 |
| hashlookup:children-total | 34 |
| hashlookup:trust | 50 |
The searched file hash includes 34 children files known and seen by metalookup. A sample is included below:
| 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 | ./usr/lib/coq/ide/preferences.cmi |
| FileSize | 3249 |
| MD5 | CED00D2E3A9A31D3945DCDEFD6B13A77 |
| SHA-1 | 0634F164CBFD6E7DFFEBFB6A3C93CE460307710F |
| SHA-256 | DD643942C61FBB6C1FD33A3BB56305E591CE45D0F008ADAE832F2FD2732B11BA |
| SSDEEP | 96:ObblVQA1rym7GegKudKQg4/yOqyLneUjHtXlVnvR8:nAr79oKQB/rLfNVJvW |
| TLSH | T1086141CD85310894A18E7CFC5630670B921076BE0D7BEDBB05EA600475CEAAE87BB053 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/coqide.cmi |
| FileSize | 908 |
| MD5 | 4B3E6FE04162C3FB22F407A764C514E3 |
| SHA-1 | 0A479D254834F2C91BB696C968E487A4A7A6013B |
| SHA-256 | 8AC2A39FEFC21D94F2DE2F275E56187D92E633F386122D3B55735D98DB6EDC34 |
| SSDEEP | 24:g0XE315Vm/lCXFYM8GcdOhB5lIpIlKt73BIFDkniVteKu18:bEF4lfM8Gc8utjOGnuet18 |
| TLSH | T12C11BDDD69319464810EB4BE12802D03651095BE817FAE7F8265151754EEE5ED34348F |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | share/coq/coq.png |
| FileSize | 6269 |
| MD5 | ABDE6D74070949C17ADBB7BAE2CF6C89 |
| SHA-1 | 195DFB6AE1F3B10A67595574D2F5C1FE7F2553D6 |
| SHA-256 | C76ACCE31B2233E4C38F5E06F9AA3FADFE692DABF46F1E9C8EFEDD8E43460F70 |
| SSDEEP | 192:Pv3xBRLaO6DyiFZDGB08/3HQNanBJBVRDPtPh4I71E:PvfRZi7Kh/3nn/fdPtyN |
| TLSH | T1D3D18CCC6DE015381766D6E8B3ACD2738DA7F51056ED846E359020922722BF8DE4A7A3 |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/command_windows.cmi |
| FileSize | 2495 |
| MD5 | 695F58687E5D7101222DCB2F70F09433 |
| SHA-1 | 36C5C04BFAA0E4AB28588B9155F78525DC7F2AED |
| SHA-256 | D7AB0F40B573F6E4C11203BD511D7236358D3CD5DA156FC454D1F55A9CE8D86D |
| SSDEEP | 48:Nxone7bP4aSyXTizIAv6og4YwSwPyfm+lMF3UC5NWbsAH18:NxoegavGzIUI7c6m+qFkGwoAV8 |
| TLSH | T1F35195DD117B2C9680C590AE1918E9530240937DC57F9F7F0A27A88040CEAADC78B8CB |
| tar:gname | bin |
| tar:uname | root |
| 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/lib/coq/ide/coq_commands.cmi |
| FileSize | 417 |
| MD5 | 0D5611C39ECD99CB18CCBC7D5A1C7015 |
| RDS:package_id | 182052 |
| SHA-1 | 48FCD99BF2398B0EE01A09C6E16B2DAC6562378D |
| SHA-256 | 642BF9910C3373CAFC1282A780F57A60369A96980502D72E28094817C58E741D |
| SSDEEP | 12:5otJCgJ1mFJyc5lk5fVSSJOilN3vKrlC2B8Xk/lm/Kulv8:5aCACJVlCfgCOilVKrM2NeKu18 |
| TLSH | T1C1E068DE60F62880C206B1BF13500A278804533F5037AFA741A27D21495B65CC3461AB |
| insert-timestamp | 1679423558.9660783 |
| source | RDS.db |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/project_file.cmi |
| FileSize | 3590 |
| MD5 | A02CD418E636427F008530E260111C55 |
| SHA-1 | 4C86C55905A64FAA53C240D0A6D3ED940C28AF92 |
| SHA-256 | 9BFF931D9F7E789A08B6FE45752DF0B4E49855A96BA1C4465D16C1C5E2D35281 |
| SSDEEP | 96:m19fpKPCwwnL9Y+vgJlVyHgvik3fsJVe/gHqX/8:igPjU2+vgQAvVfs2/geE |
| TLSH | T1AC71C9CDC8BBF89A55CEB4BCE14DDD870410973F8167AEB742514D1AE68A05EC35309B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/utils/configwin.cmi |
| FileSize | 13233 |
| MD5 | 125BA0B330BDCC104BDD33845AF88BDD |
| RDS:package_id | 182052 |
| SHA-1 | 4DE409EAEDDB1852442B309970BCDF0D5384B564 |
| SHA-256 | A9491ADA6CDAEF0FC935F9EF48D9369DC1FC2E48D53F6FB7EC4816934A6B0799 |
| SSDEEP | 192:lP8/TRgRYbjDI3MzWXXbx1O3/YCmiyNHUO90MkzYxM93Kf+lnGTEAXtkQv:VmdgMA3MWbx1O3/YNFNHUzYxGVcT1v |
| TLSH | T1BF52FB8D55A4F4BA00CBA4AFD05CCC9F5704577F802B2C3797399A656A8F00ECF2699B |
| insert-timestamp | 1679423559.0068042 |
| source | RDS.db |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/utils/configwin_ihm.cmi |
| FileSize | 21543 |
| MD5 | 4F5A5E07DF5A37B2BDAA4EB75C4A3CF7 |
| SHA-1 | 57A3C42637288D27D5C2FBF22D887E6B70CB5043 |
| SHA-256 | 384265BCAFD2B2D87F43516E593958D0C6155AA7C490F23287D016AAC070EF85 |
| SSDEEP | 384:VTolDPiK9ojlwMhSjO+0CpycHOFpWfvu4tv:2lDpUlw0SjO9CMSOFpWj1 |
| TLSH | T135A20E4C40B5F8B998CAE45FC08CED9F560043BF58672C77D66A99A01E8F40E8F55E8B |
| tar:gname | bin |
| tar:uname | root |