Ralf Treinen Fri, 17 Oct 2025 20:38:23 -0700
Hello, A team upload of gringo 5.8.0-1 which fixes FTBFS bug #1112978 is sitting in git (master branch). I will upload this to unstable by October 12 unless there are any objections.
-Ralf.
