diff options
author | Antonio Rojas | 2016-12-10 10:26:58 +0000 |
---|---|---|
committer | Antonio Rojas | 2016-12-10 10:26:58 +0000 |
commit | 4007c117258a95d74dbbf3d6cfd858bd9b6cffa5 (patch) | |
tree | 897bf0405e77c4a4b93b59a5d81c1ce44623a941 /.SRCINFO | |
parent | a19da21c5a9ca43b1b013b30ee3ffa24027c8a91 (diff) | |
download | aur-4007c117258a95d74dbbf3d6cfd858bd9b6cffa5.tar.gz |
Update
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -17,7 +17,7 @@ pkgbase = sagemath-git makedepends = libbraiding makedepends = mcqd makedepends = coxeter3 - makedepends = cryptominisat + makedepends = cryptominisat2 makedepends = modular_decomposition makedepends = bliss-graphs makedepends = tdlib @@ -79,7 +79,7 @@ pkgbase = sagemath-git optdepends = ffmpeg: to export animations to video optdepends = imagemagick: to show animations optdepends = coxeter3: Coxeter groups implementation - optdepends = cryptominisat: SAT solver + optdepends = cryptominisat2: 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 @@ -127,7 +127,7 @@ pkgname = sagemath-git optdepends = ffmpeg: to export animations to video optdepends = imagemagick: to show animations optdepends = coxeter3: Coxeter groups implementation - optdepends = cryptominisat: SAT solver + optdepends = cryptominisat2: 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 |