| Key | Value |
|---|---|
| MD5 | 82531FA57F988FF9BA8E73C64C2EE3C4 |
| PackageArch | x86_64 |
| PackageDescription | Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification. |
| PackageMaintainer | tv <tv> |
| PackageName | coq |
| PackageRelease | 1.mga7 |
| PackageVersion | 8.7.1 |
| SHA-1 | DBBCEB2257E04659BAD5DCA616CA68656F1196BF |
| SHA-256 | DF951DEC46A63AB99BB360B78786C59C5CE1367B33024DF11B6F00982059BC4F |
| hashlookup:children-total | 4818 |
| hashlookup:trust | 50 |
The searched file hash includes 4818 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_SeqSeries.cmxs |
| FileSize | 18312 |
| MD5 | 6813AE9B87A58A9AAB46F57AEB507668 |
| SHA-1 | 000BF1D51AF0635CD1A28B1D81548D6D65294E89 |
| SHA-256 | C845F96A400AA792B57C27584778D092E4C05630462CDAC509FBA5B94441AAE9 |
| SSDEEP | 96:R3IuaLbUBWBP3oIm3G5K1XGc+6o46lkkRHzWYf0x8FOMZJYSBd9g/a8:RKM8x9mWM12jlXTPMxANZJY0d9g |
| TLSH | T13682E797F387D93EE674E1F4408B033962B1B8129EB302328F9566650CF3694AB194D7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/ZArith/Zquot.vo |
| FileSize | 87887 |
| MD5 | 8587B0F793FFC1B37309E06235E16056 |
| SHA-1 | 001D570491EA1BCAFBDB6450E2F7F923676C3FC5 |
| SHA-256 | 05AA2B0398FDE4447725D49C865B9D9781CA77156B772173FC4590C22EF5B847 |
| SSDEEP | 1536:XCsf1fHAY1wILU31sCNuVO49rozEJSbBdDnPxZI1EUO3P1:ysd/AUAlBNorozOSbb/I1EUOd |
| TLSH | T162832821D5D6EF6448EDCDB0F524B89916025ACE5264E3841B35433E8ADF7CB2CAC28F |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/setoid_ring/Field_theory.glob |
| FileSize | 408298 |
| MD5 | 3EFE93766A59BABEEE3937A3C8C9C0C7 |
| SHA-1 | 002ABD18BE9D83F20AAB7CF467B5197C61FAA6CA |
| SHA-256 | 795879B9CDBBBE5CF0DFBB9A5F5B5F560DF58A1010D18AB27A762A4CEC5A684D |
| SSDEEP | 3072:83j6AHHeoXybcQTVkK+WGyCQ6PKQy+EwuHiYqb/ZeI355Zp19dK4+yfKR7b/wMNX:8i |
| TLSH | T1F0942B9AC3AB4538B2459E205E781AB58755F1866FEBC0D2F77DCDC7280D08E860FAD1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Reals/RIneq.glob |
| FileSize | 223838 |
| MD5 | AFC461103EEDAF9F85AE6EE3BDCCBE9C |
| SHA-1 | 002E3BCA582CB8DDF646FB755500937E6C76B2DA |
| SHA-256 | 9B4CE904CF2790B99674BB2B3082CE4DA562B88CB47A0CE9C7770619A9F558EE |
| SSDEEP | 3072:lsFEdtUnf/01vfxboBagWvNs9/SSMB4gsfYt6SMgAlyGV2xQfR2jbY16nn6FQvrG:U |
| TLSH | T1B1241F1F058E82734566CCF9B7DC273BBA7A85862B0F29E1D79E8599AD9143C001FE70 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_DecidableClass.cmi |
| FileSize | 7937 |
| MD5 | 2A99EA327FFB6C248119A9B3765F39B8 |
| SHA-1 | 0035E5CB0EF37941E9AC4470EE623E59B88CD4AE |
| SHA-256 | 3A4BF83EFE34F6DACBB33EA82882A3634A07A35150AD885001F353AB14633452 |
| SSDEEP | 192:vrZ55xNK39wUG1rjaQs1IEIpjfjtC3x7K1nNmrVHrsXbp+B2jlT4qb2miMkyTPM8:zZ55xNK39wUG1rjaQs1IEIpLjQ3x7K1/ |
| TLSH | T169F1832A63CCEACCAD1780F6065A455341E843B8E6F58C7AF19D0BEC811191F978AC9F |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/ssr/ssrequality.cmi |
| FileSize | 9460 |
| MD5 | A73051513FA8A70951CDCCC4F2715639 |
| SHA-1 | 0042D785FEA0385957DCDF99A38981D922AAC906 |
| SHA-256 | D31F752E0E70754B313AF8605EE16A19CED295FF09BB59E3FE243289A2A537BD |
| SSDEEP | 96:W6W4/yoA3Ny6aq9QODlSmJMH14EVNXvK4XSc8OEm2uO20lfIgT9Wca+60mgUqKP8:G4/yXeq9bcmJS9PnBou4lrI+Hmg9K0 |
| TLSH | T18312F8BEA386399BFCAA90DD424001D7516513FDE6F98C3B90AD06F098E411ED3C7987 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/kernel/primitives.cmx |
| FileSize | 244 |
| MD5 | 72245D3A7DB4F6B83F4D87574B3D91AF |
| SHA-1 | 004343DFFB0B9912B2957DC68BD5D9C0004531AF |
| SHA-256 | CFA2954A44D2D8A49C9A092DC401AB247832AC1D39DFEAB601BA1402CDF91E46 |
| SSDEEP | 6:W2OeMkEdmK6CCRAbmK/3/W9vDkqR307WC2:WBdb6hmaH2I |
| TLSH | T185D09731708AB304E918CF7991AA00E066442CE1788080FAB2388E1822C6C09703431F |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/pretyping/cases.cmi |
| FileSize | 10876 |
| MD5 | F48710B01878CFF10D2A5AAEBF6C4048 |
| SHA-1 | 004A2CD4EE532BE1CEC468B738C8B42963F814FA |
| SHA-256 | 6409434109E6121AA6338F7BB243ECC7C7C40B6C79D7446506EA0023611EE7F8 |
| SSDEEP | 192:LoXSxYNZcsti6vM2PXpFo4ccV6NsxkBIE5ciyX+qdj0J1psM3VHsc2jZV6YsxDb:kxZcsY6v7pFo+wNsLzzdo1luz6YsxDb |
| TLSH | T11222941D960A19E6ED8A68AC45B9523744200BBDF6ED8CBBD24C0BF045E941FC35BDCB |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/lib/control.cmi |
| FileSize | 868 |
| MD5 | A65EF833688434A623BFC95BFB14D3E9 |
| SHA-1 | 004EC57E9CA70176CF2CC84D054889D895AD8D04 |
| SHA-256 | 049076010FF5DB9300C12D9AD1BD205A74D6C6FAE0D6766D0039827A77B30DA1 |
| SSDEEP | 12:GIOb0t5vbN9gXIJdJR3ze/htsPfU1dhdlHFKY3LMimrVEuh5Mo1a+2EcSItdnzB7:GXb85vbNXJ3hOrkfQDMimR5TkdnzK18 |
| TLSH | T1D111BD1E436A4B10DCDEA4BD058196F7021418B884F6CF6345110FD41192A0E436F0DF |
| 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 |