Update eigen

2014-08-31 20:42:08 +04:00
parent 8152e66da5
commit c5168debe8
2 changed files with 10 additions and 5 deletions
@@ -0,0 +1,4 @@
+url http://eigen.tuxfamily.org/
+ensure_choice
+version '.*/([-0-9.]+)[.]tar[.].*' '\1'
+do_overwrite() { do_overwrite_just_version; }