diff options
| author | Antonio Rojas | 2017-06-15 19:48:41 +0000 |
|---|---|---|
| committer | Antonio Rojas | 2017-06-15 19:48:41 +0000 |
| commit | ee14543c2bb8cdb7acee68b7d10ac61fef867bc6 (patch) | |
| tree | e151312a4da192a885cb7148036310dae00b3551 /.SRCINFO | |
| parent | cde0ccdd08ec493d24386072dee8297b1faa1e45 (diff) | |
| download | aur-ee14543c2bb8cdb7acee68b7d10ac61fef867bc6.tar.gz | |
Update
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 10 |
1 files changed, 4 insertions, 6 deletions
@@ -1,6 +1,6 @@ pkgbase = sagemath-git pkgdesc = Open Source Mathematics Software, free alternative to Magma, Maple, Mathematica, and Matlab - pkgver = 8.0.beta8.r0.gc011cfada9 + pkgver = 8.0.beta10.r0.gffc8eff265 pkgrel = 1 url = http://www.sagemath.org arch = i686 @@ -17,7 +17,6 @@ pkgbase = sagemath-git makedepends = sirocco makedepends = mcqd makedepends = coxeter3 - makedepends = cryptominisat2 makedepends = modular_decomposition makedepends = bliss-graphs makedepends = tdlib @@ -81,7 +80,7 @@ pkgbase = sagemath-git optdepends = ffmpeg: to export animations to video optdepends = imagemagick: to show animations optdepends = coxeter3: Coxeter groups implementation - optdepends = cryptominisat2: SAT solver + optdepends = cryptominisat5: SAT solver optdepends = gap-data: for computing Galois groups optdepends = lrs: Algorithms for linear reverse search used in game theory and for computing volume of polytopes optdepends = libhomfly: for computing the homfly polynomial of links @@ -96,7 +95,6 @@ pkgbase = sagemath-git source = git://git.sagemath.org/sage.git#branch=develop source = env.patch source = cython-sys-path.patch - source = is-package-installed.patch source = package.patch source = latte-count.patch source = jupyter-path.patch @@ -106,10 +104,10 @@ pkgbase = sagemath-git source = fes02.patch source = create_extension.patch source = include_dirs_from_externs.patch + source = sagemath-ecl-no-sigfpe.patch sha256sums = SKIP sha256sums = e0b5b8673300857fde823209a7e90faecf9e754ab812cc5e54297eddc0c79571 sha256sums = 4a411b6253f54e610523440acf86526390a09b05ebff10ec0008fa046ee1ac66 - sha256sums = 57349b0d1596a1719ba97f1c4d0cceb1ab0051a551c9904064145a5583c883f2 sha256sums = 4a2297e4d9d28f0b3a1f58e1b463e332affcb109eafde44837b1657e309c8212 sha256sums = c6836783251d94c00f0229c1e671de86c58c6c6fb0f6959725317817abc64ca8 sha256sums = 889b65598d2a15e73eb482f543ec9b28d8992eeb57b07883c2e9627dfee15a9b @@ -136,7 +134,7 @@ pkgname = sagemath-git optdepends = ffmpeg: to export animations to video optdepends = imagemagick: to show animations optdepends = coxeter3: Coxeter groups implementation - optdepends = cryptominisat2: SAT solver + optdepends = cryptominisat5: SAT solver optdepends = gap-data: for computing Galois groups optdepends = lrs: Algorithms for linear reverse search used in game theory and for computing volume of polytopes optdepends = libhomfly: for computing the homfly polynomial of links |