| Key | Value |
|---|---|
| FileSize | 4889582 |
| MD5 | C9D28A0596D0CE480A9061B364F7ECAC |
| PackageDescription | Software verification tool Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | why |
| PackageSection | math |
| PackageVersion | 2.34-2 |
| SHA-1 | 7D82D105535A8CC197573696FC98ED5F91EAA332 |
| SHA-256 | 9524CEC44D12CE61BA9CC93B2FD6167F6596F9A8AC11D8D0032AB5812B11E849 |
| hashlookup:children-total | 165 |
| hashlookup:trust | 50 |
The searched file hash includes 165 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/Jessie.cma |
| FileSize | 5226049 |
| MD5 | 0259982983516CDEA47DB7ABF066066C |
| SHA-1 | 000B7C37ECC5E1223AEE681FFB3AC4D98222BEEE |
| SHA-256 | 2C0F1606010B2B1C2E42967956D442501A14F886B066BF50A921B2FACCB0FAF2 |
| SSDEEP | 49152:QkoBIrRXSKITaf0r9acsmFlgf8n/PYhc2pI9CpC15W3dI0Q9s/85mrOuwDiQ+6tc:vs5uRXLcPrNw |
| TLSH | T19136800D6090A4B1C455077ED8F48AA7D210B63EBFCB7EF7100D96E566CE64DAB04B8B |
| Key | Value |
|---|---|
| CRC32 | E09FE048 |
| FileName | ./usr/share/why/java_api/java/lang/RuntimeException.java |
| FileSize | 2935 |
| MD5 | E563F56A0438B44393B6230151E417BF |
| OpSystemCode | 362 |
| ProductCode | 6664 |
| RDS:package_id | 119651 |
| SHA-1 | 0096BC1F7331ABD72AE31AFF1F50250B5CBDEE08 |
| SHA-256 | 33D96DEC58FC3CE456CFFE822A08C469AD5D06D9BE08A78CABF072C64669CE45 |
| SSDEEP | 48:n4gk710Zh8QhXP3/aYS/nHtrpHtCVV/vfSYCVV/s:4gSih8afixJpNCXnpCXU |
| SpecialCode | |
| TLSH | T1DC51DE225AC1577221C751F76321E0C2D356A6AF362A2097FCDD863C3F45776533AB82 |
| db | nsrl_legacy |
| insert-timestamp | 1679405929.5525637 |
| nsrl-sha256 | rds241-sha256.zip |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why/README.source |
| FileSize | 849 |
| MD5 | C39474E53043849ED280E3590CDDF3ED |
| SHA-1 | 026BF9B5106F39530BD2A8C4BDABC0BFF911922C |
| SHA-256 | E25350BC5E2488A004F3786E55136E9A5622393DFBDD7C58726ABB0A65824F23 |
| SSDEEP | 12:h/Kofr2B8TrADLbVuDZbYzp5PEWNjaLO9XRpvgbX:h/DD2GUbVGZ0dqLO9XvcX |
| TLSH | T16A01AFB79DC353F46A91C9C6F38E56E0EB87506AB3211498942E44496327385A9BE880 |
| Key | Value |
|---|---|
| FileName | ./usr/share/why/why3/jessie3_integer.why |
| FileSize | 2631 |
| MD5 | 86A09BE205716102CAF43BF2B044E024 |
| SHA-1 | 033FC04D775019F8160BDC8115A157790FF7FF29 |
| SHA-256 | A55F3DA8D7EE25DC9DD1B37762E6EB347A08D72B2C9414E93B2D4ED7D3885FE6 |
| SSDEEP | 48:9nAtBJNw51s6eG4NdIKsLxvjn5Qj9X9gi2Nn6PjMag9WXlzuf:9nr5vj5IjKnEQf9WC |
| TLSH | T1AE51222A10663BA3F2A20C2A4E0D91C57D04EC5D84E83FA5F41DC07C2F9E2D6A3B5E1C |
| Key | Value |
|---|---|
| FileName | ./usr/bin/gwhy |
| FileSize | 591 |
| MD5 | 8CF2C45FA1EEC793DE092D467F68E07C |
| SHA-1 | 03EE4CA333CDFC0E8ABED3ED1957034D99C67725 |
| SHA-256 | 13B9CDD6076624EA8B659BA5682E3E4AFA6C79A7E8CA84AA2BC0174CC5394666 |
| SSDEEP | 12:hamWxaghNM8uoPYFYnDKDX5cNHenI+WaFY4pNDXHQ/TL9eT:YmR+nhDKKNa7rPT |
| TLSH | T18BF04C0E164223F019B911D94E697061FB23182A879B584A749E9973CB44E9EA1E83C1 |
| Key | Value |
|---|---|
| FileName | ./usr/share/why/java_api/java/lang/Class.java |
| FileSize | 89699 |
| MD5 | 7BA3C9675986BCB69D6535C770A899BC |
| SHA-1 | 044B06A6EBD11AAD141A0B997CE3F6F4D955ED10 |
| SHA-256 | FA3D3AE499BD1B215BD479CB8113BB4DE66920D50B9491112071365FC804E065 |
| SSDEEP | 1536:1XkjF3kBvVkF3luCNB223u89JeKPmVprqiSUNiv/kPEK4EtVmqi0Z/iT/JfF:dkjF3IvVkF3luCNEcJXuVprqiSUNiv/X |
| TLSH | T1D3936106A3DA23B2014BC17D9A1A54C4F35ED02B621A5D84BDEE873D6F41F7092736EE |
| Key | Value |
|---|---|
| FileName | ./usr/share/why3/images/boomy/bug32.png |
| FileSize | 1954 |
| MD5 | 7978A830572D643D5479C046391203E9 |
| SHA-1 | 051B22C0B1850FFF24B5458BA6861643861F63D5 |
| SHA-256 | 6E0C05AF60239659B1B2387326519EC87E1A34079A9F3BF2E3522EF1B5253615 |
| SSDEEP | 48:CDQMDMhJAaHCSM7F7+Gb727fT/f3jQ45NA/gvKOvnraLR9eT:47xcG27f73jQ45NCqrKRkT |
| TLSH | T131412A4BB024BD3552A7E4A189B64CFDD858206EC674623C834155E052756FF7E70632 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why/changelog.Debian.gz |
| FileSize | 4616 |
| MD5 | 91A3018C5DF12FBC9C7A730D9E097FDD |
| SHA-1 | 07247E81AF7358F6BBB45B50030C1D033B296695 |
| SHA-256 | ABC772AFECABA94D5E0D7C9D20CC445D49AC1CC7912807871BB8476FCE182CE9 |
| SSDEEP | 96:eZlnse4volLw62uAuQ+ckszzNlBlIkfuH3FINDGH:ml34vo/2t1NkSLBlIke8DGH |
| TLSH | T1DC918D922C83647397803CC2CEB5F6CB9AB03F76D2091E13D24596BB997DAA86B11C04 |
| Key | Value |
|---|---|
| FileName | ./usr/share/why/java_api/java/io/OutputStreamWriter.java |
| FileSize | 6788 |
| MD5 | A88113BF3213A986940C0A71ECDE78D8 |
| SHA-1 | 08C0FBE1E9E84EEEE2EAA6066F7E1BA758ADDD9A |
| SHA-256 | 298A9439802110FCF83C344D29D5AAE70A61CF3216A3F1345B01CD4D3C208067 |
| SSDEEP | 192:D4tkWOtgjsUj7/t2JWFDeHrMTCVixsPk+hUzjQIXW9FUO9MY9A959D:D4trOCgUj7lMWZi4mfPzezVGLFqzB |
| TLSH | T16DE11F129ED20223129312F49B0BE1D9D6A6B17F32668D8074DEEE343F47B3E5621F65 |
| Key | Value |
|---|---|
| FileName | ./usr/share/why/coq/Why.vo |
| FileSize | 13253 |
| MD5 | EAA6F370AB63225BDD1D74ABC7969DB1 |
| SHA-1 | 0961D0C7AE095726A77BE3213024FA20F6703666 |
| SHA-256 | 6276284DBAD1FF9CA087B174D4A58CA5DB35B1ADE0C90A10E34DD1E3B3860F34 |
| SSDEEP | 192:Gk1jvj0dMyLrMnE6KDOF6u0NsmVZVf0fTVopnjQPNYJPkU3MRnNljPCHfCQPqU:Gk1QzrU6OsDamVnf06ZPkUMW/bPl |
| TLSH | T1BA528302D530ADBE16BD4E363E3C208880490999515CD72B6E0AC56DEE9FFFB257139D |