summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO7
1 files changed, 4 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 2dc7a5dcb871..5b42897753f9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -6,11 +6,12 @@ pkgbase = carl
arch = i686
arch = x86_64
license = MIT
- makedepends = make
makedepends = cmake>=3.0
- depends = gmp>=5.1
- depends = eigen>=3.2
+ makedepends = make>=4.2
depends = boost>=1.55
+ depends = cln>=1.3
+ depends = eigen>=3.2
+ depends = gmp>=5.1
source = https://github.com/smtrat/carl/archive/17.08.zip
md5sums = 3fc7b590b386051bad44ead47a5bd00c