diff --git a/README.md b/README.md
index 594affd..5e5ba75 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ A Leiningen plugin to compile Frege (http://www.frege-lang.org) code.
 Usage
 -----
 
-Add `[lein-fregec "3.23.288"]` to `:plugins` in your `project.clj`. The version of `lein-fregec` matches the version of the Frege compiler it is compatible with and uses.
+Add `[lein-fregec "3.23.370"]` to `:plugins` in your `project.clj`. The version of `lein-fregec` matches the version of the Frege compiler it is compatible with and uses.
 
 Set `:frege-source-paths` to the location(s) of your Frege source files. Default is the current directory but I highly recommend using `src/frege` and structuring your projects that way (although the `hello` example relies on current directory).
 
@@ -40,7 +40,7 @@ This tells Leiningen to run the `fregec` task and the `compile` task before buil
 Also, in order to include the Frege runtime in the resulting JAR file, you will need the following dependency in your `project.clj` file:
 
 ```clojure
-:dependencies [[org.frege-lang/frege "3.23.288-gaa3af0c"]]
+:dependencies [[org.frege-lang/frege "3.23.370-g898bc8c]]
 ```
 
 The version here should exactly match that displayed by `lein-fregec` when you use the `DEBUG=true` environment variable!
diff --git a/example/project.clj b/example/project.clj
index a824c71..950193d 100644
--- a/example/project.clj
+++ b/example/project.clj
@@ -3,10 +3,10 @@
   :url "http://example.com/FIXME"
   :license {:name "Eclipse Public License"
             :url "http://www.eclipse.org/legal/epl-v10.html"}
-  :dependencies [[org.clojure/clojure "1.6.0"]
+  :dependencies [[org.clojure/clojure "1.7.0"]
                  ;; need to depend on Frege for runtime:
-                 [org.frege-lang/frege "3.23.288-gaa3af0c"]]
-  :plugins [[lein-fregec "3.23.288"]]
+                 [org.frege-lang/frege "3.23.370-g898bc8c"]]
+  :plugins [[lein-fregec "3.23.370"]]
   :frege-source-paths ["src/frege"]
   :main example.core
   :profiles {:uberjar {:aot :all
diff --git a/hello/README.md b/hello/README.md
index 4a58f99..d9744eb 100644
--- a/hello/README.md
+++ b/hello/README.md
@@ -22,7 +22,7 @@ Run the application:
 
 Note that you can also run the application without creating a JAR file after `lein fregec` if you specify the classpath that includes the Frege runtime:
 
-    java -cp ~/.m2/repository/org/frege-lang/frege/3.23.288-gaa3af0c/frege-3.23.288-gaa3af0c.jar:target/classes Hello
+    java -cp ~/.m2/repository/org/frege-lang/frege/3.23.370-g898bc8c/frege-3.23.370-g898bc8c.jar:target/classes Hello
 
 A simpler, but slower way to achieve that is to rely on Leiningen to retrieve the necessary classpath:
 
diff --git a/hello/project.clj b/hello/project.clj
index e3fe315..1268028 100644
--- a/hello/project.clj
+++ b/hello/project.clj
@@ -4,6 +4,6 @@
   :license {:name "Eclipse Public License"
             :url "http://www.eclipse.org/legal/epl-v10.html"}
   :dependencies [;; need to depend on Frege for uberjar:
-                 [org.frege-lang/frege "3.23.288-gaa3af0c"]]
-  :plugins [[lein-fregec "3.23.288"]]
+                 [org.frege-lang/frege "3.23.370-g898bc8c"]]
+  :plugins [[lein-fregec "3.23.370"]]
   :profiles {:uberjar {:prep-tasks ["fregec"]}})
diff --git a/project.clj b/project.clj
index 8408066..75eea09 100644
--- a/project.clj
+++ b/project.clj
@@ -1,4 +1,4 @@
-(defproject lein-fregec "3.23.288"
+(defproject lein-fregec "3.23.370"
   :description "Leiningen plugin to compile Frege source code"
   :url "https://github.com/Frege/frege-lein-plugin"
   :license {:name "Eclipse Public License"
diff --git a/src/leiningen/fregec.clj b/src/leiningen/fregec.clj
index ac4e9ab..973585c 100644
--- a/src/leiningen/fregec.clj
+++ b/src/leiningen/fregec.clj
@@ -9,7 +9,7 @@
   (:import java.io.File
            (java.nio.file Files Paths)))
 
-(def ^:private fregec-version "3.23.288-gaa3af0c")
+(def ^:private fregec-version "3.23.370-g898bc8c")
 
 (defn- stale-frege-sources
   "Returns a lazy seq of file paths: every Frege source file within dirs modified