[opam-devel] aspcud release on Archlinux

Anil Madhavapeddy anil at recoil.org
Tue Feb 25 16:38:26 GMT 2014

Thanks Vincent! I've updated the distributions wiki to reflect this thread.


On 25 Feb 2014, at 15:03, Vincent B. <vb at luminar.eu.org> wrote:

> Hi everybody,
> I have just released the package aspcud-svn on AUR (Archlinux User
> Repository).
> Currently, clasp and gringo are already packaged on AUR but are obsolete
> and I can't upgrade them (since they are locked by the previous
> packager). I have contacted him and asked him to take action.
> In the meantime, I provide here updated source packages for the aspcud
> suite. I will update it on AUR as soon as possible.
> Cheers,
> Vincent
> <gringo-4.3.0-1.src.tar.gz><clasp-2.1.5-1.src.tar.gz><aspcud-svn-r7749-1.src.tar.gz>_______________________________________________
> 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