1 files changed, 2 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 5b2a6dac2b7c..2f94caae08d6 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Mon Mar 18 12:38:15 UTC 2019
+# Mon Mar 18 12:48:26 UTC 2019
 pkgbase = hol
 	pkgdesc = HOL4 theorem-proving system
 	pkgver = kananaskis.12
-	pkgrel = 3
+	pkgrel = 4
 	url = https://hol-theorem-prover.org/
 	install = hol.install
 	arch = x86_64