About

This package is 4.8 MB. It is available at http://ftp.debian.org/debian/pool/main/w/why/why_2.34-2_amd64.deb .

View its full control file here: debian/control.

Description

Software verification tool

Relations

This package depends on: libatk1.0-0 (>= 1.12.4), libc6 (>= 2.14), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.11), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgtk2.0-0 (>= 2.24.0), libmpfr4 (>= 3.1.2), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libpangoft2-1.0-0 (>= 1.14.0), ocaml-base-nox-4.01.0, frama-c-base (= 20140301+neon+dfsg-3), make.

This package recommends: alt-ergo | cvc3 | coq.

This package suggests: libwhy-coq (= 2.34-2).

This package does not conflict with any other package.

Package Contents

This package is indexed.

why 2.34-2 is in debian - jessie / main. 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.6 MB
/usr/bin/jessie application/x-executable root:root 0o755 4.5 MB
/usr/bin/krakatoa application/x-executable root:root 0o755 2.3 MB
/usr/bin/rv_merge application/x-executable root:root 0o755 261.0 KB
/usr/bin/simplify2why application/x-executable root:root 0o755 435.3 KB
/usr/bin/tool-stat application/x-executable root:root 0o755 538.8 KB
/usr/bin/why application/x-executable root:root 0o755 2.8 MB
/usr/bin/why2html application/x-executable root:root 0o755 232.7 KB
/usr/bin/why-config application/x-executable root:root 0o755 508.1 KB
/usr/bin/why-cpulimit application/x-executable root:root 0o755 4.9 KB
/usr/bin/why-dp application/x-executable root:root 0o755 618.8 KB
/usr/bin/why-obfuscator application/x-executable root:root 0o755 772.4 KB
/usr/bin/why-stat application/x-executable root:root 0o755 620.9 KB
/usr/lib/ root:root 0o755
/usr/lib/frama-c/ root:root 0o755
/usr/lib/frama-c/plugins/ root:root 0o755
/usr/lib/frama-c/plugins/dependencies/ root:root 0o755
/usr/lib/frama-c/plugins/Jessie.cma application/octet-stream root:root 0o644 5.0 MB
/usr/lib/frama-c/plugins/Jessie.cmi application/octet-stream root:root 0o644 139 bytes
/usr/lib/frama-c/plugins/Jessie.cmxs application/x-sharedlib root:root 0o644 2.2 MB
/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 4.5 KB
/usr/share/doc/why/changelog.gz application/gzip root:root 0o644 11.0 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/coq/ root:root 0o755
/usr/share/why/coq/jessie_why.vo application/octet-stream root:root 0o644 95.5 KB
/usr/share/why/coq/WhyArrays.vo application/octet-stream root:root 0o644 20.5 KB
/usr/share/why/coq/WhyBool.vo application/octet-stream root:root 0o644 22.5 KB
/usr/share/why/coq/WhyCM.vo application/octet-stream root:root 0o644 35.6 KB
/usr/share/why/coq/WhyCoqCompat.vo application/octet-stream root:root 0o644 11.9 KB
/usr/share/why/coq/WhyExn.vo application/octet-stream root:root 0o644 20.1 KB
/usr/share/why/coq/WhyFloatsStrictLegacy.vo application/octet-stream root:root 0o644 242.3 KB
/usr/share/why/coq/WhyInt.vo application/octet-stream root:root 0o644 12.8 KB
/usr/share/why/coq/WhyLemmas.vo application/octet-stream root:root 0o644 20.7 KB
/usr/share/why/coq/WhyPermut.vo application/octet-stream root:root 0o644 96.3 KB
/usr/share/why/coq/WhyPrelude.vo application/octet-stream root:root 0o644 19.7 KB
/usr/share/why/coq/WhyReal.vo application/octet-stream root:root 0o644 17.0 KB
/usr/share/why/coq/WhySorted.vo application/octet-stream root:root 0o644 100.0 KB
/usr/share/why/coq/WhyTactics.vo application/octet-stream root:root 0o644 16.5 KB
/usr/share/why/coq/WhyTuples.vo application/octet-stream root:root 0o644 60.0 KB
/usr/share/why/coq/Why.vo application/octet-stream root:root 0o644 12.9 KB
/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 717 bytes
/usr/share/why/images/bug32.png image/png root:root 0o644 1.9 KB
/usr/share/why/images/bug-bw.png image/png root:root 0o644 1.9 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 669 bytes
/usr/share/why/images/delete32.png image/png root:root 0o644 2.2 KB
/usr/share/why/images/delete-bw.png image/png root:root 0o644 582 bytes
/usr/share/why/images/help32.png image/png root:root 0o644 2.2 KB
/usr/share/why/images/help-bw.png image/png root:root 0o644 613 bytes
/usr/share/why/images/logo-why-small.png image/png root:root 0o644 7.3 KB
/usr/share/why/images/pause32.png image/png root:root 0o644 2.1 KB
/usr/share/why/images/pause-bw.png image/png root:root 0o644 2.1 KB
/usr/share/why/images/play32.png image/png root:root 0o644 2.1 KB
/usr/share/why/images/play-bw.png image/png root:root 0o644 2.1 KB
/usr/share/why/images/stop32.png image/png root:root 0o644 2.0 KB
/usr/share/why/images/stop-bw.png image/png root:root 0o644 2.0 KB
/usr/share/why/images/why-logo-1.png image/png root:root 0o644 14.1 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