/usr/share/racket/pkgs/redex-lib/ is in racket-common 6.3-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/racket/pkgs/redex-lib/LICENSE.txt
|
text/plain | root:root | 0o644 | 538 bytes |
/usr/share/racket/pkgs/redex-lib/info.rkt
|
text/plain | root:root | 0o644 | 503 bytes |
/usr/share/racket/pkgs/redex-lib/redex/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-lib/redex/HISTORY.txt
|
text/plain | root:root | 0o644 | 23.9 KB |
/usr/share/racket/pkgs/redex-lib/redex/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-lib/redex/compiled/info_rkt.dep
|
text/plain | root:root | 0o644 | 164 bytes |
/usr/share/racket/pkgs/redex-lib/redex/compiled/info_rkt.zo
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/racket/pkgs/redex-lib/redex/compiled/reduction-semantics_rkt.dep
|
text/plain | root:root | 0o644 | 597 bytes |
/usr/share/racket/pkgs/redex-lib/redex/compiled/reduction-semantics_rkt.zo
|
application/octet-stream | root:root | 0o644 | 17.7 KB |
/usr/share/racket/pkgs/redex-lib/redex/compiled/tut-subst_rkt.dep
|
text/plain | root:root | 0o644 | 395 bytes |
/usr/share/racket/pkgs/redex-lib/redex/compiled/tut-subst_rkt.zo
|
application/octet-stream | root:root | 0o644 | 12.4 KB |
/usr/share/racket/pkgs/redex-lib/redex/info.rkt
|
text/plain | root:root | 0o644 | 131 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-lib/redex/private/ambiguous.rkt
|
text/plain | root:root | 0o644 | 27.3 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/build-nt-property.rkt
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/ambiguous_rkt.dep
|
text/plain | root:root | 0o644 | 614 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/ambiguous_rkt.zo
|
application/octet-stream | root:root | 0o644 | 68.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/build-nt-property_rkt.dep
|
text/plain | root:root | 0o644 | 261 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/build-nt-property_rkt.zo
|
application/octet-stream | root:root | 0o644 | 11.0 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/cycle-check_rkt.dep
|
text/plain | root:root | 0o644 | 316 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/cycle-check_rkt.zo
|
application/octet-stream | root:root | 0o644 | 6.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/defined-checks_rkt.dep
|
text/plain | root:root | 0o644 | 218 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/defined-checks_rkt.zo
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/enum_rkt.dep
|
text/plain | root:root | 0o644 | 1008 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/enum_rkt.zo
|
application/octet-stream | root:root | 0o644 | 34.2 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/env_rkt.dep
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/env_rkt.zo
|
application/octet-stream | root:root | 0o644 | 55.4 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/error_rkt.dep
|
text/plain | root:root | 0o644 | 174 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/error_rkt.zo
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/extract-conditions_rkt.dep
|
text/plain | root:root | 0o644 | 294 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/extract-conditions_rkt.zo
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/fresh_rkt.dep
|
text/plain | root:root | 0o644 | 243 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/fresh_rkt.zo
|
application/octet-stream | root:root | 0o644 | 7.0 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/generate-term_rkt.dep
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/generate-term_rkt.zo
|
application/octet-stream | root:root | 0o644 | 72.4 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/jdg-gen_rkt.dep
|
text/plain | root:root | 0o644 | 594 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/jdg-gen_rkt.zo
|
application/octet-stream | root:root | 0o644 | 16.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/judgment-form_rkt.dep
|
text/plain | root:root | 0o644 | 959 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/judgment-form_rkt.zo
|
application/octet-stream | root:root | 0o644 | 148.3 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/keyword-macros_rkt.dep
|
text/plain | root:root | 0o644 | 397 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/keyword-macros_rkt.zo
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/lang-struct_rkt.dep
|
text/plain | root:root | 0o644 | 210 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/lang-struct_rkt.zo
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/loc-wrapper-ct_rkt.dep
|
text/plain | root:root | 0o644 | 273 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/loc-wrapper-ct_rkt.zo
|
application/octet-stream | root:root | 0o644 | 9.8 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/loc-wrapper-rt_rkt.dep
|
text/plain | root:root | 0o644 | 359 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/loc-wrapper-rt_rkt.zo
|
application/octet-stream | root:root | 0o644 | 9.1 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/loc-wrapper_rkt.dep
|
text/plain | root:root | 0o644 | 317 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/loc-wrapper_rkt.zo
|
application/octet-stream | root:root | 0o644 | 18.0 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/match-a-pattern_rkt.dep
|
text/plain | root:root | 0o644 | 208 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/match-a-pattern_rkt.zo
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/matcher_rkt.dep
|
text/plain | root:root | 0o644 | 899 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/matcher_rkt.zo
|
application/octet-stream | root:root | 0o644 | 118.2 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/pat-unify_rkt.dep
|
text/plain | root:root | 0o644 | 971 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/pat-unify_rkt.zo
|
application/octet-stream | root:root | 0o644 | 149.1 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/preprocess-lang_rkt.dep
|
text/plain | root:root | 0o644 | 680 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/preprocess-lang_rkt.zo
|
application/octet-stream | root:root | 0o644 | 38.0 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/preprocess-pat_rkt.dep
|
text/plain | root:root | 0o644 | 576 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/preprocess-pat_rkt.zo
|
application/octet-stream | root:root | 0o644 | 11.4 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/red-sem-macro-helpers_rkt.dep
|
text/plain | root:root | 0o644 | 316 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/red-sem-macro-helpers_rkt.zo
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/reduction-semantics_rkt.dep
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/reduction-semantics_rkt.zo
|
application/octet-stream | root:root | 0o644 | 227.9 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/rewrite-side-conditions_rkt.dep
|
text/plain | root:root | 0o644 | 606 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/rewrite-side-conditions_rkt.zo
|
application/octet-stream | root:root | 0o644 | 29.1 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/rg_rkt.dep
|
text/plain | root:root | 0o644 | 879 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/rg_rkt.zo
|
application/octet-stream | root:root | 0o644 | 70.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/search_rkt.dep
|
text/plain | root:root | 0o644 | 779 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/search_rkt.zo
|
application/octet-stream | root:root | 0o644 | 26.9 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/struct_rkt.dep
|
text/plain | root:root | 0o644 | 253 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/struct_rkt.zo
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/term-fn_rkt.dep
|
text/plain | root:root | 0o644 | 227 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/term-fn_rkt.zo
|
application/octet-stream | root:root | 0o644 | 8.9 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/term_rkt.dep
|
text/plain | root:root | 0o644 | 697 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/term_rkt.zo
|
application/octet-stream | root:root | 0o644 | 32.3 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/trace-layout_rkt.dep
|
text/plain | root:root | 0o644 | 384 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/trace-layout_rkt.zo
|
application/octet-stream | root:root | 0o644 | 18.6 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/underscore-allowed_rkt.dep
|
text/plain | root:root | 0o644 | 174 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiled/underscore-allowed_rkt.zo
|
application/octet-stream | root:root | 0o644 | 634 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiler/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-lib/redex/private/compiler/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-lib/redex/private/compiler/compiled/match_rkt.dep
|
text/plain | root:root | 0o644 | 253 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiler/compiled/match_rkt.zo
|
application/octet-stream | root:root | 0o644 | 398.1 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiler/compiled/redextomatrix_rkt.dep
|
text/plain | root:root | 0o644 | 651 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/compiler/compiled/redextomatrix_rkt.zo
|
application/octet-stream | root:root | 0o644 | 35.4 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiler/match.rkt
|
text/plain | root:root | 0o644 | 76.9 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/compiler/redextomatrix.rkt
|
text/plain | root:root | 0o644 | 22.8 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/cycle-check.rkt
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/defined-checks.rkt
|
text/plain | root:root | 0o644 | 441 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/enum.rkt
|
text/plain | root:root | 0o644 | 9.9 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/env.rkt
|
text/plain | root:root | 0o644 | 5.2 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/error.rkt
|
text/plain | root:root | 0o644 | 637 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/extract-conditions.rkt
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/fresh.rkt
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/generate-term.rkt
|
text/plain | root:root | 0o644 | 40.1 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/jdg-gen.rkt
|
text/plain | root:root | 0o644 | 6.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/judgment-form.rkt
|
text/plain | root:root | 0o644 | 80.8 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/keyword-macros.rkt
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/lang-struct.rkt
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/loc-wrapper-ct.rkt
|
text/plain | root:root | 0o644 | 3.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/loc-wrapper-rt.rkt
|
text/plain | root:root | 0o644 | 5.0 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/loc-wrapper.rkt
|
text/plain | root:root | 0o644 | 734 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/match-a-pattern.rkt
|
text/plain | root:root | 0o644 | 5.7 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/matcher.rkt
|
text/plain | root:root | 0o644 | 80.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/pat-unify.rkt
|
text/plain | root:root | 0o644 | 49.9 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/preprocess-lang.rkt
|
text/plain | root:root | 0o644 | 12.2 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/preprocess-pat.rkt
|
text/plain | root:root | 0o644 | 5.2 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/red-sem-macro-helpers.rkt
|
text/plain | root:root | 0o644 | 1012 bytes |
/usr/share/racket/pkgs/redex-lib/redex/private/reduction-semantics.rkt
|
text/plain | root:root | 0o644 | 126.0 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/rewrite-side-conditions.rkt
|
text/plain | root:root | 0o644 | 31.4 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/rg.rkt
|
text/plain | root:root | 0o644 | 32.6 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/search.rkt
|
text/plain | root:root | 0o644 | 12.3 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/struct.rkt
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/term-fn.rkt
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/term.rkt
|
text/plain | root:root | 0o644 | 19.6 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/trace-layout.rkt
|
text/plain | root:root | 0o644 | 7.8 KB |
/usr/share/racket/pkgs/redex-lib/redex/private/underscore-allowed.rkt
|
text/plain | root:root | 0o644 | 168 bytes |
/usr/share/racket/pkgs/redex-lib/redex/reduction-semantics.rkt
|
text/plain | root:root | 0o644 | 3.5 KB |
/usr/share/racket/pkgs/redex-lib/redex/tut-subst.rkt
|
text/plain | root:root | 0o644 | 3.4 KB |