summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 3a1f2eb8f328..81a6049e6daa 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,8 @@
-# Maintainer: William J. Bowman <bluephoenix47@gmail.com>
+# Maintainer: William J. Bowman <aur@williamjbowman.com>
pkgname=mathcomp
pkgver=1.5
-pkgrel=1
+pkgrel=2
pkgdesc="A mathematical components library for Coq."
url="http://ssr.msr-inria.inria.fr/"
arch=('i686' 'x86_64')