summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorJonathon Fernyhough2019-04-13 12:28:03 +0100
committerJonathon Fernyhough2019-04-13 12:28:03 +0100
commit63c832d433e85c8bb6573902ed89c5001e2154b5 (patch)
tree8b856e3fedf0635fa7b03acb20709c5fe34c04ba
parentc0b1598b8fcdd1f17604b7282f9e2fa9080d69f0 (diff)
downloadaur-63c832d433e85c8bb6573902ed89c5001e2154b5.tar.gz
Update for ATS2 0.3.13
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD4
2 files changed, 6 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 0b5b62e96ab8..ff45ac2a103e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,14 +1,14 @@
pkgbase = ats2-contrib
pkgdesc = Extra libraries for the ATS2 programming language
- pkgver = 0.3.11
+ pkgver = 0.3.13
pkgrel = 1
url = http://www.ats-lang.org/
arch = any
license = GPL3
- depends = ats2-postiats=0.3.11
+ depends = ats2-postiats=0.3.13
options = staticlibs
- source = https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.3.11/ATS2-Postiats-contrib-0.3.11.tgz
- sha1sums = 7c0913b4f84d9a815d3e010327517e6f384bb83d
+ source = https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.3.13/ATS2-Postiats-contrib-0.3.13.tgz
+ sha1sums = b3887082b5e1084d2a447d11ff99f02b7322a345
pkgname = ats2-contrib
diff --git a/PKGBUILD b/PKGBUILD
index a0c066fc6484..beb7d2426a77 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
pkgname=ats2-contrib
_pkgname=ATS2-Postiats-contrib
-pkgver=0.3.11
+pkgver=0.3.13
pkgrel=1
pkgdesc="Extra libraries for the ATS2 programming language"
arch=('any')
@@ -12,7 +12,7 @@ license=('GPL3')
depends=("ats2-postiats=${pkgver}")
options=('staticlibs')
source=("https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-${pkgver}/${_pkgname}-${pkgver}.tgz")
-sha1sums=('7c0913b4f84d9a815d3e010327517e6f384bb83d')
+sha1sums=('b3887082b5e1084d2a447d11ff99f02b7322a345')
prepare() {
# Duplicated from upstream's ats2-postiats archive