[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

-- 
Roberto

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