summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAleksy Grabowski2024-12-14 19:45:39 +0100
committerAleksy Grabowski2024-12-14 19:45:39 +0100
commited32c96bfb43e654b0a92195763e9e6c9eb555c8 (patch)
treeec564c75ab9723b5a458406e57d296c22b941048
parent432cb47357a391cc4fc15f7727edf9b0238ba2a3 (diff)
downloadaur-ed32c96bfb43e654b0a92195763e9e6c9eb555c8.tar.gz
Fix .SRCINFO
-rw-r--r--.SRCINFO1
1 files changed, 1 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
index e8a250f487c9..1166190b839d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -9,6 +9,7 @@ pkgbase = prologs
optdepends = remake: For time profiling
optdepends = swi-prolog
optdepends = ciao-lang
+ optdepends = cs-prolog
optdepends = gprolog
optdepends = scryer-prolog
optdepends = trealla