--- rpl/lapack/RELEASE	2012/07/31 11:06:34	1.10
+++ rpl/lapack/RELEASE	2012/12/14 12:30:20	1.11
@@ -1 +1 @@
-3.4.1
+3.4.2