Hi Ciao users,
As I've promised previously, this weekend I put Arch Linux package - development version - of Ciao system. As usual, you may use "yaourt -S ciao-bin-devel" to install. Unfortunately, it will conflicts with stable version (they both create the same symlinks at the same location), so users should aware that they have to choose between stable or development version.
Other updates: 1. Stable and development version now use the new Ciao home: ciao-lang.org 2. I put only i686 arch, no X86_64. 3. Both packages now treat info files correctly (older version will not delete info entry in /usr/share/info/dir whenever user uninstalled them).
That's all. Enjoy and have fun!