# HG changeset patch
# User John Donoghue <john.donoghue@ieee.org>
# Date 1608748260 18000
# Node ID 58a259784f5e9ee84075e220902f4e3957779d0b
# Parent  e91152c502d9d87d2b23ec107123c4584a67f2fa
* src/eigen.mk: update update rule

diff -r e91152c502d9 -r 58a259784f5e src/eigen.mk
--- a/src/eigen.mk	Wed Dec 23 13:30:59 2020 -0500
+++ b/src/eigen.mk	Wed Dec 23 13:31:00 2020 -0500
@@ -12,8 +12,8 @@
 
 define $(PKG)_UPDATE
     $(WGET) -q -O- 'https://eigen.tuxfamily.org/index.php?title=Main_Page#Download' | \
-    $(GREP) 'eigen/get/' | \
-    $(SED) -n 's,.*eigen/get/\(3[^>]*\)\.tar.*,\1,p' | \
+    $(GREP) 'released!' | \
+    $(SED) -n 's,.*>Eigen \([0-9.]*\) released!.*,\1,p' | \
     head -1
 endef