| Key | Value |
|---|---|
| MD5 | 5F2922243E0E3253736EC31A006E2389 |
| PackageArch | aarch64 |
| PackageDescription | Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants. |
| PackageMaintainer | daviddavid <daviddavid> |
| PackageName | why3 |
| PackageRelease | 1.mga7 |
| PackageVersion | 1.2.0 |
| SHA-1 | FF9F30FAFC520063C405B90A1F507D9A87237304 |
| SHA-256 | 80652058A5C5745F4AB314AD16C5DEF79248FB5818133A8F237705945F8A38EC |
| hashlookup:children-total | 285 |
| hashlookup:trust | 50 |
The searched file hash includes 285 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/why3/stdlib/appmap.mlw |
| FileSize | 412 |
| MD5 | D94CDE0B35F135245727CB18B618DEF5 |
| SHA-1 | 011CBA6182DF86C27423488CC3F935B5B9E50814 |
| SHA-256 | C57791EA4DD5E3DABC6BF2A09EE631D8DFF7CC2D57E7B18ED135E676DCA2BE0A |
| SSDEEP | 6:HM04iYFqr/FWH6lmpxvdgJPSrXubdtEqJPCeubiJP1hPp/rXubdfd:nVNoPxlgpAebAqpCrbip1xpjebn |
| TLSH | T1C3E055B6B6E02068C001B4B7C68F2093C6B1635943001E1430A8C0A8DDD9A3416DA6E9 |
| Key | Value |
|---|---|
| FileName | ./usr/share/why3/drivers/why3_tptp.drv |
| FileSize | 503 |
| MD5 | F51564509A097CFCEAC8B2EA275C1B8B |
| SHA-1 | 03808710B67D14D9A596D271463B207BB7D9BF4D |
| SHA-256 | 7192067EE729114F85315280F2541909A209489F45A2B9CE1186B81F4EC4F0B3 |
| SSDEEP | 12:lhlZyZFioLBWQLBvoLB4AQLBALBVxLBwMBJa3LBybLB8iLBwAILBBrkXLBzRjKwn:lTZcFioNFoCtqPxKMB03kbaiKxrwXFhv |
| TLSH | T1E1F0DA88CE0C96A451132372C3D68B846F38826721150DCF7BA5952E94A9CED47BB7A3 |
| Key | Value |
|---|---|
| FileName | ./usr/share/why3/drivers/tptp.gen |
| FileSize | 956 |
| MD5 | 656C681450AA1B8639018DA440A03B2E |
| SHA-1 | 042E526135257B12518344D9B3C74A02C9E237C6 |
| SHA-256 | B08B43858E4B0E9D1FA76CBF0AE9E18DBFA8B5ECDF944206EAF3785D5E632471 |
| SSDEEP | 24:0TvP4ZIyw4ZcyioH4ZISC+qNFoCtqPxKMB032HkbaiKxWrwXFhKCV4s:0czLqyiX2SxgNuf0pIrKY4s |
| TLSH | T101113888CD08A6740A536266C3E3CBA01F3896971500099F3BA8851F25F5DDD87AB393 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/why3/coq/int/Div2.vo |
| FileSize | 33782 |
| MD5 | 50AB25946FF3F1184B970699596F80FF |
| SHA-1 | 055694008EA27FF343DF25C8A3D218D1143CB167 |
| SHA-256 | CF0CCE510DF4D5DE283750F2D72BD0CA9A0E2C1F267FA9B6A7E113E740141229 |
| SSDEEP | 384:v9CsT4mE7go/xlkGlfha10K+iStYUNpmHxQJW7eULCxMd+UVOJD5kQyTxX6:VCsT4mdgGGl5a1uKUNpzY7emCO+UwJc6 |
| TLSH | T1C3E28226D5D0CBA108B5C970AA7834886506AF4B5359E7681631037EDBDFBDB3DB018F |
| Key | Value |
|---|---|
| FileName | ./usr/share/why3/images/fatcow/control_play_blue.png |
| FileSize | 1971 |
| MD5 | 8FF36BCB5C375BDBEFB08BF395D56503 |
| SHA-1 | 05E321F1CE1BA027B49006E1E73464F6B5D272F2 |
| SHA-256 | 700C1539E7F4713807DC1428BAFA0B86FA5F753B331E174E306D04BA5114362B |
| SSDEEP | 48:rmqBU68eEh/giA0F9SrF3fOlzw2GaiO3V2rzQO5iw0SiUSdpzE:XWlRdF9SrpcGN1rSfd+ |
| TLSH | T1CF412A8071A88170AD30771C64090D637A78EFC4D38C15167E137425A938B7047F735C |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/why3/coq/list/Distinct.vo |
| FileSize | 34407 |
| MD5 | 8B1B623F0373669E5CE68B4A7666C63F |
| SHA-1 | 079D57A82338CFF1E8F7085F0B7CE82A9FB8603C |
| SHA-256 | 7B0111D1E3EDEBFBE7DAD9F4C95812C31DFBBF467E7B1897B2639ECAF1A7CCDE |
| SSDEEP | 768:4CsT4mdgG2wDsi5a1uKUNpzztemCOduwJmUh:4CsUG2wosILU3ImClwoUh |
| TLSH | T18FF2A426C5D0CBA15CF1C9706A787488A505AF8B4359E7681631037EDB9FBCB2DB029F |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/why3/plugins/tptp.cmo |
| FileSize | 729627 |
| MD5 | 681CFB6BD26FFC8F93E608EC469B5B5E |
| SHA-1 | 08D2200338C72688F4C1FC56E66F841B22BF41B3 |
| SHA-256 | 87E3F80FB5ADB659BC7A1F91A16D78446EA6ABDD099F78B1BA7CB96A7C11BCD4 |
| SSDEEP | 12288:VJQ19sd4eKZL/sr2nr2Juz2MgdsYHl6Ut0rbu1iibuBd:T0LkCOGtgdsvU+rbu1iibuj |
| TLSH | T1C9F4610BF8040962D84B0EFD8EE988CF82B0197C91938AE7941D85975FC775EAF1658F |
| Key | Value |
|---|---|
| FileName | ./usr/share/why3/drivers/metis.drv |
| FileSize | 340 |
| MD5 | 10DBC71D0C429BC4B741556907E64B9F |
| SHA-1 | 0A55818639F68C05C5061D73E74BA8CD8C4D753F |
| SHA-256 | 3CB4989EB8AB0A55E1FF1BB76A8C8993F76B12244E8968C6B7F046103930BFFF |
| SSDEEP | 6:Ea9AeLv5JTAe3lEz46e9OefKP446ejqeKP446eNnCoQXsekRw46enx3t6eLl0z4m:3bg4lyP44HyP445Co4f4Dx3t3e4kfDn |
| TLSH | T1B6E04FE88805E4100FEF50AAE073FBB21EE44E49071313751048621A2F901CEAAC9958 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/why3/coq/list/Combine.vo |
| FileSize | 29368 |
| MD5 | A7DBABC1AF9DBEF81BA70604DB0C706D |
| SHA-1 | 0AB53F596C77FB58E10F7989C05B87374FCCEA93 |
| SHA-256 | 72AC0A30C21668B8DCB32A99C5F0CC0C6CC9F70B3036C99E9DE537AFAF010AF0 |
| SSDEEP | 384:Uv9CsT4mE7go/xlkynfha10K+iStYUNpmHxQJxgeULCxMdOSVOJDQTV:OCsT4mdgGyn5a1uKUNpzrgemCOOSwJUh |
| TLSH | T1E1D27126D5D0CBA118F1C9306A787488A605AF478359E7681631037EDB9FBDB2DB029F |
| Key | Value |
|---|---|
| FileName | ./usr/share/why3/stdlib/mach/bv.mlw |
| FileSize | 5100 |
| MD5 | A6E4CF8F45366024B10DA446461AE995 |
| SHA-1 | 0ADB1086A92E1CDF49723DDEFAA141A425F91A9D |
| SHA-256 | 60DC6F1639F7EE4DC8D03E9B570A3507375B152672E8DB7D2E42D89A5FBFDA53 |
| SSDEEP | 96:BBQ2C1GqCDn8CEbGC0jCC05/C0UPC6QCRdqLwKB79eQ8oX8W2eZI:BBfC1GqCDn8CEbGC0jCC05/C0UPC6QCT |
| TLSH | T1F1B1E42DA9246177E453B07E929B50E9E430560B0E98BE50715CD0E42F1A83CBBFBDED |