/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
                 |