blob: 552ef1e6b3283c2e5e6e5f914e417f7fe8776c5d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# 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.5.3
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 = cms4-4.5.3.tgz::https://github.com/msoos/cryptominisat/archive/4.5.3.tar.gz
md5sums = 7ad723a166409ef567224dd45554c45e
pkgname = cryptominisat4
|