[opam-devel] aspcud 1.9.0 packages on Archlinux

Roberto Di Cosmo roberto at dicosmo.org
Wed Mar 26 14:44:55 GMT 2014

Thanks a lot Vincent, for this packaging work, and for your
previous help in beta-testing aspcud 1.9.

Hope to see more aspcud 1.9 packages for other platforms shipped soon,
so we can improve the default preferences used in opam


On Wed, Mar 26, 2014 at 03:07:20PM +0100, Vincent B. wrote:
> 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
> _______________________________________________
> opam-devel mailing list
> opam-devel at lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel

More information about the opam-devel mailing list