diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -1,15 +1,17 @@ pkgbase = limboole pkgdesc = A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas. - pkgver = 1.1 + pkgver = 1.2 pkgrel = 1 url = http://fmv.jku.at/limboole/ arch = i686 arch = x86_64 - license = MIT - source = http://fmv.jku.at/limboole/limboole1.1.tar.gz + license = GPL3 + source = http://fmv.jku.at/limboole/limboole1.2.tgz source = http://fmv.jku.at/picosat/picosat-960.tar.gz - sha256sums = fbf54fdfa7b6bd11c8e8246ba4367ff50287b6db264b0b3b39796c7c71855fe4 + source = https://codeload.github.com/lonsing/depqbf/tar.gz/version-6.03 + sha256sums = fc7ec6db5088da2846937e472668d283fba46ca8e840aaf6f13ea11619637cb6 sha256sums = edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817 + sha256sums = 9684bb1562bfe14559007401f52975554373546d3290a19618ee71d709bce76e pkgname = limboole |