Ciao-users January 2013

ciao-users@cliplab.org

8 participants
12 discussions

Update on Arch Linux packages (stable and devel)
by Bambang Purnomosidi D P 12 Jan '13

12 Jan '13

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

1 0

Arch Linux package for Ciao
by bpurnomo＠akakom.ac.id 11 Jan '13

11 Jan '13

Hi Ciao users, Just to inform you all, I've made a script to install Ciao in Arch Linux. Arch Linux users now can use 'yaourt -S ciao-bin' to install Ciao. No need to compile, since I took debian package and then convert it into Arch binary package. The URL is: https://aur.archlinux.org/packages/ciao-bin/ Enjoy! -- http://bpdp.name

3 4

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users January 2013