| Key | Value |
|---|---|
| MD5 | CAE219423CF3309C2F32CB84927A591E |
| 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.fc34 |
| PackageVersion | 8.13.1 |
| SHA-1 | D503CE9B5BAD339800360D69D954DB2C4C097269 |
| SHA-256 | 5991FFC73504F9EA6BB52D246BB35328B5663F4D14B9D3D6C6155974A3289B79 |
| hashlookup:children-total | 5 |
| hashlookup:trust | 50 |
The searched file hash includes 5 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | coq-8.13.1.tar.gz |
| FileSize | 6951464 |
| MD5 | 03EBBF1034C224A0A3327DB2D5688C29 |
| SHA-1 | 02F31733859EFBE02565398B09BCE67783DC6C8F |
| SHA-256 | 95E71B16E6F3592E53D8BB679F051B062AFBD12069A4105FFC9EE50E421D4685 |
| SSDEEP | 196608:2+UUH2be4h7NpgbE4FAne6A+vMa0CY/Ii5KdYxYGh8uMFVrR:lg9eSA+sC8IMHX6hXF |
| TLSH | T1FF663382D00DBBEF8857918B739DCD084C2A3B98A48EF7A4D654B7E6D0067B7498CD53 |
| Key | Value |
|---|---|
| FileName | ./usr/share/metainfo/fr.inria.coqide.metainfo.xml |
| FileSize | 1931 |
| MD5 | 313E080BAA1BC41B8B0AFFDE42BB6962 |
| SHA-1 | B0988968F8CAD1024994E505DCF058BCFF4E09FD |
| SHA-256 | 00274807BE323A328A82CA0DB912E57393D4FE3EA705A7DDD91C3E5CC60463DC |
| SSDEEP | 48:cHmU5upYu8UW7FSigZWFC6+ml7BjohBjbJBjWABjRxAaO5VCST:4aYPyWFR+y7BMhBfJBCABNxWT |
| TLSH | T1B641DBF7C0AFE1F3929664137E35E48AE875DE2E44505186B04C09B85F0BA444277BB9 |
| 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 | coq.spec |
| FileSize | 29791 |
| MD5 | A2B3C539C0F30B8A9C11FB850BAF19A5 |
| SHA-1 | F79BFAFCE38CC2F80FBC1BAF006D3BCEB8F0B936 |
| SHA-256 | FCDED09F57A9094EE40789FBAA1351C28B487B1D759B8D209385CC8896C68349 |
| SSDEEP | 384:eI9SfDclamHTarChUUlNZFlGionNGdtHt11DwtMOTJwLB8TBeUAJMW1O4hmZWBEt:ebfDcl/a+hUUlNZFTCkKLN/MLS |
| TLSH | T1A1D2D876528CA8A2778177F6E1713E45B63F8177DE7EE0A971AC41042B03A24B33E671 |
| Key | Value |
|---|---|
| FileName | fr.inria.coqide.desktop |
| FileSize | 159 |
| MD5 | 5445A299C834F298EDFB2EEF0293DED2 |
| SHA-1 | 780CD6A50341CF7D4FAF9B5F3EDA880B8894936F |
| SHA-256 | 157DF2AAF4C57B1DE2573B0EF1A258A18E6393C6D854789E2BF14D42DC45E9E3 |
| SSDEEP | 3:ag4z11JxhB7AIq2xHWVPd2sGNGKx9oERMQ7RAThEiuF1EVMMQGkn:agO3hVxHWn2TPoc9iuI8n |
| TLSH | T135C08CE324480225124A30A64B4288D291BB180E29A84C50F00C61359181E59D6BF78A |