Hi Ralf > 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.
Please consider adopting this package, or at least adding yourself to Uploaders. It hasn't seen any activity from the current Uploader for almost five years. Regards Graham
