Ralf Treinen Thu, 02 Oct 2025 21:55:53 -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.
