diff options
| author | William J. Bowman | 2015-07-07 17:08:59 -0400 |
|---|---|---|
| committer | William J. Bowman | 2015-07-07 17:09:01 -0400 |
| commit | c03a64cf2947df047516bd9ce95b759a5e1dbbe0 (patch) | |
| tree | 6395708c94fa6c6677a03e96af4565c9882d47cd | |
| parent | 407f0b8557c4a27d5d6afd52f644972e25ab769b (diff) | |
| download | aur-c03a64cf2947df047516bd9ce95b759a5e1dbbe0.tar.gz | |
Updated to 1.5-2
* Updated contact info
| -rw-r--r-- | .SRCINFO | 2 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -1,7 +1,7 @@ pkgbase = ssreflect pkgdesc = A set of extensions to the scripting language of Coq. pkgver = 1.5 - pkgrel = 1 + pkgrel = 2 url = http://ssr.msr-inria.inria.fr/ arch = i686 arch = x86_64 @@ -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') |