diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-05-30 17:28:18 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-05-30 19:08:10 +0200 |
| commit | 10542fa1e758fbb91028c4e20e6e3b9258cc8d39 (patch) | |
| tree | c208c5d23597ca759c9e2c8150751d0a0cdbcc55 /testing | |
| parent | 1f5334267557276385e659fecd20af4576a56661 (diff) | |
| download | aports-10542fa1e758fbb91028c4e20e6e3b9258cc8d39.tar.bz2 aports-10542fa1e758fbb91028c4e20e6e3b9258cc8d39.tar.xz | |
testing/z3: claim maintainership
Diffstat (limited to 'testing')
| -rw-r--r-- | testing/z3/APKBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testing/z3/APKBUILD b/testing/z3/APKBUILD index be5ab3f785..39af103203 100644 --- a/testing/z3/APKBUILD +++ b/testing/z3/APKBUILD @@ -1,8 +1,8 @@ # Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net> -# Maintainer: +# Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net> pkgname=z3 pkgver=4.6.0 -pkgrel=2 +pkgrel=3 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" arch="all" |