--- rpl/lapack/RELEASE	2015/11/26 11:44:14	1.14
+++ rpl/lapack/RELEASE	2020/05/21 21:45:55	1.19
@@ -1 +1 @@
-3.6.0
+3.9.0