Hi all, I have finally taken control of clasp and gringo packages in Archlinux. Moreover I have just packaged aspcud, and updated opam/opam-git to add aspcud as a dependency. As a result, anybody doing a pacman -S opam on Archlinux will have opam and aspcud installed. Cheers, Vincent