diff options
author | Pierre-Marie de Rodat | 2021-01-24 16:36:40 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat | 2021-01-24 16:36:40 +0100 |
commit | 86aeefb9920d066c1b568bd9475b5c4e29aa95af (patch) | |
tree | f9e7bb01ab04b8284fb443f73bfc477d05fa0319 /.SRCINFO | |
parent | 6ce0b5c00be8b4bd92250e682cb036bbd55082cd (diff) | |
download | aur-86aeefb9920d066c1b568bd9475b5c4e29aa95af.tar.gz |
Update for recent versions
* Remove hacks for Quex, which is no longer used.
* Use the new "manage.py" script.
* Build and install static libraries, now that the GPRconfig/GPRbuild
bug for -r/-pie conflicts is fixed.
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ pkgbase = libadalang-git pkgdesc = High performance syntactic and semantic engine for the Ada programming language - pkgver = r4155.7ddad847 + pkgver = r4370.89d25ed1 pkgrel = 1 url = https://github.com/AdaCore/libadalang/ arch = any |