This package is 3.4 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/w/why/why_2.34-4ubuntu4_amd64.deb
.
View its full control file here:
debian/control.
Software verification tool
This package depends on:
libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgtk2.0-0 (>= 2.24.0), libmpfr4 (>= 3.1.3), libpango-1.0-0 (>= 1.14.0), frama-c-base (= 20151002+magnesium+dfsg-1build1), make.
This package suggests:
libwhy-coq (= 2.34-4ubuntu4).
This package does not conflict with any other package.
why 2.34-4ubuntu4 is in ubuntu - xenial / universe. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/gwhy
|
text/x-shellscript | root:root | 0o755 | 591 bytes |
/usr/bin/gwhy-bin
|
application/x-executable | root:root | 0o755 | 4.8 MB |
/usr/bin/jessie
|
application/x-executable | root:root | 0o755 | 4.8 MB |
/usr/bin/krakatoa
|
application/x-executable | root:root | 0o755 | 2.4 MB |
/usr/bin/rv_merge
|
application/x-executable | root:root | 0o755 | 403.5 KB |
/usr/bin/simplify2why
|
application/x-executable | root:root | 0o755 | 574.9 KB |
/usr/bin/tool-stat
|
application/x-executable | root:root | 0o755 | 661.4 KB |
/usr/bin/why
|
application/x-executable | root:root | 0o755 | 3.1 MB |
/usr/bin/why2html
|
application/x-executable | root:root | 0o755 | 374.5 KB |
/usr/bin/why-config
|
application/x-executable | root:root | 0o755 | 647.2 KB |
/usr/bin/why-cpulimit
|
application/x-executable | root:root | 0o755 | 6.1 KB |
/usr/bin/why-dp
|
application/x-executable | root:root | 0o755 | 765.0 KB |
/usr/bin/why-obfuscator
|
application/x-executable | root:root | 0o755 | 903.8 KB |
/usr/bin/why-stat
|
application/x-executable | root:root | 0o755 | 737.5 KB |
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/frama-c/
|
root:root | 0o755 | ||
/usr/lib/frama-c/plugins/
|
root:root | 0o755 | ||
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/why/
|
root:root | 0o755 | ||
/usr/share/doc/why/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/why/copyright
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/doc/why/README
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/share/doc/why/README.source
|
text/plain | root:root | 0o644 | 849 bytes |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/caduceus.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/gwhy.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/gwhy-bin.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/jessie.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/krakatoa.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/rv_merge.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/simplify2why.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/tool-stat.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/why.1.gz
|
application/gzip | root:root | 0o644 | 405 bytes |
/usr/share/man/man1/why2html.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/why-config.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/why-cpulimit.1.gz
|
application/gzip | root:root | 0o644 | 364 bytes |
/usr/share/man/man1/why-dp.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/why-obfuscator.1.gz
|
root:root | 0o777 | ||
/usr/share/man/man1/why-stat.1.gz
|
root:root | 0o777 | ||
/usr/share/why/
|
root:root | 0o755 | ||
/usr/share/why/emacs/
|
root:root | 0o755 | ||
/usr/share/why/emacs/why.el
|
text/x-lisp | root:root | 0o644 | 4.8 KB |
/usr/share/why/images/
|
root:root | 0o755 | ||
/usr/share/why/images/accept32.png
|
image/png | root:root | 0o644 | 2.2 KB |
/usr/share/why/images/accept-bw.png
|
image/png | root:root | 0o644 | 576 bytes |
/usr/share/why/images/bug32.png
|
image/png | root:root | 0o644 | 1.7 KB |
/usr/share/why/images/bug-bw.png
|
image/png | root:root | 0o644 | 1.7 KB |
/usr/share/why/images/clock32.png
|
image/png | root:root | 0o644 | 2.4 KB |
/usr/share/why/images/clock-bw.png
|
image/png | root:root | 0o644 | 448 bytes |
/usr/share/why/images/delete32.png
|
image/png | root:root | 0o644 | 2.1 KB |
/usr/share/why/images/delete-bw.png
|
image/png | root:root | 0o644 | 408 bytes |
/usr/share/why/images/help32.png
|
image/png | root:root | 0o644 | 2.1 KB |
/usr/share/why/images/help-bw.png
|
image/png | root:root | 0o644 | 427 bytes |
/usr/share/why/images/logo-why-small.png
|
image/png | root:root | 0o644 | 6.0 KB |
/usr/share/why/images/pause32.png
|
image/png | root:root | 0o644 | 2.0 KB |
/usr/share/why/images/pause-bw.png
|
image/png | root:root | 0o644 | 2.0 KB |
/usr/share/why/images/play32.png
|
image/png | root:root | 0o644 | 2.0 KB |
/usr/share/why/images/play-bw.png
|
image/png | root:root | 0o644 | 2.0 KB |
/usr/share/why/images/stop32.png
|
image/png | root:root | 0o644 | 1.9 KB |
/usr/share/why/images/stop-bw.png
|
image/png | root:root | 0o644 | 1.9 KB |
/usr/share/why/images/why-logo-1.png
|
image/png | root:root | 0o644 | 12.7 KB |
/usr/share/why/java_api/
|
root:root | 0o755 | ||
/usr/share/why/java_api/java/
|
root:root | 0o755 | ||
/usr/share/why/java_api/java/io/
|
root:root | 0o755 | ||
/usr/share/why/java_api/java/io/BufferedWriter.java
|
text/plain | root:root | 0o644 | 6.9 KB |
/usr/share/why/java_api/java/io/FileDescriptor.java
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/why/java_api/java/io/File.java
|
text/x-java | root:root | 0o644 | 62.2 KB |
/usr/share/why/java_api/java/io/FileNotFoundException.java
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/why/java_api/java/io/FileReader.java
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/why/java_api/java/io/FilterOutputStream.java
|
text/x-c++ | root:root | 0o644 | 5.0 KB |
/usr/share/why/java_api/java/io/InputStream.java
|
text/plain | root:root | 0o644 | 14.5 KB |
/usr/share/why/java_api/java/io/InputStreamReader.java
|
text/x-java | root:root | 0o644 | 5.6 KB |
/usr/share/why/java_api/java/io/IOException.java
|
text/x-c++ | root:root | 0o644 | 1.1 KB |
/usr/share/why/java_api/java/io/ObjectStreamClass.java
|
text/html | root:root | 0o644 | 63.2 KB |
/usr/share/why/java_api/java/io/OutputStream.java
|
text/plain | root:root | 0o644 | 5.0 KB |
/usr/share/why/java_api/java/io/OutputStreamWriter.java
|
text/plain | root:root | 0o644 | 6.6 KB |
/usr/share/why/java_api/java/io/PrintStream.java
|
text/html | root:root | 0o644 | 17.7 KB |
/usr/share/why/java_api/java/io/Reader.java
|
text/plain | root:root | 0o644 | 7.1 KB |
/usr/share/why/java_api/java/io/Serializable.java
|
text/plain | root:root | 0o644 | 4.6 KB |
/usr/share/why/java_api/java/io/StreamTokenizer.java
|
text/plain | root:root | 0o644 | 25.1 KB |
/usr/share/why/java_api/java/lang/
|
root:root | 0o755 | ||
/usr/share/why/java_api/java/lang/ArrayStoreException.java
|
text/x-c++ | root:root | 0o644 | 1.0 KB |
/usr/share/why/java_api/java/lang/Character.java
|
text/x-c++ | root:root | 0o644 | 73.0 KB |
/usr/share/why/java_api/java/lang/CharSequence.java
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/share/why/java_api/java/lang/Class.java
|
text/x-c++ | root:root | 0o644 | 87.6 KB |
/usr/share/why/java_api/java/lang/Cloneable.java
|
text/plain | root:root | 0o644 | 1.3 KB |
/usr/share/why/java_api/java/lang/Comparable.java
|
text/html | root:root | 0o644 | 5.6 KB |
/usr/share/why/java_api/java/lang/Double.java
|
text/plain | root:root | 0o644 | 28.2 KB |
/usr/share/why/java_api/java/lang/Exception.java
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/why/java_api/java/lang/IllegalArgumentException.java
|
text/x-c++ | root:root | 0o644 | 893 bytes |
/usr/share/why/java_api/java/lang/Integer.java
|
text/plain | root:root | 0o644 | 34.9 KB |
/usr/share/why/java_api/java/lang/Long.java
|
text/plain | root:root | 0o644 | 33.4 KB |
/usr/share/why/java_api/java/lang/Math.java
|
text/plain | root:root | 0o644 | 36.4 KB |
/usr/share/why/java_api/java/lang/NumberFormatException.java
|
text/x-c++ | root:root | 0o644 | 1.3 KB |
/usr/share/why/java_api/java/lang/Number.java
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/share/why/java_api/java/lang/Object.java
|
text/plain | root:root | 0o644 | 23.1 KB |
/usr/share/why/java_api/java/lang/RuntimeException.java
|
text/plain | root:root | 0o644 | 2.9 KB |
/usr/share/why/java_api/java/lang/StringBuffer.java
|
text/plain | root:root | 0o644 | 49.4 KB |
/usr/share/why/java_api/java/lang/String.java
|
text/plain | root:root | 0o644 | 88.5 KB |
/usr/share/why/java_api/java/lang/System.java
|
text/x-java | root:root | 0o644 | 37.2 KB |
/usr/share/why/java_api/java/lang/Throwable.java
|
text/x-java | root:root | 0o644 | 26.4 KB |
/usr/share/why/java_api/java/util/
|
root:root | 0o755 | ||
/usr/share/why/java_api/java/util/AbstractMap.java
|
text/html | root:root | 0o644 | 23.2 KB |
/usr/share/why/java_api/java/util/Collection.java
|
text/html | root:root | 0o644 | 18.4 KB |
/usr/share/why/java_api/java/util/HashMapIntegerInteger.java
|
text/x-c++ | root:root | 0o644 | 761 bytes |
/usr/share/why/java_api/java/util/HashMapIntegerLong.java
|
text/x-c++ | root:root | 0o644 | 785 bytes |
/usr/share/why/java_api/java/util/HashMap.java
|
text/x-java | root:root | 0o644 | 33.7 KB |
/usr/share/why/java_api/java/util/Iterator.java
|
text/html | root:root | 0o644 | 2.1 KB |
/usr/share/why/java_api/java/util/Locale.java
|
text/x-c++ | root:root | 0o644 | 39 bytes |
/usr/share/why/java_api/java/util/Map.java
|
text/html | root:root | 0o644 | 18.6 KB |
/usr/share/why/java_api/java/util/Set.java
|
text/html | root:root | 0o644 | 14.3 KB |
/usr/share/why/javacard_api/
|
root:root | 0o755 | ||
/usr/share/why/javacard_api/com/
|
root:root | 0o755 | ||
/usr/share/why/javacard_api/com/sun/
|
root:root | 0o755 | ||
/usr/share/why/javacard_api/com/sun/javacard/
|
root:root | 0o755 | ||
/usr/share/why/javacard_api/com/sun/javacard/impl/
|
root:root | 0o755 | ||
/usr/share/why/javacard_api/com/sun/javacard/impl/Constants.java
|
text/plain | root:root | 0o644 | 114 bytes |
/usr/share/why/javacard_api/com/sun/javacard/impl/NativeMethods.java
|
text/plain | root:root | 0o644 | 65 bytes |
/usr/share/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java
|
text/plain | root:root | 0o644 | 64 bytes |
/usr/share/why/javacard_api/com/sun/javacard/impl/PrivAccess.java
|
text/plain | root:root | 0o644 | 62 bytes |
/usr/share/why/javacard_api/java/
|
root:root | 0o755 | ||
/usr/share/why/javacard_api/javacard/
|
root:root | 0o755 | ||
/usr/share/why/javacard_api/javacard/framework/
|
root:root | 0o755 | ||
/usr/share/why/javacard_api/javacard/framework/AID.java
|
text/plain | root:root | 0o644 | 7.2 KB |
/usr/share/why/javacard_api/javacard/framework/APDUException.java
|
text/plain | root:root | 0o644 | 4.9 KB |
/usr/share/why/javacard_api/javacard/framework/APDU.java
|
text/x-java | root:root | 0o644 | 37.2 KB |
/usr/share/why/javacard_api/javacard/framework/Applet.java
|
text/x-java | root:root | 0o644 | 14.2 KB |
/usr/share/why/javacard_api/javacard/framework/CardException.java
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/share/why/javacard_api/javacard/framework/CardRuntimeException.java
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/why/javacard_api/javacard/framework/Dispatcher.java
|
text/x-c++ | root:root | 0o644 | 8.8 KB |
/usr/share/why/javacard_api/javacard/framework/ISO7816.java
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/why/javacard_api/javacard/framework/ISOException.java
|
text/plain | root:root | 0o644 | 4.1 KB |
/usr/share/why/javacard_api/javacard/framework/JCSystem.java
|
text/x-java | root:root | 0o644 | 16.9 KB |
/usr/share/why/javacard_api/javacard/framework/OwnerPIN.java
|
text/plain | root:root | 0o644 | 11.3 KB |
/usr/share/why/javacard_api/javacard/framework/PINException.java
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/share/why/javacard_api/javacard/framework/PIN.java
|
text/plain | root:root | 0o644 | 5.2 KB |
/usr/share/why/javacard_api/javacard/framework/Shareable.java
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/why/javacard_api/javacard/framework/SystemException.java
|
text/plain | root:root | 0o644 | 4.2 KB |
/usr/share/why/javacard_api/javacard/framework/TransactionException.java
|
text/plain | root:root | 0o644 | 4.1 KB |
/usr/share/why/javacard_api/javacard/framework/UserException.java
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/share/why/javacard_api/javacard/framework/Util.java
|
text/plain | root:root | 0o644 | 16.8 KB |
/usr/share/why/javacard_api/javacard/security/
|
root:root | 0o755 | ||
/usr/share/why/javacard_api/javacard/security/CryptoException.java
|
text/x-java | root:root | 0o644 | 3.7 KB |
/usr/share/why/javacard_api/javacard/security/DESKey.java
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/share/why/javacard_api/javacard/security/DSAKey.java
|
text/plain | root:root | 0o644 | 6.8 KB |
/usr/share/why/javacard_api/javacard/security/DSAPrivateKey.java
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/why/javacard_api/javacard/security/DSAPublicKey.java
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/why/javacard_api/javacard/security/KeyBuilder.java
|
text/plain | root:root | 0o644 | 5.7 KB |
/usr/share/why/javacard_api/javacard/security/Key.java
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/why/javacard_api/javacard/security/KeyPair.java
|
text/plain | root:root | 0o644 | 6.3 KB |
/usr/share/why/javacard_api/javacard/security/MessageDigest.java
|
text/plain | root:root | 0o644 | 4.9 KB |
/usr/share/why/javacard_api/javacard/security/PrivateKey.java
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/why/javacard_api/javacard/security/PublicKey.java
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/why/javacard_api/javacard/security/RandomData.java
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/why/javacard_api/javacard/security/RSAPrivateCrtKey.java
|
text/plain | root:root | 0o644 | 10.5 KB |
/usr/share/why/javacard_api/javacard/security/RSAPrivateKey.java
|
text/plain | root:root | 0o644 | 4.9 KB |
/usr/share/why/javacard_api/javacard/security/RSAPublicKey.java
|
text/plain | root:root | 0o644 | 4.6 KB |
/usr/share/why/javacard_api/javacard/security/SecretKey.java
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/why/javacard_api/javacard/security/Signature.java
|
text/plain | root:root | 0o644 | 18.4 KB |
/usr/share/why/javacard_api/javacardx/
|
root:root | 0o755 | ||
/usr/share/why/javacard_api/javacardx/crypto/
|
root:root | 0o755 | ||
/usr/share/why/javacard_api/javacardx/crypto/Cipher.java
|
text/x-java | root:root | 0o644 | 2.9 KB |
/usr/share/why/javacard_api/java/lang/
|
root:root | 0o755 | ||
/usr/share/why/javacard_api/java/lang/ArrayIndexOutOfBoundsException.java
|
text/plain | root:root | 0o644 | 500 bytes |
/usr/share/why/javacard_api/java/lang/Exception.java
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/why/javacard_api/java/lang/IndexOutOfBoundsException.java
|
text/plain | root:root | 0o644 | 482 bytes |
/usr/share/why/javacard_api/java/lang/Object.java
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/why/javacard_api/java/lang/RuntimeException.java
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/why/javacard_api/java/lang/Throwable.java
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/why/why/
|
root:root | 0o755 | ||
/usr/share/why/why3/
|
root:root | 0o755 | ||
/usr/share/why/why3/coq.drv
|
text/plain | root:root | 0o644 | 133 bytes |
/usr/share/why/why3/jessie3_integer.why
|
text/plain | root:root | 0o644 | 2.6 KB |
/usr/share/why/why3/jessie3.mlw
|
text/x-ruby | root:root | 0o644 | 19.1 KB |
/usr/share/why/why3/jessie3theories.why
|
text/plain | root:root | 0o644 | 19.2 KB |
/usr/share/why/why3/why3.conf
|
text/x-lisp | root:root | 0o644 | 344 bytes |
/usr/share/why/why/arrays.why
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/why/why/bool.why
|
text/plain | root:root | 0o644 | 661 bytes |
/usr/share/why/why/divisions.why
|
text/plain | root:root | 0o644 | 1.3 KB |
/usr/share/why/why/floats_common.why
|
text/plain | root:root | 0o644 | 4.4 KB |
/usr/share/why/why/floats_full.why
|
text/plain | root:root | 0o644 | 41.4 KB |
/usr/share/why/why/floats_multi_rounding.why
|
text/plain | root:root | 0o644 | 12.2 KB |
/usr/share/why/why/floats_strict.why
|
text/plain | root:root | 0o644 | 11.2 KB |
/usr/share/why/why/integer.why
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/why/why/jessie_bitvectors.why
|
text/plain | root:root | 0o644 | 6.4 KB |
/usr/share/why/why/jessie.why
|
text/plain | root:root | 0o644 | 27.7 KB |
/usr/share/why/why/mix.why
|
text/plain | root:root | 0o644 | 202 bytes |
/usr/share/why/why/mybag.why
|
application/x-empty | root:root | 0o644 | 0 bytes |
/usr/share/why/why/prelude.why
|
text/plain | root:root | 0o644 | 2.6 KB |
/usr/share/why/why/real.why
|
text/plain | root:root | 0o644 | 5.7 KB |