/usr/share/doc/racket/redex/ is in racket-doc 6.7-3.
This file is owned by root:root, with mode 0o755.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
..
|
||||
/usr/share/doc/racket/redex/Objects__Problem.html
|
text/html | root:root | 0o644 | 12.5 KB |
/usr/share/doc/racket/redex/Objects__Solution.html
|
text/html | root:root | 0o644 | 275.2 KB |
/usr/share/doc/racket/redex/Problem__Binary_Addition.html
|
text/html | root:root | 0o644 | 29.0 KB |
/usr/share/doc/racket/redex/Problem__Contracts.html
|
text/html | root:root | 0o644 | 18.1 KB |
/usr/share/doc/racket/redex/Problem__Finite_State_Machines.html
|
text/html | root:root | 0o644 | 9.5 KB |
/usr/share/doc/racket/redex/Problem__GC.html
|
text/html | root:root | 0o644 | 11.4 KB |
/usr/share/doc/racket/redex/Problem__Missionaries_and_Cannibals.html
|
text/html | root:root | 0o644 | 11.0 KB |
/usr/share/doc/racket/redex/Problem__Threads.html
|
text/html | root:root | 0o644 | 15.3 KB |
/usr/share/doc/racket/redex/Problem__Towers_of_Hanoi.html
|
text/html | root:root | 0o644 | 10.0 KB |
/usr/share/doc/racket/redex/Problem__Types.html
|
text/html | root:root | 0o644 | 15.7 KB |
/usr/share/doc/racket/redex/Solution__Binary_Addition.html
|
text/html | root:root | 0o644 | 108.9 KB |
/usr/share/doc/racket/redex/Solution__Contracts.html
|
text/html | root:root | 0o644 | 206.7 KB |
/usr/share/doc/racket/redex/Solution__Finite_State_Machines.html
|
text/html | root:root | 0o644 | 39.6 KB |
/usr/share/doc/racket/redex/Solution__GC.html
|
text/html | root:root | 0o644 | 53.2 KB |
/usr/share/doc/racket/redex/Solution__Missionaries_and_Cannibals.html
|
text/html | root:root | 0o644 | 56.4 KB |
/usr/share/doc/racket/redex/Solution__Threads.html
|
text/html | root:root | 0o644 | 203.8 KB |
/usr/share/doc/racket/redex/Solution__Towers_of_Hanoi.html
|
text/html | root:root | 0o644 | 43.8 KB |
/usr/share/doc/racket/redex/Solution__Types.html
|
text/html | root:root | 0o644 | 182.6 KB |
/usr/share/doc/racket/redex/The_Redex_Reference.html
|
text/html | root:root | 0o644 | 1.5 MB |
/usr/share/doc/racket/redex/autobib.css
|
text/plain | root:root | 0o644 | 121 bytes |
/usr/share/doc/racket/redex/benchmark.html
|
text/html | root:root | 0o644 | 142.0 KB |
/usr/share/doc/racket/redex/blueboxes.rktd
|
text/plain | root:root | 0o644 | 56.3 KB |
/usr/share/doc/racket/redex/doc-bibliography.html
|
text/html | root:root | 0o644 | 9.6 KB |
/usr/share/doc/racket/redex/doc-index.html
|
text/html | root:root | 0o644 | 85.1 KB |
/usr/share/doc/racket/redex/figure.css
|
text/plain | root:root | 0o644 | 480 bytes |
/usr/share/doc/racket/redex/figure.js
|
text/plain | root:root | 0o644 | 873 bytes |
/usr/share/doc/racket/redex/fri-mor.html
|
text/html | root:root | 0o644 | 12.9 KB |
/usr/share/doc/racket/redex/in.sxref
|
application/octet-stream | root:root | 0o644 | 74.9 KB |
/usr/share/doc/racket/redex/index.html
|
text/html | root:root | 0o644 | 29.2 KB |
/usr/share/doc/racket/redex/out0.sxref
|
application/octet-stream | root:root | 0o644 | 613 bytes |
/usr/share/doc/racket/redex/out1.sxref
|
application/octet-stream | root:root | 0o644 | 75.0 KB |
/usr/share/doc/racket/redex/pict.png
|
image/png | root:root | 0o644 | 44.5 KB |
/usr/share/doc/racket/redex/pict_10.png
|
image/png | root:root | 0o644 | 115 bytes |
/usr/share/doc/racket/redex/pict_11.png
|
image/png | root:root | 0o644 | 115 bytes |
/usr/share/doc/racket/redex/pict_12.png
|
image/png | root:root | 0o644 | 115 bytes |
/usr/share/doc/racket/redex/pict_13.png
|
image/png | root:root | 0o644 | 115 bytes |
/usr/share/doc/racket/redex/pict_14.png
|
image/png | root:root | 0o644 | 115 bytes |
/usr/share/doc/racket/redex/pict_15.png
|
image/png | root:root | 0o644 | 115 bytes |
/usr/share/doc/racket/redex/pict_16.png
|
image/png | root:root | 0o644 | 2.4 KB |
/usr/share/doc/racket/redex/pict_17.png
|
image/png | root:root | 0o644 | 426 bytes |
/usr/share/doc/racket/redex/pict_18.png
|
image/png | root:root | 0o644 | 1.7 KB |
/usr/share/doc/racket/redex/pict_19.png
|
image/png | root:root | 0o644 | 1.6 KB |
/usr/share/doc/racket/redex/pict_2.png
|
image/png | root:root | 0o644 | 100.9 KB |
/usr/share/doc/racket/redex/pict_20.png
|
image/png | root:root | 0o644 | 1.6 KB |
/usr/share/doc/racket/redex/pict_21.png
|
image/png | root:root | 0o644 | 5.3 KB |
/usr/share/doc/racket/redex/pict_22.png
|
image/png | root:root | 0o644 | 5.3 KB |
/usr/share/doc/racket/redex/pict_23.png
|
image/png | root:root | 0o644 | 6.4 KB |
/usr/share/doc/racket/redex/pict_24.png
|
image/png | root:root | 0o644 | 5.0 KB |
/usr/share/doc/racket/redex/pict_25.png
|
image/png | root:root | 0o644 | 21.5 KB |
/usr/share/doc/racket/redex/pict_26.png
|
image/png | root:root | 0o644 | 19.7 KB |
/usr/share/doc/racket/redex/pict_27.png
|
image/png | root:root | 0o644 | 32.6 KB |
/usr/share/doc/racket/redex/pict_28.png
|
image/png | root:root | 0o644 | 25.9 KB |
/usr/share/doc/racket/redex/pict_29.png
|
image/png | root:root | 0o644 | 1.8 KB |
/usr/share/doc/racket/redex/pict_3.png
|
image/png | root:root | 0o644 | 8.1 KB |
/usr/share/doc/racket/redex/pict_30.png
|
image/png | root:root | 0o644 | 21.5 KB |
/usr/share/doc/racket/redex/pict_31.png
|
image/png | root:root | 0o644 | 28.8 KB |
/usr/share/doc/racket/redex/pict_32.png
|
image/png | root:root | 0o644 | 13.5 KB |
/usr/share/doc/racket/redex/pict_33.png
|
image/png | root:root | 0o644 | 10.0 KB |
/usr/share/doc/racket/redex/pict_34.png
|
image/png | root:root | 0o644 | 10.2 KB |
/usr/share/doc/racket/redex/pict_35.png
|
image/png | root:root | 0o644 | 2.5 KB |
/usr/share/doc/racket/redex/pict_36.png
|
image/png | root:root | 0o644 | 18.2 KB |
/usr/share/doc/racket/redex/pict_37.png
|
image/png | root:root | 0o644 | 8.8 KB |
/usr/share/doc/racket/redex/pict_38.png
|
image/png | root:root | 0o644 | 8.1 KB |
/usr/share/doc/racket/redex/pict_4.png
|
image/png | root:root | 0o644 | 6.7 KB |
/usr/share/doc/racket/redex/pict_5.png
|
image/png | root:root | 0o644 | 115 bytes |
/usr/share/doc/racket/redex/pict_6.png
|
image/png | root:root | 0o644 | 115 bytes |
/usr/share/doc/racket/redex/pict_7.png
|
image/png | root:root | 0o644 | 115 bytes |
/usr/share/doc/racket/redex/pict_8.png
|
image/png | root:root | 0o644 | 115 bytes |
/usr/share/doc/racket/redex/pict_9.png
|
image/png | root:root | 0o644 | 115 bytes |
/usr/share/doc/racket/redex/redex2015.html
|
text/html | root:root | 0o644 | 887.5 KB |
/usr/share/doc/racket/redex/stamp.sxref
|
text/plain | root:root | 0o644 | 210 bytes |
/usr/share/doc/racket/redex/subject-reduction.png
|
image/png | root:root | 0o644 | 57.7 KB |
/usr/share/doc/racket/redex/traces.png
|
image/png | root:root | 0o644 | 198.7 KB |
/usr/share/doc/racket/redex/tutorial.html
|
text/html | root:root | 0o644 | 212.1 KB |