diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..8c2eae5d03f8 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = glucose + pkgdesc = Parallel SAT solver based on Minisat, with glue clauses. + pkgver = 4.0 + pkgrel = 1 + url = http://www.labri.fr/perso/lsimon/glucose/ + arch = i686 + arch = x86_64 + license = MIT + depends = gcc-libs + depends = zlib + source = http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup.tgz + md5sums = b6f040a6c28f011f3be994663338f548 + +pkgname = glucose + |