Updated PPAs: removed lunar, added Mantic Minotaur

SWI-Prolog · Jan 25, 2024 · 4394b85 · 4394b85
1 parent 446ef3a
commit 4394b85
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/make-ppa b/scripts/make-ppa
@@ -8,7 +8,7 @@
 PL_VERSION=`cat VERSION`
 VTAG=HEAD
 TARGET_DISTRO=none
-distros="bionic focal jammy lunar"
+distros="bionic focal jammy mantic"
 build=true
 buildbin=false
 push=false