diff options
| author | Vincent Bernardoff | 2016-04-14 19:57:29 +0800 |
|---|---|---|
| committer | Vincent Bernardoff | 2016-04-14 19:57:29 +0800 |
| commit | 34f37faec6638b6bbe54b726629e399b7b66ad21 (patch) | |
| tree | 947d9a51f712d8829c582e0f7692ee73a65f64f0 /.SRCINFO | |
| parent | 227be2549aac7a7e47585084033800272ba6b40b (diff) | |
| download | aur-34f37faec6638b6bbe54b726629e399b7b66ad21.tar.gz | |
Update to 4.5.4
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -1,6 +1,8 @@ +# Generated by mksrcinfo v8 +# Thu Apr 14 11:56:58 UTC 2016 pkgbase = clingo pkgdesc = Grounding tools for (disjunctive) logic programs. - pkgver = 4.5.3 + pkgver = 4.5.4 pkgrel = 1 url = http://potassco.sourceforge.net/ arch = x86_64 @@ -12,8 +14,8 @@ pkgbase = clingo makedepends = bison makedepends = re2c makedepends = scons - source = http://downloads.sourceforge.net/project/potassco/clingo/4.5.3/clingo-4.5.3-source.tar.gz - sha1sums = 95459cbc3ed996a32de0166748cd42ef8a857006 + source = http://downloads.sourceforge.net/project/potassco/clingo/4.5.4/clingo-4.5.4-source.tar.gz + sha1sums = bf039e6aacefba7814de1e9c82e57da0784839fb pkgname = clingo |