diff options
| author | William J. Bowman | 2015-07-07 17:04:01 -0400 |
|---|---|---|
| committer | William J. Bowman | 2015-07-07 17:04:04 -0400 |
| commit | 07c41264b5cbe9e9c4c3ad6fa764ce0a62a5007f (patch) | |
| tree | 5b3513f0cd00f1d5f7fead2c03b3fe03baaa2da1 | |
| parent | ca8e453f8532a3acc179da032991819990135063 (diff) | |
| download | aur-07c41264b5cbe9e9c4c3ad6fa764ce0a62a5007f.tar.gz | |
Updated to 1.5-2
* Updated contact info
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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') |