pkg://why_2.04.dfsg-3_i386.deb:3778036/control  downloads

Package: why
Version: 2.04.dfsg-3
Architecture: i386
Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
Original-Maintainer: Samuel Mimram <smimram@debian.org>
Installed-Size: 10280
Depends: libatk1.0-0 (>= 1.20.0), libc6 (>= 2.7-1), libcairo2 (>= 1.5.4), libfontconfig1 (>= 2.4.0), libglib2.0-0 (>= 2.15.1), libgtk2.0-0 (>= 2.12.0), libpango1.0-0 (>= 1.19.2), libx11-6, libxcomposite1 (>= 1:0.3-1), libxcursor1 (>> 1.1.2), libxdamage1 (>= 1:1.1), libxext6, libxfixes3 (>= 1:4.0.1), libxi6, libxinerama1, libxrandr2 (>= 2:1.2.0), libxrender1
Suggests: coq
Section: math
Priority: optional
Description: A 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, Ergo, Yices, CVC Lite and haRVey.