[opam-devel] aspcud release on Archlinux

[Vincent B.]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gringo-4.3.0-1.src.tar.gz
Type: application/gzip
Size: 983 bytes
Desc: not available
URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20140225/041f9af4/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: clasp-2.1.5-1.src.tar.gz
Type: application/gzip
Size: 533 bytes
Desc: not available
URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20140225/041f9af4/attachment-0001.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: aspcud-svn-r7749-1.src.tar.gz
Type: application/gzip
Size: 648 bytes
Desc: not available
URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20140225/041f9af4/attachment-0002.bin>