| Key | Value |
|---|---|
| FileName | ./usr/bin/why-config |
| FileSize | 520256 |
| MD5 | 57CB53CE3B60ADA283FC1A49CA1A468C |
| SHA-1 | 08525E911D7E7CA845CB9D6266AF529957AE148B |
| SHA-256 | 9D1EC0B65EECE10A8E259484BB7C68D69EB4F2616F699EE8BC7E1A28796ACAE4 |
| SSDEEP | 6144:d7zrCaSzbrjdOIJYjvAVyVn2UN/cAyf7lkDNaQjACmPkFlDC4s/YNCHHtCfrfX/h:dT05VyVn25mDNakDGUCAfrffVZ9 |
| TLSH | T15BB40847B5C38CBDCA9AD57AC6D5A139B97738B503223B0B3980B7102E268795F7D720 |
| hashlookup:parent-total | 1 |
| hashlookup:trust | 55 |
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 5054120 |
| MD5 | 88BD24959FECB1FDF707D21313770D39 |
| 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 | 753D46FB804A355A83538372A6C1278E94A4E068 |
| SHA-256 | EC5E2B4185CDAC4CAF3ACCE6B4CF63AEEBDF63192E21BE65D999C00B94DB6289 |