[opam-devel] aspcud release on Archlinux
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
> 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.
> opam-devel mailing list
> opam-devel at lists.ocaml.org
More information about the opam-devel