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 /.AURINFO | |
| download | aur-21ded610191800b426f8c7f37da47fa0594a1cbe.tar.gz | |
Initial import
Diffstat (limited to '.AURINFO')
| -rw-r--r-- | .AURINFO | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.AURINFO b/.AURINFO new file mode 100644 index 000000000000..f63130ee877b --- /dev/null +++ b/.AURINFO @@ -0,0 +1,19 @@ +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 + +pkgname = cryptominisat4 + |