Date: Sunday, September 10, 2017 @ 21:15:44 Author: kkeen Revision: 256828
upgpkg: cryptominisat5 5.0.1-2 boost 1.65.1 Modified: cryptominisat5/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-09-10 21:13:08 UTC (rev 256827) +++ PKGBUILD 2017-09-10 21:15:44 UTC (rev 256828) @@ -6,7 +6,7 @@ pkgname=cryptominisat5 pkgver=5.0.1 -pkgrel=1 +pkgrel=2 pkgdesc="A modern, multi-threaded, feature-rich, simplifying SAT solver" arch=('i686' 'x86_64') #url="https://www.msoos.org/2016/07/cryptominisat-5-0-0-released/"