ats2-postiats-0.3.11

[upstream]
* Re-enabling the support for -IATS
* Rewording LICENSE: the ATS libraries are now covered under LGPLv3
  In particular, any C code generated by ATS/Postiats is NOT by default
  considered to be covered by the GPL/LGPL license of any kind.
* Renaming some keywords:
  atstbox for atstype
  atstflat for atst0ype
  atsvtbox for atsvtype
  atsvtflat for atsvt0ype
  absimpl for assume and atsreimpl for reassume

2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index c477326369d4..22f378fffc4b 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = ats2-postiats
 	pkgdesc = Statically typed programming language
-	pkgver = 0.3.10
+	pkgver = 0.3.11
 	pkgrel = 1
 	url = http://www.ats-lang.org/
 	install = ats2-postiats.install
@@ -12,8 +12,8 @@ pkgbase = ats2-postiats
 	options = staticlibs
 	options = !emptydirs
 	options = !makeflags
-	source = https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.3.10/ATS2-Postiats-0.3.10.tgz
-	sha1sums = 6a83800770cc50a7722c07e8c11122a901524ef8
+	source = https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.3.11/ATS2-Postiats-0.3.11.tgz
+	sha1sums = c4df38d0ae759be4294c8a9d90f8bad7800dac50
 
 pkgname = ats2-postiats
 
diff --git a/PKGBUILD b/PKGBUILD
index 8ae21ec4d047..44fb77b4e4ab 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
 
 pkgname=ats2-postiats
 _pkgname=ATS2-Postiats
-pkgver=0.3.10
+pkgver=0.3.11
 pkgrel=1
 pkgdesc="Statically typed programming language"
 arch=('i686' 'x86_64')
@@ -14,7 +14,7 @@ options=('staticlibs' '!emptydirs' '!makeflags')
 install="${pkgname}.install"
 source=("https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-${pkgver}/${_pkgname}-${pkgver}.tgz")
 
-sha1sums=('6a83800770cc50a7722c07e8c11122a901524ef8')
+sha1sums=('c4df38d0ae759be4294c8a9d90f8bad7800dac50')
 
 build() {
 	cd "${srcdir}/${_pkgname}-${pkgver}"