| Key | Value |
|---|---|
| MD5 | DE43D60884BE24532B95B4FBF91657AD |
| 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 | 3.fc33.1 |
| PackageVersion | 8.12.0 |
| SHA-1 | 5BC957B2F973847350FBBFB10C5C966A39F13545 |
| SHA-256 | 662B05EB8B4F5CA523DF62A908681413C3E009F5B26D3D6DEAD8F7D2E1B84F1C |
| 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-Sphinx-3-support.patch |
| FileSize | 725 |
| MD5 | 59F73D6D3EE63524438005644B900790 |
| SHA-1 | DF36958306C8A11943A18D02C6F22BE5E7FDE1E1 |
| SHA-256 | D736EB559446A70685462605BA8D1A580D452A3BD097C112187FBB4210D02BE1 |
| SSDEEP | 12:yLUU5oINubUhCsML2mHg2c6ZXpi8Epi5oPVpiFpiHeJBAYHVFCX5wX:yh5bNubztL2mA2c6ZXptEpAepapwqxce |
| TLSH | T17E01B55948101B093E8B99AD583B4204DE905E7747762FC472AF509C4F9627A48FBB4F |
| 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 | coq-8.12.0.tar.gz |
| FileSize | 6774001 |
| MD5 | 6110FE3DF3F0F513569E6F559ED201AA |
| SHA-1 | E32A89F9D67E82DA2BED81B8FA0ED76A20957E88 |
| SHA-256 | ECDE14C6132F5ABB459E7F4724788788928174AD4484FFF88E86B0086779BCEE |
| SSDEEP | 98304:zBbdsT6jt1pYxL9M1sHykAAQgXcJecpxyGoTgvgthyoW4ROU6zzE2f2uKGa:zBbdsevpYxJMqHLfQgHqxyG0DUoWlcWa |
| TLSH | T1D6663385F5F27C073109219F87813FB95576DA8B142E94E01546F31A90BDC8AABFEF82 |
| Key | Value |
|---|---|
| FileName | coq.spec |
| FileSize | 29561 |
| MD5 | 9FC391D44F411005BFDD73DE54019B95 |
| SHA-1 | 4893F3A4EC58A25938958D98A5E8DF0CA0677A28 |
| SHA-256 | 0A438B1E47046D81FF4D225BADB7C3EFDD6CA93648E27954034A12140B4F18DE |
| SSDEEP | 384:eIbfDcodHTa7eKUG/LHCgQalpDY1MYNGdtHt11DwtMOTJwLB8TBeUAJMW1O4hmZZ:e2fDcoJaDUwFlZY16CkKLN/MLS |
| TLSH | T129D2D976528CE4A23B8177E6E1727E45F52F8176EE7EE06A709C41043703A24B23F675 |
| Key | Value |
|---|---|
| FileName | fr.inria.coqide.desktop |
| FileSize | 159 |
| MD5 | 5445A299C834F298EDFB2EEF0293DED2 |
| SHA-1 | 780CD6A50341CF7D4FAF9B5F3EDA880B8894936F |
| SHA-256 | 157DF2AAF4C57B1DE2573B0EF1A258A18E6393C6D854789E2BF14D42DC45E9E3 |
| SSDEEP | 3:ag4z11JxhB7AIq2xHWVPd2sGNGKx9oERMQ7RAThEiuF1EVMMQGkn:agO3hVxHWn2TPoc9iuI8n |
| TLSH | T135C08CE324480225124A30A64B4288D291BB180E29A84C50F00C61359181E59D6BF78A |