/usr/share/doc/
|
|
root:root
|
0o755
|
|
/usr/share/doc/why/
|
|
root:root
|
0o755
|
|
/usr/share/doc/why/NEWS.Debian.gz
|
application/gzip
|
root:root
|
0o644
|
222 bytes
|
/usr/share/doc/why/README
|
text/plain
|
root:root
|
0o644
|
3.1 KB
|
/usr/share/doc/why/changelog.Debian.gz
|
application/gzip
|
root:root
|
0o644
|
2.1 KB
|
/usr/share/doc/why/copyright
|
text/plain
|
root:root
|
0o644
|
3.9 KB
|
/usr/share/man/
|
|
root:root
|
0o755
|
|
/usr/share/man/man1/
|
|
root:root
|
0o755
|
|
/usr/share/man/man1/jessie.1.gz
|
application/gzip
|
root:root
|
0o644
|
907 bytes
|
/usr/share/man/man1/krakatoa.1.gz
|
application/gzip
|
root:root
|
0o644
|
553 bytes
|
/usr/share/why/
|
|
root:root
|
0o755
|
|
/usr/share/why/coq/
|
|
root:root
|
0o755
|
|
/usr/share/why/coq/Jessie_memory_model.vo
|
application/octet-stream
|
root:root
|
0o644
|
88.0 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/File.java
|
text/x-java
|
root:root
|
0o644
|
62.2 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/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/IOException.java
|
text/x-c++
|
root:root
|
0o644
|
1.1 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/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/CharSequence.java
|
text/plain
|
root:root
|
0o644
|
3.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/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/Number.java
|
text/plain
|
root:root
|
0o644
|
3.0 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/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/String.java
|
text/plain
|
root:root
|
0o644
|
88.5 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/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/HashMap.java
|
text/x-java
|
root:root
|
0o644
|
33.7 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/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/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/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/APDU.java
|
text/x-java
|
root:root
|
0o644
|
37.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/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/PIN.java
|
text/plain
|
root:root
|
0o644
|
5.2 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/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/Key.java
|
text/plain
|
root:root
|
0o644
|
2.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/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/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/RandomData.java
|
text/plain
|
root:root
|
0o644
|
3.2 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/why3/
|
|
root:root
|
0o755
|
|
/usr/share/why/why3/coq.drv
|
text/plain
|
root:root
|
0o644
|
141 bytes
|
/usr/share/why/why3/jessie_why3.mlw
|
text/x-ruby
|
root:root
|
0o644
|
19.1 KB
|
/usr/share/why/why3/jessie_why3theories.why
|
text/plain
|
root:root
|
0o644
|
19.2 KB
|
/usr/share/why/why3/why3.conf
|
text/x-lisp
|
root:root
|
0o644
|
344 bytes
|