@@ -36,10 +36,10 @@ library
36 cpp-options: -DUSE_WEBKIT
36 cpp-options: -DUSE_WEBKIT
37 if flag(gtk3)
37 if flag(gtk3)
38 build-depends: webkitgtk3 >=0.12.5 && <0.13,
38 build-depends: webkitgtk3 >=0.12.5 && <0.13,
39− webkitgtk3-javascriptcore >=0.0.0.999 && <0.1
39+ webkitgtk3-javascriptcore >=0.12.5 && <0.13
41 build-depends: webkit >=0.12.5 && <0.13,
41 build-depends: webkit >=0.12.5 && <0.13,
42− webkit-javascriptcore >=0.0.0.999 && <0.1
42+ webkit-javascriptcore >=0.12.5 && <0.13
44 if flag(jmacro)
44 if flag(jmacro)
45 exposed-modules: Language.Javascript.JSC.JMacro
45 exposed-modules: Language.Javascript.JSC.JMacro
@@ -75,11 +75,11 @@ test-suite test-tool
75 if flag(gtk3)
75 if flag(gtk3)
76 build-depends: gtk3 >= 0.12.4.1 && <0.13,
76 build-depends: gtk3 >= 0.12.4.1 && <0.13,
77 webkitgtk3 >=0.12.5 && <0.13,
77 webkitgtk3 >=0.12.5 && <0.13,
78− webkitgtk3-javascriptcore >=0.0.0.999 && <0.1
78+ webkitgtk3-javascriptcore >=0.12.5 && <0.13
80 build-depends: gtk >= 0.12.4.1 && <0.13,
80 build-depends: gtk >= 0.12.4.1 && <0.13,
81 webkit >=0.12.5 && <0.13,
81 webkit >=0.12.5 && <0.13,
82− webkit-javascriptcore >=0.0.0.999 && <0.1
82+ webkit-javascriptcore >=0.12.5 && <0.13
84 if flag(jmacro)
84 if flag(jmacro)
85 build-depends: jmacro >=0.6.3 && <0.8
85 build-depends: jmacro >=0.6.3 && <0.8