upgpkg: agda 2.6.2.2-17: rebuild with regex-tdfa 1.3.2

git-svn-id: file:///srv/repos/svn-community/svn@1285260 9fca08f4-af9d-4005-b8df-a31f2cc04f65

Author: felixonmars

agda/trunk/PKGBUILD

@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.2.2
-pkgrel=16
+pkgrel=17
 pkgdesc="A dependently typed functional programming language and proof assistant"
 url="https://wiki.portal.chalmers.se/agda/"
 license=("custom")