--- rpl/lapack/RELEASE	2014/01/27 09:24:34	1.12
+++ rpl/lapack/RELEASE	2020/05/21 21:45:55	1.19
@@ -1 +1 @@
-3.5.0
+3.9.0