summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 85a316fa9615..266335585043 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,4 +1,4 @@
-# Maintainer: William J. Bowman <bluephoenix47@gmail.com>
+# Maintainer: William J. Bowman <aur@williamjbowman.com>
# via Contributer pmates:
# For users having problems installing this, I recommend rebuilding several of the dependencies using the following modifications:
@@ -8,7 +8,7 @@
pkgname=ssreflect
pkgver=1.5
-pkgrel=1
+pkgrel=2
pkgdesc="A set of extensions to the scripting language of Coq."
url="http://ssr.msr-inria.inria.fr/"
arch=('i686' 'x86_64')