--- rpl/lapack/RELEASE	2020/05/21 21:45:55	1.19
+++ rpl/lapack/RELEASE	2023/08/07 08:55:45	1.20
@@ -1 +1 @@
-3.9.0
+3.11.0