access user group date size name
drwxr-xr-x zubin zubin May 30 2020 <DIR> ..
drwxr-xr-x zubin zubin May 30 2020 <DIR> src
-rw-r--r-- zubin zubin May 30 2020 26 kB System-Console-Haskeline-Completion.html
-rw-r--r-- zubin zubin May 30 2020 13 kB System-Console-Haskeline-History.html
-rw-r--r-- zubin zubin May 30 2020 8218 B System-Console-Haskeline-IO.html
-rw-r--r-- zubin zubin May 30 2020 2778 B System-Console-Haskeline-Internal.html
-rw-r--r-- zubin zubin May 30 2020 75 kB System-Console-Haskeline.html
-rw-r--r-- zubin zubin May 30 2020 15 kB doc-index.html
-rw-r--r-- zubin zubin May 30 2020 29 kB doc-index.json
-rw-r--r-- zubin zubin May 30 2020 31 kB haddock-bundle.min.js
-rw-r--r-- zubin zubin May 30 2020 287 B haddock-prologue.txt
-rw-r--r-- zubin zubin May 30 2020 28 kB haskeline.haddock
-rw-r--r-- zubin zubin May 30 2020 18 kB haskeline.txt
-rw-r--r-- zubin zubin May 30 2020 3356 B index.html
-rw-r--r-- zubin zubin May 30 2020 50 B meta.json
-rw-r--r-- zubin zubin May 30 2020 14 kB new-ocean.css
-rw-r--r-- zubin zubin May 30 2020 2572 B quick-jump.css
-rw-r--r-- zubin zubin May 30 2020 26 kB quick-jump.min.js
-rw-r--r-- zubin zubin May 30 2020 11 kB synopsis.png
webfs/1.21 07/Jun/2025 23:45:36 GMT