diff --git a/GI/JavaScriptCore.hs b/GI/JavaScriptCore.hs
--- a/GI/JavaScriptCore.hs
+++ b/GI/JavaScriptCore.hs
@@ -20,9 +20,9 @@
 import GI.JavaScriptCore.Callbacks
 import GI.JavaScriptCore.Structs
 
-import Prelude ()
 import Data.GI.Base.ShortPrelude
 
+import qualified Data.GI.Base.Attributes as GI.Attributes
 import qualified Data.Text as T
 import qualified Data.ByteString.Char8 as B
 import qualified Data.Map as Map
diff --git a/GI/JavaScriptCore/Callbacks.hs b/GI/JavaScriptCore/Callbacks.hs
--- a/GI/JavaScriptCore/Callbacks.hs
+++ b/GI/JavaScriptCore/Callbacks.hs
@@ -8,9 +8,9 @@
 
 module GI.JavaScriptCore.Callbacks () where
 
-import Prelude ()
 import Data.GI.Base.ShortPrelude
 
+import qualified Data.GI.Base.Attributes as GI.Attributes
 import qualified Data.Text as T
 import qualified Data.ByteString.Char8 as B
 import qualified Data.Map as Map
diff --git a/GI/JavaScriptCore/Structs.hs b/GI/JavaScriptCore/Structs.hs
--- a/GI/JavaScriptCore/Structs.hs
+++ b/GI/JavaScriptCore/Structs.hs
@@ -16,9 +16,9 @@
 import GI.JavaScriptCore.Structs.GlobalContext
 import GI.JavaScriptCore.Structs.Value
 
-import Prelude ()
 import Data.GI.Base.ShortPrelude
 
+import qualified Data.GI.Base.Attributes as GI.Attributes
 import qualified Data.Text as T
 import qualified Data.ByteString.Char8 as B
 import qualified Data.Map as Map
diff --git a/GI/JavaScriptCore/Structs/GlobalContext.hs b/GI/JavaScriptCore/Structs/GlobalContext.hs
--- a/GI/JavaScriptCore/Structs/GlobalContext.hs
+++ b/GI/JavaScriptCore/Structs/GlobalContext.hs
@@ -16,9 +16,9 @@
 
     ) where
 
-import Prelude ()
 import Data.GI.Base.ShortPrelude
 
+import qualified Data.GI.Base.Attributes as GI.Attributes
 import qualified Data.Text as T
 import qualified Data.ByteString.Char8 as B
 import qualified Data.Map as Map
@@ -29,6 +29,10 @@
 newtype GlobalContext = GlobalContext (ForeignPtr GlobalContext)
 noGlobalContext :: Maybe GlobalContext
 noGlobalContext = Nothing
+
+
+type instance AttributeList GlobalContext = GlobalContextAttributeList
+type GlobalContextAttributeList = ('[ ] :: [(Symbol, *)])
 
 type family ResolveGlobalContextMethod (t :: Symbol) (o :: *) :: * where
     ResolveGlobalContextMethod l o = MethodResolutionFailed l o
diff --git a/GI/JavaScriptCore/Structs/GlobalContext.hs-boot b/GI/JavaScriptCore/Structs/GlobalContext.hs-boot
--- a/GI/JavaScriptCore/Structs/GlobalContext.hs-boot
+++ b/GI/JavaScriptCore/Structs/GlobalContext.hs-boot
@@ -1,8 +1,8 @@
 module GI.JavaScriptCore.Structs.GlobalContext where
 
-import Prelude ()
 import Data.GI.Base.ShortPrelude
 
+import qualified Data.GI.Base.Attributes as GI.Attributes
 import qualified Data.Text as T
 import qualified Data.ByteString.Char8 as B
 import qualified Data.Map as Map
diff --git a/GI/JavaScriptCore/Structs/Value.hs b/GI/JavaScriptCore/Structs/Value.hs
--- a/GI/JavaScriptCore/Structs/Value.hs
+++ b/GI/JavaScriptCore/Structs/Value.hs
@@ -16,9 +16,9 @@
 
     ) where
 
-import Prelude ()
 import Data.GI.Base.ShortPrelude
 
+import qualified Data.GI.Base.Attributes as GI.Attributes
 import qualified Data.Text as T
 import qualified Data.ByteString.Char8 as B
 import qualified Data.Map as Map
@@ -29,6 +29,10 @@
 newtype Value = Value (ForeignPtr Value)
 noValue :: Maybe Value
 noValue = Nothing
+
+
+type instance AttributeList Value = ValueAttributeList
+type ValueAttributeList = ('[ ] :: [(Symbol, *)])
 
 type family ResolveValueMethod (t :: Symbol) (o :: *) :: * where
     ResolveValueMethod l o = MethodResolutionFailed l o
diff --git a/GI/JavaScriptCore/Structs/Value.hs-boot b/GI/JavaScriptCore/Structs/Value.hs-boot
--- a/GI/JavaScriptCore/Structs/Value.hs-boot
+++ b/GI/JavaScriptCore/Structs/Value.hs-boot
@@ -1,8 +1,8 @@
 module GI.JavaScriptCore.Structs.Value where
 
-import Prelude ()
 import Data.GI.Base.ShortPrelude
 
+import qualified Data.GI.Base.Attributes as GI.Attributes
 import qualified Data.Text as T
 import qualified Data.ByteString.Char8 as B
 import qualified Data.Map as Map
diff --git a/gi-javascriptcore.cabal b/gi-javascriptcore.cabal
--- a/gi-javascriptcore.cabal
+++ b/gi-javascriptcore.cabal
@@ -1,6 +1,6 @@
 -- Autogenerated, do not edit.
 name:               gi-javascriptcore
-version:            0.2.10.13
+version:            0.2.12.14
 synopsis:           JavaScriptCore bindings
 description:        Bindings for JavaScriptCore, autogenerated by haskell-gi.
 homepage:           https://github.com/haskell-gi/haskell-gi
@@ -14,7 +14,7 @@
 
 library
     default-language:   Haskell2010
-    default-extensions: ScopedTypeVariables, CPP, OverloadedStrings, NegativeLiterals, ConstraintKinds, TypeFamilies, MultiParamTypeClasses, KindSignatures, FlexibleInstances, UndecidableInstances, DataKinds, FlexibleContexts
+    default-extensions: NoImplicitPrelude, ScopedTypeVariables, CPP, OverloadedStrings, NegativeLiterals, ConstraintKinds, TypeFamilies, MultiParamTypeClasses, KindSignatures, FlexibleInstances, UndecidableInstances, DataKinds, FlexibleContexts
     other-extensions:   PatternSynonyms ViewPatterns
     ghc-options:        -fno-warn-unused-imports -fno-warn-warnings-deprecations
     exposed-modules:    GI.JavaScriptCore.Types
@@ -23,9 +23,9 @@
                         GI.JavaScriptCore.Structs
                         GI.JavaScriptCore.Structs.GlobalContext
                         GI.JavaScriptCore.Structs.Value
-    pkgconfig-depends:  javascriptcoregtk-4.0 >= 2.10
+    pkgconfig-depends:  javascriptcoregtk-4.0 >= 2.12
     build-depends: base >= 4.7 && <5,
-        haskell-gi-base >= 0.13 && < 1,
+        haskell-gi-base >= 0.14 && < 1,
         bytestring >= 0.10,
         containers >= 0.5,
         text >= 1.0,
