diff options
| author | Kyle Keen | 2019-04-29 17:05:58 -0400 |
|---|---|---|
| committer | Kyle Keen | 2019-04-29 17:05:58 -0400 |
| commit | e1e1fb735b78fa75dc58a5fd10263b724fa99a19 (patch) | |
| tree | 48ad05c8c6b70774f78abbf61b9c2eefe9fea7fc /.SRCINFO | |
| download | aur-e1e1fb735b78fa75dc58a5fd10263b724fa99a19.tar.gz | |
initial commit
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..b38bd16fadbe --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,29 @@ +# Generated by mksrcinfo v8 +# Mon Apr 29 21:05:57 UTC 2019 +pkgbase = cryptominisat5-git + pkgdesc = A modern multi-threaded SAT solver. With experimental features enabled. + pkgver = 5.6.8.r171.gc1b9ed65 + pkgrel = 1 + url = https://github.com/msoos/cryptominisat/ + arch = x86_64 + license = MIT + makedepends = git + makedepends = python2 + makedepends = python + makedepends = boost + makedepends = cmake + makedepends = vim + makedepends = help2man + depends = zlib + depends = gcc-libs + depends = boost-libs + depends = intel-tbb + optdepends = python2: python2 module + optdepends = python: python module + provides = cryptominisat5 + conflicts = cryptominisat5 + source = git+https://github.com/msoos/cryptominisat/ + md5sums = SKIP + +pkgname = cryptominisat5-git + |