| Key | Value |
|---|---|
| MD5 | 3A4546E66BAC85CF5761F810A860399F |
| PackageArch | armv7hl |
| 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. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching. |
| PackageMaintainer | Fedora Project |
| PackageName | coq |
| PackageRelease | 1.fc32 |
| PackageVersion | 8.11.0 |
| SHA-1 | 6C8950EB602609515A8E7671845B736B0ACE5049 |
| SHA-256 | 9DE7D0D9E449B6ECB1B4E16E814CAE0B90DE43DA4E43B7C23ECA727CED101D27 |
| hashlookup:children-total | 6 |
| hashlookup:trust | 50 |
The searched file hash includes 6 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/mime/packages/coq.xml |
| FileSize | 289 |
| MD5 | F69A9176D0F03375003709CEE2842DC1 |
| SHA-1 | 7E664ED45BD379EF31C2D1779754E960B85880A2 |
| SHA-256 | 7A36E62F52F7EE1B0BC3D946A3E24844539872BC5698F788BD946BED3FF19A5D |
| SSDEEP | 6:TMVBd/Jv3mc4LfLyBEer9D9Vv9HE7FsRqTJUF/iIF5ZIQXI6TAscVLOAE:TMHd9KLSj9DlHoF2quVF3XVMs2OAE |
| TLSH | T181D02BD4F9D7EC511121F91B97B7D408A3611367C5CD98A9F6D44E71DF81BC1024239C |
| Key | Value |
|---|---|
| FileName | 0001-Add-support-for-OCaml-4.10.patch |
| FileSize | 1971 |
| MD5 | 8B6C243B080843434ABB2C246D1B97E6 |
| SHA-1 | DBE6721D5A49B0D3FAD791347778CDA8E0135BC9 |
| SHA-256 | 3C567E60DAC675943A3FFF080E18434CB3D2AA983193540AA76B4A56131629A3 |
| SSDEEP | 24:YgdO1go3BXF2E8Omof5DoL/ualAR6MxUHK0MRcnDB5ona9UnuVAR:HOVpmofyL/uPxUenTR |
| TLSH | T168415E1261526131EBCF667A06FBC492489E7261BF912E643B5C81ACEF333E1740A3D5 |
| Key | Value |
|---|---|
| FileName | coq-8.11.0.tar.gz |
| FileSize | 6555390 |
| MD5 | 0AC754DF5D6DB454A349D956E100AFFB |
| SHA-1 | 2C91144DEBEAA370082B6EEB31B8C21B76A9C1B1 |
| SHA-256 | EEA101EFF5217DBA6D11A8EB13033ED62ACB4EE8A64D5CB15FD142E7FC5DC248 |
| SSDEEP | 196608:pDMqJv/INXdogxrL1iDRceDJxYHsitQj0x6w:plv/I/nxdCceVmFwk6w |
| TLSH | T1916633ADFAD7069CE33F21A85003840D368E26079F1901E7B2C9121B36AFBDE7577946 |
| Key | Value |
|---|---|
| FileName | ./usr/share/appdata/coqide.appdata.xml |
| FileSize | 1596 |
| MD5 | 10D9F86E90D0F086383A157FAFD6EDFF |
| SHA-1 | 6889785FD9900044A2B41DDED5F3954AAF9B148A |
| SHA-256 | CE4CE466492E40C67F6BCF094E901D435A75D0C864E6CA4290E6D18F3E8DD707 |
| SSDEEP | 48:cHm0bupYuYDFSiU09dlZ5don5dbf5dW65dRep0OMyG:4aYnR9DZ5in5tf5s65/L |
| TLSH | T1F2311CF7D0AFE2F391896413BE35E09EE574DE2C44905286C10C09B85807E888377BBA |
| Key | Value |
|---|---|
| FileName | fr.inria.coqide.desktop |
| FileSize | 159 |
| MD5 | 5445A299C834F298EDFB2EEF0293DED2 |
| SHA-1 | 780CD6A50341CF7D4FAF9B5F3EDA880B8894936F |
| SHA-256 | 157DF2AAF4C57B1DE2573B0EF1A258A18E6393C6D854789E2BF14D42DC45E9E3 |
| SSDEEP | 3:ag4z11JxhB7AIq2xHWVPd2sGNGKx9oERMQ7RAThEiuF1EVMMQGkn:agO3hVxHWn2TPoc9iuI8n |
| TLSH | T135C08CE324480225124A30A64B4288D291BB180E29A84C50F00C61359181E59D6BF78A |
| Key | Value |
|---|---|
| FileName | coq.spec |
| FileSize | 26812 |
| MD5 | DD499A37E4735EF75FD3244053973465 |
| SHA-1 | 35F59502866FB8FD9EFEB391D9D3CD28B17A6107 |
| SHA-256 | 1245397B4AAB425C9F532595F8899C5B789898F85E13FF8112B0E3856108BEE4 |
| SSDEEP | 384:8Iucok9ndACP9KU/DWap4Ht11DwtMOTJwLB8TBeUAJMW1O4hmZWBENPXMdWGpXD8:8bcokdDUU/iapBkKLN/MLS |
| TLSH | T19CC2D872628CA8A27B417AEAE1717945B63F9177EE7EE06D709C41042B03924F23F671 |