diff options
| -rw-r--r-- | .SRCINFO | 15 | ||||
| -rw-r--r-- | PKGBUILD | 19 |
2 files changed, 34 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..37903145fa96 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = squolem + pkgdesc = Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates + pkgver = 2.02 + pkgrel = 1 + url = http://www.cprover.org/qbv/ + arch = i686 + arch = x86_64 + license = custom:qbv + source = http://www.cprover.org/qbv/download/squolem-2.02-linux.tgz + source = http://www.cprover.org/qbv/LICENSE.txt + md5sums = 3c142f4412a7e764bad4378627cbd4cf + md5sums = 38a6fbe518e813958238518ce2cff077 + +pkgname = squolem + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..616be24c1015 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,19 @@ +# Maintainer: Ramana Kumar <firstname.lastname@gmail.com> +pkgname=squolem +pkgver=2.02 +pkgrel=1 +pkgdesc="Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates" +arch=('i686' 'x86_64') +url="http://www.cprover.org/qbv/" +license=('custom:qbv') +source=("http://www.cprover.org/qbv/download/$pkgname-$pkgver-linux.tgz" + "http://www.cprover.org/qbv/LICENSE.txt") +md5sums=('3c142f4412a7e764bad4378627cbd4cf' + '38a6fbe518e813958238518ce2cff077') + +package() { + install -D "$srcdir/squolem2" "$pkgdir/usr/bin/squolem2" + install -D -m644 "$srcdir/LICENSE.txt" "$pkgdir/usr/share/licenses/$pkgname/LICENSE" +} + +# vim:set ts=2 sw=2 et: |