reupload

2 files changed, 0 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index a7ef8d3f4b0a..d2c96aa32665 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -8,7 +8,6 @@ pkgbase = tuprolog
 	makedepends = gendesk
 	depends = java-runtime
 	depends = bash
-	provides = tuprolog
 	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
diff --git a/PKGBUILD b/PKGBUILD
index 2fbb41ad4fa2..25a69f6a1da2 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -7,7 +7,6 @@ pkgdesc='A light-weight Prolog system for distributed applications and infrastru
 arch=('any')
 url='http://apice.unibo.it/xwiki/bin/view/Tuprolog/'
 license=('LGPL')
-provides=('tuprolog')
 depends=('java-runtime' 'bash')
 makedepends=('gendesk')
 source=("${pkgname}-${pkgver}.jar::https://gitlab.com/pika-lab/tuprolog/2p/wikis/uploads/87b96d15ce4a1c42ac9825883fd3cfdd/2p-${pkgver}.jar")