diff options
| author | Kyle Keen | 2015-06-13 00:26:49 -0400 |
|---|---|---|
| committer | Kyle Keen | 2015-06-13 00:26:49 -0400 |
| commit | 21ded610191800b426f8c7f37da47fa0594a1cbe (patch) | |
| tree | 7600d5c944137748d191a4f014c1f03ecdf9c9c0 /.SRCINFO | |
| download | aur-21ded610191800b426f8c7f37da47fa0594a1cbe.tar.gz | |
Initial import
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..8de2d6677438 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,20 @@ +pkgbase = cryptominisat4 + pkgdesc = A modern, multi-threaded, feature-rich, simplifying SAT solver + pkgver = 4.2.0 + pkgrel = 1 + url = http://www.msoos.org/cryptominisat4/ + arch = i686 + arch = x86_64 + license = LGPL + makedepends = python2 + makedepends = boost + depends = zlib + depends = gcc-libs + depends = boost-libs + depends = intel-tbb + optdepends = python2: python module + source = http://msoos.org/largefiles/cryptominisat-4.2.0.tar.bz2 + md5sums = d12ed2839160ad946a3925c8eec94a39 + +pkgname = cryptominisat4 + |