diff --git a/GHC/LanguageExtensions/Type.hs b/GHC/LanguageExtensions/Type.hs
--- a/GHC/LanguageExtensions/Type.hs
+++ b/GHC/LanguageExtensions/Type.hs
@@ -21,7 +21,8 @@
 -- here as this would require adding transitive dependencies to the
 -- @template-haskell@ package, which must have a minimal dependency set.
 data Extension
--- See Note [Updating flag description in the User's Guide] in DynFlags
+-- See Note [Updating flag description in the User's Guide] in
+-- GHC.Driver.Session
    = Cpp
    | OverlappingInstances
    | UndecidableInstances
@@ -42,6 +43,7 @@
    | Arrows                   -- Arrow-notation syntax
    | TemplateHaskell
    | TemplateHaskellQuotes    -- subset of TH supported by stage1, no splice
+   | QualifiedDo
    | QuasiQuotes
    | ImplicitParams
    | ImplicitPrelude
@@ -72,6 +74,7 @@
    | DataKinds                -- Datatype promotion
    | InstanceSigs
    | ApplicativeDo
+   | LinearTypes
 
    | StandaloneDeriving
    | DeriveDataTypeable
@@ -143,4 +146,9 @@
    | ImportQualifiedPost
    | CUSKs
    | StandaloneKindSignatures
+   | LexicalNegation
    deriving (Eq, Enum, Show, Generic, Bounded)
+-- 'Ord' and 'Bounded' are provided for GHC API users (see discussions
+-- in https://gitlab.haskell.org/ghc/ghc/merge_requests/2707 and
+-- https://gitlab.haskell.org/ghc/ghc/merge_requests/826).
+instance Ord Extension where compare a b = compare (fromEnum a) (fromEnum b)
diff --git a/GHC/Lexeme.hs b/GHC/Lexeme.hs
--- a/GHC/Lexeme.hs
+++ b/GHC/Lexeme.hs
@@ -18,7 +18,7 @@
 import Data.Char
 
 -- | Is this character acceptable in a symbol (after the first char)?
--- See alexGetByte in Lexer.x
+-- See alexGetByte in GHC.Parser.Lexer
 okSymChar :: Char -> Bool
 okSymChar c
   | c `elem` "(),;[]`{}_\"'"
diff --git a/changelog.md b/changelog.md
new file mode 100644
--- /dev/null
+++ b/changelog.md
@@ -0,0 +1,5 @@
+## 8.0.1  *May 2016*
+
+  * Bundled with GHC 8.0.1
+
+  * Initial version
diff --git a/ghc-boot-th.cabal b/ghc-boot-th.cabal
--- a/ghc-boot-th.cabal
+++ b/ghc-boot-th.cabal
@@ -1,13 +1,15 @@
-cabal-version:  >=1.10
-name:           ghc-boot-th
-version:        8.10.2
+-- WARNING: ghc-boot-th.cabal is automatically generated from
+-- ghc-boot-th.cabal.in by ../../configure.  Make sure you are editing
+-- ghc-boot-th.cabal.in, not ghc-boot-th.cabal.
 
+name:           ghc-boot-th
+version:        9.0.1
 license:        BSD3
 license-file:   LICENSE
 category:       GHC
 maintainer:     ghc-devs@haskell.org
 bug-reports:    https://gitlab.haskell.org/ghc/ghc/issues/new
-synopsis:       Shared functionality between GHC and the `template-haskell`
+synopsis:       Shared functionality between GHC and the @template-haskell@
                 library
 description:    This library contains various bits shared between the @ghc@ and
                 @template-haskell@ libraries.
@@ -15,7 +17,9 @@
                 This package exists to ensure that @template-haskell@ has a
                 minimal set of transitive dependencies, since it is intended to
                 be depended upon by user code.
+cabal-version:  >=1.10
 build-type:     Simple
+extra-source-files: changelog.md
 
 source-repository head
     type:     git
@@ -32,4 +36,4 @@
             GHC.ForeignSrcLang.Type
             GHC.Lexeme
 
-    build-depends: base       >= 4.7 && < 4.15
+    build-depends: base       >= 4.7 && < 4.16