| Key | Value |
|---|---|
| MD5 | DE872213A0B37277F3AF21F32179F4BC |
| PackageArch | i586 |
| 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 | 26E0F32B5C1ADC76F5F1AC492B591F78CF54E206 |
| SHA-256 | 2385B1CD79E6B83F4C44267BF4D6FA65C6A8C3E87C0FF8A239780E338D351501 |
| 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/lib/coq/theories/Logic/.coq-native/NCoq_Logic_PropFacts.cmx |
| FileSize | 3505 |
| MD5 | DB85B2987D80ADD61FC1E94625A874E8 |
| SHA-1 | 002514B8984BB9D199AD82C4037F38543AEEAFF7 |
| SHA-256 | 07750956CF5838206C4D31C710FF5AB19EB11F76D9419D6E219FF5D64FA3EE54 |
| SSDEEP | 48:keNHMMZqXjuR5q+1kJo46lht3CRH6CFWe4m5kvKF0x8+fwhNaA7JqywKDJV:FK1XGc+6o46l+RHzWYf0x8FPH |
| TLSH | T1AD71089B70D4F1427EA3D1E32A1B043A96F420A3E62684790EDE039D88F4876F69614F |
| 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/lib/.build-id/68/dfe419623e0e33c52f1f6e1d6481452eb8f547 |
| FileSize | 80 |
| MD5 | 79881AD7BF231DEDA3897720C3C07821 |
| SHA-1 | 0039B677BFC85E20B1EE5303283AEDE5873DDA1A |
| SHA-256 | E873B2D1EC627571D32706D91C9C7B37880CCA9673A039888C5E568DCF2B04AF |
| SSDEEP | 3:gCD/ptAW64KUhKq6xJW9tESdGgWn:X/YWBKUhDN9tDdc |
| TLSH | T11BA0025596692215650168F45920384F574569D4B5546D50D3AE0164D0455444315536 |
| 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/lib/.build-id/5a/3e3a61244bf2ac6d7ff8f0dac1c9245f6521ff |
| FileSize | 65 |
| MD5 | 6902CE00EFD73462845B4633B28D9E80 |
| SHA-1 | 004A5311082FE1F98373E39037FCE3BE2D251309 |
| SHA-256 | 99890147A100019881F11D8C57EA0FA1BB628A43EC8C55C8C718AF30C9FAA806 |
| SSDEEP | 3:gCD/pnzuxFPV6jQzLc:X/daUjQnc |
| TLSH | T10CA0012165EEBA2065A624019042088423AE4EC83249EE302E394AA46EA41951363500 |
| 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/coq/plugins/setoid_ring/.coq-native/NCoq_setoid_ring_Field_theory.cmx |
| FileSize | 34420 |
| MD5 | 5E6577F788329EA4BA08EC8A47819FEF |
| SHA-1 | 006175481EBD755D9FB128E564F7D7510A6D0B9A |
| SHA-256 | 7FEB0A42C0A1FBA13B62393FAB5E0B5037127F492EBC3E7474EA5009A350AB80 |
| SSDEEP | 768:C/wMxtR5RWhW3iWbWlWbWDWFWxRWxWqWhWpWVW9W2We3WbWrWcWUWPWNWQW/WZWx:C4AnR25UMmkekSZYQAgzH3sK1xmQXMaQ |
| TLSH | T179F2AC521BEEE441B657A5F41D799C72C941E1025BF2C0D6E7788DCBFE9840ACA0F28E |