listing: /docs/html/libraries/ghc-boot/src/

access      user      group     date             size  name

drwxr-xr-x  zubin     zubin     May 30  2020    <DIR>  ..
-rw-r--r--  zubin     zubin     May 30  2020    22 kB  GHC.BaseDir.html
-rw-r--r--  zubin     zubin     May 30  2020  2395  B  GHC.ForeignSrcLang.html
-rw-r--r--  zubin     zubin     May 30  2020    14 kB  GHC.HandleEncoding.html
-rw-r--r--  zubin     zubin     May 30  2020  3199  B  GHC.LanguageExtensions.html
-rw-r--r--  zubin     zubin     May 30  2020  4610  B  GHC.Platform.Host.html
-rw-r--r--  zubin     zubin     May 30  2020   156 kB  GHC.Platform.html
-rw-r--r--  zubin     zubin     May 30  2020   138 kB  GHC.Serialized.html
-rw-r--r--  zubin     zubin     May 30  2020    56 kB  GHC.Settings.Platform.html
-rw-r--r--  zubin     zubin     May 30  2020     9 kB  GHC.Settings.Utils.html
-rw-r--r--  zubin     zubin     May 30  2020  7185  B  GHC.UniqueSubdir.html
-rw-r--r--  zubin     zubin     May 30  2020   330 kB  GHC.Unit.Database.html
-rw-r--r--  zubin     zubin     May 30  2020  6064  B  GHC.Version.html
-rw-r--r--  zubin     zubin     May 30  2020   567  B  highlight.js
-rw-r--r--  zubin     zubin     May 30  2020  1508  B  style.css