| Key | Value |
|---|---|
| MD5 | 3BA6383A1CF0CE9348501E8FEC0EA48A |
| PackageArch | armv7hl |
| 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 | pterjan <pterjan> |
| PackageName | coq |
| PackageRelease | 1.mga7 |
| PackageVersion | 8.7.1 |
| SHA-1 | E20BDAFD71A1B76EC7ADEC2A14FE68A0DFE493F4 |
| SHA-256 | 9B7ED558DA5F02C07E63435F4F35EF24AF104FC020D1AB1A4E297A35CA76F87F |
| 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/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/coq/theories/Logic/.coq-native/NCoq_Logic_Decidable.cmx |
| FileSize | 3582 |
| MD5 | 437F3F163569364CF6D5DBBAED3CDE13 |
| SHA-1 | 0038762C59E51B693166D4708439A0D643D6436B |
| SHA-256 | CC39CB6A8F238A9572D2B603376EA5CAAE4F620322F428389D065DB0F52F54D8 |
| SSDEEP | 48:BaJeNHMMZqXjuR5q+1kJo46lht3bRH6CFWe4m5kvKF0x8+fwhNaA7Jqyw/NmQw0S:3K1XGc+6o46lvRHzWYf0x8FyTS |
| TLSH | T160711A6BB0C4F6427AD3C1E3260A413A96F814E3DA3280794DDE47C845F5836B2E651E |
| 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/lib/coq/toplevel/coqinit.cmx |
| FileSize | 5275 |
| MD5 | DE836EEBF585B525F2ECC7DFE58A73C2 |
| SHA-1 | 0048A4CBFC007FAA7AA441437B185845BB5751C4 |
| SHA-256 | 8628848FA612F04EC35F2EFBAE2F0FF1FC78017E8EA056BD30E354FEE2840239 |
| SSDEEP | 96:VSFKwXJc+6o46l/gMBWYfZpxmrL5ZMY/QmJ12OKfHEgAjGm:Eu2jltBPRpxmUWgOKfl/m |
| TLSH | T1ECB11B6AE267F483F1D2E19B6E1B09748E7464C3FB75CD3415EC5FC47066C24A2A3206 |
| 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 |