diff options
| author | Dimitris Kiziridis | 2020-09-22 17:05:50 +0300 |
|---|---|---|
| committer | Dimitris Kiziridis | 2020-09-22 17:05:50 +0300 |
| commit | 3f16290c8d7b61a33e1df69081e19e799eb45638 (patch) | |
| tree | bc8e9c90135b4da846f6a6573e618fc908f01597 /.SRCINFO | |
| parent | 2037a45fbb0c8ea054ed5d1e8ee1a9b75b997c8a (diff) | |
| download | aur-3f16290c8d7b61a33e1df69081e19e799eb45638.tar.gz | |
reupload
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = tuprolog pkgdesc = A light-weight Prolog system for distributed applications and infrastructures. - pkgver = 4.1.1 + pkgver = 4.0.3 pkgrel = 1 url = http://apice.unibo.it/xwiki/bin/view/Tuprolog/ arch = any @@ -9,8 +9,8 @@ pkgbase = tuprolog depends = java-runtime depends = bash provides = tuprolog - noextract = tuprolog-4.1.1.tar.gz - source = tuprolog-4.1.1.jar::https://gitlab.com/pika-lab/tuprolog/2p/wikis/uploads/87b96d15ce4a1c42ac9825883fd3cfdd/2p-4.0.3.jar + noextract = tuprolog-4.0.3.tar.gz + source = tuprolog-4.0.3.jar::https://gitlab.com/pika-lab/tuprolog/2p/wikis/uploads/87b96d15ce4a1c42ac9825883fd3cfdd/2p-4.0.3.jar sha256sums = c7694d724f70c06544e4c360cc4bdacad0717974b8f721ae0e2c2cddcc477f2c pkgname = tuprolog |