For the record, here is the mail I sent to the previous manager, about one month ago. V -------- Original Message -------- Subject: gringo, clasp, clingo in AUR Date: Tue, 25 Feb 2014 14:39:29 +0100 From: Vincent B. <vb@luminar.eu.org> To: dvdios@aol.com Hi, Could you please upgrade these packages (or disown them) ? I'm packaging aspcud and I'd like to use it with the latest versions of the aforementionned packages. Thanks, Vincent