1 files changed, 3 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 8c73ab7f5d31..192f054c4d5a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Tue Nov  7 16:44:00 UTC 2017
+# Mon Sep 17 22:08:09 UTC 2018
 pkgbase = lean-git
 	pkgdesc = Lean Theorem Prover
-	pkgver = 3.3.0.r54.g393008586
+	pkgver = 3.3.0.r668.gb13ac127f
 	pkgrel = 1
 	url = http://leanprover.github.io/
 	arch = x86_64
@@ -12,6 +12,7 @@ pkgbase = lean-git
 	makedepends = cmake
 	makedepends = python
 	makedepends = gperftools
+	makedepends = gcc7
 	depends = gmp
 	depends = mpfr
 	depends = lua>=5.2