/usr/share/ada/adainclude/opentoken/ada_lexer.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    14.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/ada_lexer.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/html_lexer-basic.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/html_lexer-tags.ads
    
        
    
                 | 
                
                    text/html
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/html_lexer-task_safe.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/html_lexer-task_safe.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/html_lexer-task_unsafe.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/html_lexer-task_unsafe.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/html_lexer.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/html_lexer.ads
    
        
    
                 | 
                
                    text/html
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/java_lexer.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    18.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/m3_lexer.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    19.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production-list-print.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production-list-print.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production-list.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production-list.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    5.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production-parser-lalr.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    45.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production-parser-lalr.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production-parser-lrk_item.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    38.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production-parser-lrk_item.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    12.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production-parser.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production-parser.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    5.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production-print.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production-print.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-production.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    5.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-based_integer.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-based_integer.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-based_integer_ada_style.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    7.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-based_integer_ada_style.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-based_integer_java_style.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-based_integer_java_style.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-based_real_ada_style.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    8.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-based_real_ada_style.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-bracketed_comment.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-bracketed_comment.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-character_set.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-character_set.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-csv_field.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-csv_field.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-end_of_file.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-end_of_file.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-escape_sequence.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-escape_sequence.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-extended_digits.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-extended_digits.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-graphic_character.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-graphic_character.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-html_entity.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-html_entity.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-identifier.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-identifier.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-integer.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    7.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-integer.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-keyword.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-keyword.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-line_comment.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-line_comment.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-nothing.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-nothing.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-octal_escape.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-octal_escape.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-real.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    10.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-real.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-separator.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-separator.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-string.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    14.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer-string.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    5.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-recognizer.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-text_feeder-string.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-text_feeder-string.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-text_feeder-text_io.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-text_feeder-text_io.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-text_feeder.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-analyzer.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    29.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-analyzer.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    14.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-identifier.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-identifier.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-integer.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-integer.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-list-print.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-list-print.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-list.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    7.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-list.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    5.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-nonterminal.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-nonterminal.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    10.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-real.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-real.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-string.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-string.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-enumerated.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    7.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-linked_list.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    8.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-linked_list.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-list.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-list_mixin.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    7.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-list_mixin.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    5.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-selection.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-selection_mixin.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-selection_mixin.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    7.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-sequence.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-sequence_mixin.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    5.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token-sequence_mixin.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken-token.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken.adb
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/ada/adainclude/opentoken/opentoken.ads
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.3 KB
                 |