Filförteckning för paketet why i sid för arkitekturen powerpcspe

/usr/bin/jessie
/usr/bin/krakatoa
/usr/share/doc/why/NEWS.Debian.gz
/usr/share/doc/why/README
/usr/share/doc/why/changelog.Debian.gz
/usr/share/doc/why/changelog.Debian.powerpcspe.gz
/usr/share/doc/why/changelog.gz
/usr/share/doc/why/copyright
/usr/share/man/man1/jessie.1.gz
/usr/share/man/man1/krakatoa.1.gz
/usr/share/why/coq/Jessie_memory_model.vo
/usr/share/why/java_api/java/io/BufferedWriter.java
/usr/share/why/java_api/java/io/File.java
/usr/share/why/java_api/java/io/FileDescriptor.java
/usr/share/why/java_api/java/io/FileNotFoundException.java
/usr/share/why/java_api/java/io/FileReader.java
/usr/share/why/java_api/java/io/FilterOutputStream.java
/usr/share/why/java_api/java/io/IOException.java
/usr/share/why/java_api/java/io/InputStream.java
/usr/share/why/java_api/java/io/InputStreamReader.java
/usr/share/why/java_api/java/io/ObjectStreamClass.java
/usr/share/why/java_api/java/io/OutputStream.java
/usr/share/why/java_api/java/io/OutputStreamWriter.java
/usr/share/why/java_api/java/io/PrintStream.java
/usr/share/why/java_api/java/io/Reader.java
/usr/share/why/java_api/java/io/Serializable.java
/usr/share/why/java_api/java/io/StreamTokenizer.java
/usr/share/why/java_api/java/lang/ArrayStoreException.java
/usr/share/why/java_api/java/lang/CharSequence.java
/usr/share/why/java_api/java/lang/Character.java
/usr/share/why/java_api/java/lang/Class.java
/usr/share/why/java_api/java/lang/Cloneable.java
/usr/share/why/java_api/java/lang/Comparable.java
/usr/share/why/java_api/java/lang/Double.java
/usr/share/why/java_api/java/lang/Exception.java
/usr/share/why/java_api/java/lang/IllegalArgumentException.java
/usr/share/why/java_api/java/lang/Integer.java
/usr/share/why/java_api/java/lang/Long.java
/usr/share/why/java_api/java/lang/Math.java
/usr/share/why/java_api/java/lang/Number.java
/usr/share/why/java_api/java/lang/NumberFormatException.java
/usr/share/why/java_api/java/lang/Object.java
/usr/share/why/java_api/java/lang/RuntimeException.java
/usr/share/why/java_api/java/lang/String.java
/usr/share/why/java_api/java/lang/StringBuffer.java
/usr/share/why/java_api/java/lang/System.java
/usr/share/why/java_api/java/lang/Throwable.java
/usr/share/why/java_api/java/util/AbstractMap.java
/usr/share/why/java_api/java/util/Collection.java
/usr/share/why/java_api/java/util/HashMap.java
/usr/share/why/java_api/java/util/HashMapIntegerInteger.java
/usr/share/why/java_api/java/util/HashMapIntegerLong.java
/usr/share/why/java_api/java/util/Iterator.java
/usr/share/why/java_api/java/util/Locale.java
/usr/share/why/java_api/java/util/Map.java
/usr/share/why/java_api/java/util/Set.java
/usr/share/why/javacard_api/com/sun/javacard/impl/Constants.java
/usr/share/why/javacard_api/com/sun/javacard/impl/NativeMethods.java
/usr/share/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java
/usr/share/why/javacard_api/com/sun/javacard/impl/PrivAccess.java
/usr/share/why/javacard_api/java/lang/ArrayIndexOutOfBoundsException.java
/usr/share/why/javacard_api/java/lang/Exception.java
/usr/share/why/javacard_api/java/lang/IndexOutOfBoundsException.java
/usr/share/why/javacard_api/java/lang/Object.java
/usr/share/why/javacard_api/java/lang/RuntimeException.java
/usr/share/why/javacard_api/java/lang/Throwable.java
/usr/share/why/javacard_api/javacard/framework/AID.java
/usr/share/why/javacard_api/javacard/framework/APDU.java
/usr/share/why/javacard_api/javacard/framework/APDUException.java
/usr/share/why/javacard_api/javacard/framework/Applet.java
/usr/share/why/javacard_api/javacard/framework/CardException.java
/usr/share/why/javacard_api/javacard/framework/CardRuntimeException.java
/usr/share/why/javacard_api/javacard/framework/Dispatcher.java
/usr/share/why/javacard_api/javacard/framework/ISO7816.java
/usr/share/why/javacard_api/javacard/framework/ISOException.java
/usr/share/why/javacard_api/javacard/framework/JCSystem.java
/usr/share/why/javacard_api/javacard/framework/OwnerPIN.java
/usr/share/why/javacard_api/javacard/framework/PIN.java
/usr/share/why/javacard_api/javacard/framework/PINException.java
/usr/share/why/javacard_api/javacard/framework/Shareable.java
/usr/share/why/javacard_api/javacard/framework/SystemException.java
/usr/share/why/javacard_api/javacard/framework/TransactionException.java
/usr/share/why/javacard_api/javacard/framework/UserException.java
/usr/share/why/javacard_api/javacard/framework/Util.java
/usr/share/why/javacard_api/javacard/security/CryptoException.java
/usr/share/why/javacard_api/javacard/security/DESKey.java
/usr/share/why/javacard_api/javacard/security/DSAKey.java
/usr/share/why/javacard_api/javacard/security/DSAPrivateKey.java
/usr/share/why/javacard_api/javacard/security/DSAPublicKey.java
/usr/share/why/javacard_api/javacard/security/Key.java
/usr/share/why/javacard_api/javacard/security/KeyBuilder.java
/usr/share/why/javacard_api/javacard/security/KeyPair.java
/usr/share/why/javacard_api/javacard/security/MessageDigest.java
/usr/share/why/javacard_api/javacard/security/PrivateKey.java
/usr/share/why/javacard_api/javacard/security/PublicKey.java
/usr/share/why/javacard_api/javacard/security/RSAPrivateCrtKey.java
/usr/share/why/javacard_api/javacard/security/RSAPrivateKey.java
/usr/share/why/javacard_api/javacard/security/RSAPublicKey.java
/usr/share/why/javacard_api/javacard/security/RandomData.java
/usr/share/why/javacard_api/javacard/security/SecretKey.java
/usr/share/why/javacard_api/javacard/security/Signature.java
/usr/share/why/javacard_api/javacardx/crypto/Cipher.java
/usr/share/why/why3/coq.drv
/usr/share/why/why3/jessie_why3.mlw
/usr/share/why/why3/jessie_why3theories.why
/usr/share/why/why3/why3.conf