| Key | Value |
|---|---|
| MD5 | 83F783B63F202A15731C685646C5E1AD |
| 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.fc22 |
| PackageVersion | 8.4pl6 |
| SHA-1 | BFA13B9F5B9126054C3B1A044A55B97443A2C86F |
| SHA-256 | 9A693E69E47FF972F7E982B226416F9636B7D26AAB40957DA42BF5B68256327D |
| 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/lib64/coq/ide/preferences.cmi |
| FileSize | 3249 |
| MD5 | 06152C8F05BB923F8B491D07BE0306F2 |
| SHA-1 | 112851C7DB73B8C17D32D31982303F35F932213E |
| SHA-256 | 109FF97676E00110B8DAA4980445B95CA3495B32DFD89EFDDB00075FA1784032 |
| SSDEEP | 96:ObblVQA1rym7GegKudKQg4/yOqyLneUjHtXlvnDg8:nAr79oKQB/rLfNVvt |
| TLSH | T1E76131CD95310894A18E3CFC1530570BD210B6BE0D3BEDBB05EAA00575CE9AE8BBB057 |
| 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/lib64/coq/ide/tags.cmi |
| FileSize | 2583 |
| MD5 | 9503D6D7464C33620895B96A104BC50C |
| SHA-1 | 1E5BB6C234CAA65F9B5497F23BF14C1F20EE00A4 |
| SHA-256 | 3D7D926456D7502AFD12125BA8A874612A54F42E6041408A0AB2AEE254F218DC |
| SSDEEP | 48:ULp3LooZROk/OLa17tPbu+l1gQM4n6s3qZ06WhG92s2fW1NZlMtkIe/M2nxFmr18:ULpLooZP/OLC1bBgQM4n6s6Z06WhG9o8 |
| TLSH | T1A2518EC8410D54AE60CE7C7D4593F627E16162AA2EBF0D37D129E0A11A1E86FC763CCB |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/utils/configwin_keys.cmi |
| FileSize | 56650 |
| MD5 | DE8349C66ECD81B25B317E7BD96B8C3A |
| SHA-1 | 33AC4A87C5AD7F90AF2C08D60AAFFE7D313DBA8F |
| SHA-256 | 9D9E41F500C78FA0F8D8D3F5DF5A092E2265764F88F38D2D6C5033ADB9406B3E |
| SSDEEP | 1536:eBSY408oPhqew6C6Gl19O3Fl2Fhx4gBiYA:eQItqew6/Gl+VlYw |
| TLSH | T1BB431ECEA6A1F8712A8EBC9ED014486BA767893F60727FFB811D44965C7F21D271C40B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/utils/configwin_messages.cmi |
| FileSize | 901 |
| MD5 | 3F417D88BE25EF8ABCF5A2C5B7698D2C |
| SHA-1 | 3AB21DAEF14126AC09A9DE9AC95E6CDF9343A30F |
| SHA-256 | 0FD63D9DD64D6454C8E46C3B49E29E6496266EBB7EB5DE9E3C997A6C70A0FBF1 |
| SSDEEP | 24:gQRkmTCpAEg7kAgRn0LiWCwrECUlOoG4pEtLR11CR18:tWO4VUkL0LB4pEVw18 |
| TLSH | T15A116BDF6170C826590E75ED02804E4BE501867F923B6D77C2E16C27193D69F035320F |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/minilib.cmi |
| FileSize | 5263 |
| MD5 | 07465761814C6A6C68A6B68C927A0CCD |
| SHA-1 | 45D52A471DDA6385F327F763150CF5BB2A43C280 |
| SHA-256 | F07A2489478AF0212D33D7F8CF0138368DAFC2A48FE3A67BB5E096AA14374DA3 |
| SSDEEP | 96:ltGNegOX58o1WZ941kHzMiCyvD4VcxGOcihFP9RRk8:aM8o1g94EMjSkaGOHRN |
| TLSH | T139B199EE88E1F0A840DDBEACE1ACD84B4A5985BFB07F1D3B071B1894637A41DD32144B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/coqide.cmi |
| FileSize | 908 |
| MD5 | 4CB4E1010A88B17C1F0DCA15FAE77CD2 |
| SHA-1 | 497F8A55B365F8536EED6588BD71096821136174 |
| SHA-256 | 915D21A11A6FFFE4FC2A473EAA106CEB35013F403F817EBF286147C35B0A2102 |
| SSDEEP | 24:g0XE315Vm/lCXFYM8GcdOhB5lIpIlKt73BIFDkniVbR18:bEF4lfM8Gc8utjOGnE18 |
| TLSH | T14511BDDD79358464800E70BD11802D03711094BD817F5E7FC216111768AEE9ED34348F |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/utils/config_file.cmi |
| FileSize | 57003 |
| MD5 | 45774073DE1BA8020A797EF8D8DD8CB9 |
| SHA-1 | 6C849B382EDA6A51EE9AD6F13432000CAE1159D7 |
| SHA-256 | B24CA41B64CBDB3A1F688B50298F82AA944D3C3A2A045076610A814B56445C0A |
| SSDEEP | 768:BSX5PrW1VsDkMyTScEHOabeRCyIpu84eu68djeXmKzL3OXjhzKLm8D:BSXdavLMSSFuabkNquVdjD6L3YhzKb |
| TLSH | T1CE43FC5C38F5F864488B549DC14CCF7BA6818A7FA42B0D3B991753E12FCA60C8B5CA97 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/utils/configwin.cmi |
| FileSize | 13233 |
| MD5 | 4591DA831EECCC399F936CF79B2726F1 |
| SHA-1 | 6D661172D4A6ADB37470451AFE3227C2F22C53F0 |
| SHA-256 | 25F02AB64AD723006DF57E563E5914989FAD01FBECC1D12EB4D4EDF5FA8AB32B |
| SSDEEP | 192:lP8/TRgRYbjDI3MzWXXbx1O3/YCmiyNHUO90MkzYxM93Kf+lnGTEBk5YF4:VmdgMA3MWbx1O3/YNFNHUzYxGVcTSm |
| TLSH | T1B852FA8D55A4F4BA00CBA4AFD05CCC9F5704577F802B2C3397399A656A8F00ECF6699B |
| Key | Value |
|---|---|
| FileName | ./etc/xdg/coq/coqide-gtk2rc |
| FileSize | 903 |
| MD5 | 7649CCD45480116CA9A571446EAF225F |
| SHA-1 | 6F76214BBACE58CB132E48F3AD5E88B1A35ADF72 |
| SHA-256 | 858A32ED7281E80494E3B0B46F2838D949499669BB5DFCE6F236F20A2657AB50 |
| SSDEEP | 24:zIth+Opk9Uy9T9zQkcvhEjSEz9IWcGbnzr4b6:0Z2zQkcJEjSERssn4G |
| TLSH | T1CA111023761EA86211631D101ACA508FFBB9F1FC4302B80C4723E628A26AF9D41F9789 |
| tar:gname | wheel |
| tar:uname | root |