[opam-devel] aspcud 1.9.0 packages on Archlinux

Vincent B. vb at luminar.eu.org
Wed Mar 26 14:07:20 GMT 2014

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.



More information about the opam-devel mailing list