We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9656bec commit ee1cd58Copy full SHA for ee1cd58
2p-kt.json
@@ -4,7 +4,7 @@
4
{ "name": "v", "value": "1.0.4" },
5
{ "name": "v-renovate-hint", "value": "update: package=it.unibo.tuprolog:full" }
6
],
7
- "link": "https://github.com/gciatto/kt-math",
+ "link": "https://github.com/tuProlog/2p-kt",
8
"dependencies": [
9
"it.unibo.tuprolog:solve-classic-jvm:$v",
10
"it.unibo.tuprolog:parser-theory-jvm:$v",
0 commit comments