| Key | Value |
|---|---|
| MD5 | FECEEE2D29E4C218445511E12BEA5DA8 |
| PackageArch | aarch64 |
| PackageDescription | Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. This package provides CoqIDE, a graphical user interface for the development of interactive proofs. |
| PackageMaintainer | Fedora Project |
| PackageName | coq-coqide |
| PackageRelease | 1.fc34 |
| PackageVersion | 8.13.1 |
| SHA-1 | 2866E95950591DEB55BEB17F5BAB8A707712502E |
| SHA-256 | F78E360C82F0BED3189A9E75F9138DE465C948B605CD96824010941F94FC784E |
| hashlookup:children-total | 23 |
| hashlookup:trust | 50 |
The searched file hash includes 23 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/b5/bec2c64a8760b015fa1cabaf3743ff8db17f7f |
| FileSize | 26 |
| MD5 | 8174752BABC43D01FD8935A2B1B08DBB |
| SHA-1 | 07B17EC9F355BED142E4547ACBF01020151718CF |
| SHA-256 | 382D6FD09F754C6796C9A57FFAA814F2F9FCB07A8B1B9F7FAE369F97D1330167 |
| SSDEEP | 3:gCDNUU:X1 |
| TLSH |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.1.gz |
| FileSize | 908 |
| MD5 | 0BF30F9B919869D9092233D7FC02C47A |
| SHA-1 | 0ED78FD9EEDD79E5D3E18724F1264914D0E25516 |
| SHA-256 | 715B2460BE3922621DD43018BAEB3FA0EB399135B6F272CD1CFAD1F32BB937E6 |
| SSDEEP | 24:XvbBgh3mzMoQNdn8Q4QvO6XEljBIKrEjgrV:Xvb6pFT8CvN0ljnB |
| TLSH | T181118822D0045728946A332A35758A4171C06039EBFD3E6477779439994F86665D224B |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/mime/packages/coq.xml |
| FileSize | 317 |
| MD5 | 53AA098E0C9FE0DC482A802C1F291C7E |
| SHA-1 | 1187CD724515F4760F45DDFCB40EDC9E08B8C553 |
| SHA-256 | FB8286A6F8051816CB3BCBE913D83D694A3636319E18417FD4B227B88CB9A4F0 |
| SSDEEP | 6:TMVBd/Jv3mc4LfLyBEer9D9Vv9HE7FsRqTJUF/iIF5ZIQXI6C7zpZTAscVLOAE:TMHd9KLSj9DlHoF2quVF3XVC79ZMs2O9 |
| TLSH | T14BE07DD4E9DBEC411120F9274B67D00463121267C5CC98A9F6C84D718F816C0024238C |
| Key | Value |
|---|---|
| FileName | ./usr/share/icons/hicolor/16x16/mimetypes/coqfile.png |
| FileSize | 874 |
| MD5 | 17F7AA6816C0396092734F22FB89B952 |
| SHA-1 | 11C962AE271A3A80A940B688C46FE81E612E1BFC |
| SHA-256 | EFE7B300E4B78FD0B534A0FCD045EC08EAA055CB72F29E5B9EE72AF6380C87E9 |
| SSDEEP | 24:5N0s6iLOY0Sacr4UAURgEzWy+STj6H6Gz:jB6oEC6EzVxTeHpz |
| TLSH | T19E1196D8CA2E7BBC8FF9503FB116A1B93D0AC4AD00DFCD440D764D112591836C5D98B2 |
| Key | Value |
|---|---|
| FileName | ./usr/share/icons/hicolor/512x512/mimetypes/coqfile.png |
| FileSize | 119771 |
| MD5 | 33713F942C6C55488835B65E9597914D |
| SHA-1 | 139396589E3782D283F109DAC3CAFD5F0C9BF15F |
| SHA-256 | 1DBF0B441786A5FBB09058FBA8FAAD78FF1B971F12D2741194630343454B865C |
| SSDEEP | 3072:7kF9jyveisQIAxM4lpSOaXaKd81ZgJ/hmYI:u9jC4JaM4lplaXaKd8/gx0YI |
| TLSH | T1C6C31298D265DCCDD0E40E8E0F16A147DCC7A929F91AB4BFF116E20A016FB446778B63 |
| Key | Value |
|---|---|
| FileName | ./usr/share/applications/fr.inria.coqide.desktop |
| FileSize | 195 |
| MD5 | 99B9639B60541458BB9387DDC989A5C8 |
| SHA-1 | 17C50F6360724370A90B569D98E1E9B9FF09886C |
| SHA-256 | 35A44E86DD2D8DE9F71F7D0467F88D072B8F287AB228615C7F3F8B8CBEDAECC3 |
| SSDEEP | 3:ag4z11JxhB7AIq2xHWVPd2sGNGKx9oERMQ7RAThEiuF1EVMMQGkjnjIARL0qVLDv:agO3hVxHWn2TPoc9iuI8jjIAt0uLz |
| TLSH | T143D022E720080162110A316A4B0288C392BB190E18D88C00F00820269380909D5BB79E |
| Key | Value |
|---|---|
| FileName | ./usr/share/icons/hicolor/32x32/mimetypes/coqfile.png |
| FileSize | 2434 |
| MD5 | 2736ECAE7420D94D72B684C3F319E0D6 |
| SHA-1 | 18D467DECA1DF7640B56235979393A3D42CE4F67 |
| SHA-256 | E1B2A84BF61F9110EF379C53FCE6B14E6754B9F979D0F1016FC926A332EC048F |
| SSDEEP | 48:xCe++51zRmRuCSFm/D3LpX5Ol/XAmyfci43W9d2f3t0IeQEt6:xz1zA3b3LJ5I5y+3kFIe6 |
| TLSH | T1C9415BCC59AECC6E9F12130EAA631826FAD5712088DDE0F5609D6053FB1D794CA444C0 |
| Key | Value |
|---|---|
| FileName | ./usr/share/gtksourceview-3.0/styles/coq_style.xml |
| FileSize | 23 |
| MD5 | 6DD324E6A2F491C2118B3F951C7E7C38 |
| SHA-1 | 191A9F53DCD6DFA04BE684AFEAE9F20C8F7EAFE4 |
| SHA-256 | 05A85F2D6A143A3DF398AA6C608936F6FBB01F21BE928C9E22C99AA8C539530A |
| SSDEEP | 3:4d7w:4pw |
| TLSH |
| Key | Value |
|---|---|
| FileName | ./usr/share/icons/hicolor/512x512/apps/coq.png |
| FileSize | 50228 |
| MD5 | AB59C323D8B5F90D9552EADE92BDCFE4 |
| SHA-1 | 1FED72BEA135C5E22B54DD275066A29332D13736 |
| SHA-256 | 26BC0A63D6E2925E63EA5DCD24D86B5C4935A8C327683FE9C149570E09B49ECB |
| SSDEEP | 768:BZM5y8N2gvcDKfO1Z0bIUqZjSClv0ruJblz8ataz8WimYxVwrDhjVJnieakPrNjZ:B+UiO1GcUHCN0Yw1iPVw5b1zNj9n |
| TLSH | T19E330123EAC54CD3E15F86F4BA4A35167FA380303AA32B36B550FC6B860E35C87599D5 |
| Key | Value |
|---|---|
| FileName | ./usr/share/gtksourceview-3.0/language-specs/coq-ssreflect.lang |
| FileSize | 28 |
| MD5 | E89D1205D1A7AD1CDE8E54130E287F6C |
| SHA-1 | 41AD5E5DA189CCC8ABC4435B91D4809E6D99C51B |
| SHA-256 | F10F14C06B84EE39B8CF2B23ACF988CDD74C78E09FC9ED72EDF6CD650CE13F48 |
| SSDEEP | 3:4ds+jtKLCn:4y+5Xn |
| TLSH |