minisat: add reason for arch restriction
This commit is contained in:
parent
4813450c6b
commit
2ee24b487a
|
@ -2,11 +2,12 @@
|
|||
pkgname=minisat
|
||||
version=2.2.0
|
||||
revision=2
|
||||
# _FPU_EXTENDED is x87-glibc only
|
||||
archs="i686 x86_64"
|
||||
build_wrksrc=simp
|
||||
build_style=gnu-makefile
|
||||
makedepends="zlib-devel"
|
||||
archs="i686 x86_64"
|
||||
short_desc="A minimalistic and high-performance SAT solver"
|
||||
short_desc="Minimalistic and high-performance SAT solver"
|
||||
maintainer="Tai Chi Minh Ralph Eastwood <tcmreastwood@gmail.com>"
|
||||
license="MIT"
|
||||
homepage="http://minisat.se/MiniSat.html"
|
||||
|
|
Loading…
Reference in New Issue