diff options
author | Gereon Kremer | 2017-05-18 17:38:02 +0200 |
---|---|---|
committer | Gereon Kremer | 2017-05-18 17:38:02 +0200 |
commit | fd042e6c55e57fbc9b1ee072ec21f4f957b0b875 (patch) | |
tree | 62f969e4fa529c4a372764a4b3c498b2c533f164 | |
parent | d79370e652b71705a3c19ed1a2b58913045b143e (diff) | |
download | aur-fd042e6c55e57fbc9b1ee072ec21f4f957b0b875.tar.gz |
Updated .SCRINFO...
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,7 +9,7 @@ pkgbase = carl makedepends = make makedepends = cmake>=3.0 depends = gmp>=5.1 - depends = eigen3>=3.2 + depends = eigen>=3.2 depends = boost>=1.55 source = carl::git+https://github.com/smtrat/carl.git#17.04 md5sums = SKIP |