summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO1
1 files changed, 0 insertions, 1 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