--- rpl/lapack/RELEASE	2012/12/14 12:30:20	1.11
+++ rpl/lapack/RELEASE	2017/06/17 11:03:37	1.17
@@ -1 +1 @@
-3.4.2
+3.7.0