/usr/share/racket/pkgs/datalog/ is in racket-common 6.1-4.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size | 
|---|---|---|---|---|
| 
    
        
    
    
    ..
    
        
    
 | ||||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/LICENSE.txt
    
        
    
 | text/plain | root:root | 0o644 | 530 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/ast.rkt
    
        
    
 | text/plain | root:root | 0o644 | 4.0 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/compiled/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/compiled/ast_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 444 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/compiled/ast_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 60.7 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/compiled/eval_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 350 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/compiled/eval_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 8.4 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/compiled/info_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 164 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/compiled/info_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 1.1 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/compiled/main_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 283 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/compiled/main_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 826 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/compiled/parse_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 398 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/compiled/parse_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 12.3 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/compiled/pretty_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 511 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/compiled/pretty_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 17.7 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/compiled/runtime_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 685 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/compiled/runtime_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 19.7 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/compiled/serialize_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 501 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/compiled/serialize_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 4.9 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/compiled/stx_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 624 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/compiled/stx_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 40.8 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/eval.rkt
    
        
    
 | text/plain | root:root | 0o644 | 1.2 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/info.rkt
    
        
    
 | text/plain | root:root | 0o644 | 383 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/lang/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/lang/compiled/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/lang/compiled/configure-runtime_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 258 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/lang/compiled/configure-runtime_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 1.3 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/lang/compiled/lang-info_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 174 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/lang/compiled/lang-info_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 664 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/lang/compiled/reader_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 267 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/lang/compiled/reader_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 2.8 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/lang/configure-runtime.rkt
    
        
    
 | text/plain | root:root | 0o644 | 394 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/lang/lang-info.rkt
    
        
    
 | text/plain | root:root | 0o644 | 212 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/lang/reader.rkt
    
        
    
 | text/plain | root:root | 0o644 | 987 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/main.rkt
    
        
    
 | text/plain | root:root | 0o644 | 200 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/parse.rkt
    
        
    
 | text/plain | root:root | 0o644 | 3.5 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/pretty.rkt
    
        
    
 | text/plain | root:root | 0o644 | 3.0 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/compiler_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 510 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/compiler_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 10.2 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/env_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 277 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/env_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 4.6 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/lex_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 254 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/lex_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 18.3 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/pprint_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 207 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/pprint_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 1.2 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/subst_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 512 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/subst_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 12.6 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/unify_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 508 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/unify_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 8.5 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/variant_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 541 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/private/compiled/variant_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 13.5 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/compiler.rkt
    
        
    
 | text/plain | root:root | 0o644 | 2.1 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/env.rkt
    
        
    
 | text/plain | root:root | 0o644 | 471 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/lex.rkt
    
        
    
 | text/plain | root:root | 0o644 | 1.6 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/pprint.rkt
    
        
    
 | text/plain | root:root | 0o644 | 488 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/subst.rkt
    
        
    
 | text/plain | root:root | 0o644 | 2.0 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/unify.rkt
    
        
    
 | text/plain | root:root | 0o644 | 1.8 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/private/variant.rkt
    
        
    
 | text/plain | root:root | 0o644 | 3.1 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/runtime.rkt
    
        
    
 | text/plain | root:root | 0o644 | 5.2 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/scribblings/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/scribblings/compiled/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/scribblings/compiled/datalog_scrbl.dep
    
        
    
 | text/plain | root:root | 0o644 | 661 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/scribblings/compiled/datalog_scrbl.zo
    
 | application/octet-stream | root:root | 0o644 | 28.8 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/scribblings/compiled/racket_scrbl.dep
    
        
    
 | text/plain | root:root | 0o644 | 590 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/scribblings/compiled/racket_scrbl.zo
    
 | application/octet-stream | root:root | 0o644 | 30.8 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/scribblings/compiled/tutorial_scrbl.dep
    
        
    
 | text/plain | root:root | 0o644 | 527 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/scribblings/compiled/tutorial_scrbl.zo
    
 | application/octet-stream | root:root | 0o644 | 19.4 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/scribblings/compiled/utils_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 209 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/scribblings/compiled/utils_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 598 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/scribblings/datalog.scrbl
    
        
    
 | text/plain | root:root | 0o644 | 7.4 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/scribblings/racket.scrbl
    
        
    
 | text/plain | root:root | 0o644 | 4.2 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/scribblings/tutorial.scrbl
    
        
    
 | text/plain | root:root | 0o644 | 4.3 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/scribblings/utils.rkt
    
        
    
 | text/plain | root:root | 0o644 | 167 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/serialize.rkt
    
        
    
 | text/plain | root:root | 0o644 | 849 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/sexp/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/sexp/compiled/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/sexp/compiled/lang_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 406 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/sexp/compiled/lang_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 49.3 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/sexp/lang/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/sexp/lang.rkt
    
        
    
 | text/plain | root:root | 0o644 | 1.3 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/sexp/lang/compiled/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/sexp/lang/compiled/reader_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 183 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/sexp/lang/compiled/reader_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 1.6 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/sexp/lang/reader.rkt
    
        
    
 | text/plain | root:root | 0o644 | 69 bytes | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/stx.rkt
    
        
    
 | text/plain | root:root | 0o644 | 7.4 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/tool/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/tool/compiled/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/tool/compiled/submit_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 174 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/tool/compiled/submit_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 3.9 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/tool/compiled/syntax-color_rkt.dep
    
        
    
 | text/plain | root:root | 0o644 | 298 bytes | 
| 
    
    
    /usr/share/racket/pkgs/datalog/tool/compiled/syntax-color_rkt.zo
    
 | application/octet-stream | root:root | 0o644 | 17.9 KB | 
| 
    
    
    /usr/share/racket/pkgs/datalog/tool/datalog.png
    
 | image/png | root:root | 0o644 | 2.1 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/tool/submit.rkt
    
        
    
 | text/plain | root:root | 0o644 | 1.8 KB | 
| 
    
        
    
    
    /usr/share/racket/pkgs/datalog/tool/syntax-color.rkt
    
        
    
 | text/plain | root:root | 0o644 | 1.3 KB |