| Key | Value |
|---|---|
| MD5 | 4936DA1482A7A1815A683DE73FD1830F |
| 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. 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 | FEFD88DECBC3FC3AAF5B878C9E0AC0B5D5DD6579 |
| SHA-256 | 4F585D4A710FB6166BF77E555CADB11BD4A61CDB9A8DD5CAC5AC9E5768EB1415 |
| hashlookup:children-total | 5444 |
| hashlookup:trust | 50 |
The searched file hash includes 5444 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/ssr/ssrast.cmi |
| FileSize | 14886 |
| MD5 | E690E20D11FB7B524858742639FF06D1 |
| SHA-1 | 00051D7FC000647493D141441F7FC9D28F0438BC |
| SHA-256 | F9FE6DCAA9621694A38270DAA48567353A200CD0C5EFCE19AE808885CE31FD63 |
| SSDEEP | 192:853FVNxFDF5blrH0irvZAgHTBp59rTvw+NL5ku3QMFFYUsAZQCn3kFBSZirzpoz0:ktf5vhA6jGu3QM3RfcBSZivpozYym |
| TLSH | T15462B27F675219A2EC460FAEC5F8025719210B7DC2C7CC3B911C0BF301A596DA7E680B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Floats/Floats.vo |
| FileSize | 34722 |
| MD5 | D8EA44A32A82D01AD16227E52B45F88C |
| SHA-1 | 000670DA01EBBFD716C846AB56E768A92B50C5A0 |
| SHA-256 | 1AF63921E9BA930E1E58043654BC8D908B4CEE6CF6E68D10B4FE2273286E02BC |
| SSDEEP | 768:fwl2KmacgxVDjqfJIOBIDplPO0fwQb6/4Y:fwhvX8SLWaWwY |
| TLSH | T1DCF2C547D01057F016B6CD304EB850C2A8428E87E36E5B766634416EDF1FAEB2EF8663 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Ltac2/Control.vo |
| FileSize | 3631 |
| MD5 | 52AE23F6FA85D62093116F7059F53DFE |
| SHA-1 | 000BF9C702E10C38077E32F1C020B59DDC816394 |
| SHA-256 | 38337D0E55AE90BC5611C9C69DAF81B49B5AF8078A785EAD68A607FBE26C3746 |
| SSDEEP | 96:YNhwq454Myyq45vLNPRLp6RyFiUUgGl3G:YNSpWMyyplLNPRLp6MFiUUgGl2 |
| TLSH | T18071321D41E51B51477DAC32D7FC4D9240A8CDCD03063B8B93881AAD4F0FC96756B3A6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Ltac2/Pattern.v |
| FileSize | 5525 |
| MD5 | 2C8D6F7C051DF2B69ED6336FA0EB4FC4 |
| SHA-1 | 002488933C88853969D39B67727CBD45834447A5 |
| SHA-256 | 74908AA1931DB4E7EC82EBBF8E1B07A8F9FEDABA4080C651E0719BE5628D7452 |
| SSDEEP | 96:eDCcFAvURXEB4OfaU6yIb1vG2DIG0PPILZa74IdoMHZJtSS/siRn/siaAzI1/sHY:2CghQxDNSNimiaAJxu |
| TLSH | T185B1E27606F81F32E5E280EA514BA0D5DB06D4AB5701B056F09CB1A51BCF430E2F7ACE |
| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/ea/e9f88dfb44514d6f5481758ce5eda1ff3e3771 |
| FileSize | 83 |
| MD5 | 31FB6519DDBAC32544EB50986D17C6C6 |
| SHA-1 | 0024950E8E9C5EC9C5E2C59C347A09615868B9D7 |
| SHA-256 | 6F04913A3205789E65E39EDC513E7127339A9F8F301A639998718B70F06A3A77 |
| SSDEEP | 3:gCD/pAW0yNyKgKq6RAXzcn:X/uWyKgDpjc |
| TLSH | T159A012204339E210310120B000181D0527040DD4F7905D24101E142C8307C4C5360422 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/ssr/ssrtacticals.cmi |
| FileSize | 7533 |
| MD5 | 4C5D8F3C78850C1991038A9E4166718A |
| SHA-1 | 00362DA500B46BE8C75F177BF2991C6FDC058956 |
| SHA-256 | 44A39A5082F513BB07E1BFADB19A5324B4C2539C66A647FACE2EBA3BF5912B5E |
| SSDEEP | 192:5kXtGPY2QRpu4KsAZeCn3kFBSZirzpozYym:5gvqf9cBSZivpozYym |
| TLSH | T16DF109EC738128E7FD6691AEDD4800274A71027DCBF9CC7F819903D545A2A8E97DB60B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/micromega/polynomial.cmx |
| FileSize | 12371 |
| MD5 | 16F3F83566E415710D088A630685105D |
| SHA-1 | 003B2BF0FA75F8D8F14DF241294540E6B7C548D1 |
| SHA-256 | 49D008582F9D93130F51EED99EAFA92C4D204B183A35AA9122BE7C5995FDB45E |
| SSDEEP | 192:/1+tU2cqQ/sDqmQyk918Sb6J/BQFtXoV/kh:Kcqysnv61886J/B2tX8/kh |
| TLSH | T1B74221E5564EBC4190B149F88D4CBA6ACE3ADBDB5B64CEA149D80D233C41DAB31E7307 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/bb/9aa32cceaaec2111c4abf7144d13ae75114387 |
| FileSize | 78 |
| MD5 | 805ED869E162D93FDF93A0F2CF3DF25E |
| SHA-1 | 0055F7CB732BEDC2A22E4719CBECE9C63517AEB4 |
| SHA-256 | 5548CC8841DD38392F2D2786366E519501C32D723C33F273C78DCB3DBFB1F86B |
| SSDEEP | 3:gCD/pAWfLdgKq6eYs+6ETn:X/uWfLdgDvYs+6ETn |
| TLSH | T1BBA01128022AA220A000B0F022202C0A2B0028CCBBA02EA0208A0028C80888C0338C22 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_AltSeries.cmxs |
| FileSize | 75640 |
| MD5 | 0A5AB850F19527C001219345F5C39EC4 |
| SHA-1 | 00744F672DB1214785D6E0A9D2A2F33A7B133598 |
| SHA-256 | 54C862107A86F067048B7276E10BCD8DE541FA6F8C05A634F021CCC536437B72 |
| SSDEEP | 384:k7k6XLm3FKED9A7HXXPobDNg3EUQTmefkV:k7k6Xa3sMkHXqg4iMkV |
| TLSH | T14D73952EFA9CC52EDE47C2F109AE17EB763595091752C706E20092787E672CA9F470B3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/Lqa.glob |
| FileSize | 752 |
| MD5 | D1649B4BF3D7B1A8EE44BC9DB1852482 |
| SHA-1 | 007FF8CFCDC570B61689DB6A872B4F197D9C6E29 |
| SHA-256 | 92932ED41649F1FEDE95E27C40C60FCD68468DF7648EAE84744189E6864987C4 |
| SSDEEP | 12:VpNRKTNziny9R5yijinaE2Nma9Y3cT0iINNzWLnUS9IzRsNzaZETgccD9I89IQ:1sTNzina5yiOnaBNma9YM01NzWLnUF9l |
| TLSH | T1B80192BE0217C4F0E5060F79801CEBD99E62049EA96604B6E3CD192D6C10ACDA2E6AA0 |