12 Jan
2013
12 Jan
'13
4:52 a.m.
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!
--
http://www.bpdp.name
PGP fingerprint 4CEF 9EC8 FFB8 AB69 1396 FE5F 28CD 017C F2AB D81B
Public Key ID 0xF2ABD81B