diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -1,6 +1,8 @@ +# Generated by mksrcinfo v8 +# Thu Nov 17 19:17:23 UTC 2016 pkgbase = cryptominisat4 pkgdesc = A modern, multi-threaded, feature-rich, simplifying SAT solver - pkgver = 4.2.0 + pkgver = 4.5.3 pkgrel = 1 url = http://www.msoos.org/cryptominisat4/ arch = i686 @@ -13,8 +15,8 @@ pkgbase = cryptominisat4 depends = boost-libs depends = intel-tbb optdepends = python2: python module - source = http://msoos.org/largefiles/cryptominisat-4.2.0.tar.bz2 - md5sums = d12ed2839160ad946a3925c8eec94a39 + source = cms4-4.5.3.tgz::https://github.com/msoos/cryptominisat/archive/4.5.3.tar.gz + md5sums = 7ad723a166409ef567224dd45554c45e pkgname = cryptominisat4 |