Hello Aldor, FriCAS, and Sage users,

as some of you might have noticed, Aldor has been made Free Software by
Aldor.org. This has had several implications, one of which is that we now
have a github repository:
  https://github.com/pippijn/aldor
as well as free hosted continuous integration:
  https://travis-ci.org/pippijn/aldor

As of today, we can also provide packages for Debian and Ubuntu at
  https://launchpad.net/~pippijn/+archive/ppa

For now, the packages are provided for Ubuntu 12.04 (Precise Pangolin),
but these have been tested on Debian sid and jessie. For Ubuntu 12.04,
use the following command to add the repository:
  # add-apt-repository ppa:pippijn/ppa

For other Ubuntu versions, you need to manually edit the package list at
/etc/apt/sources.list.d/pippijn-ppa-*.list and replace the version with
"precise". (So, for example, my version is "quantal" and I replace it
with "precise" to get the packages.)

For Debian systems, you need to manually add the following line to your
/etc/apt/sources.list:
  deb http://ppa.launchpad.net/pippijn/ppa/ubuntu precise main
and add the key:
  # curl 
"http://keyserver.ubuntu.com:11371/pks/lookup?op=get&search=0x11CA9C2FE368B17C"; 
| apt-key add -

After these steps, you may need to update your package lists by
  # apt-get update
and then you can install Aldor with
  # apt-get install aldor

If there are any questions regarding the package, feel free to ask on the
Aldor mailing list at aldor-de...@googlegroups.com after registering at
https://groups.google.com/forum/#!forum/aldor-devel.

Best regards,
Pippijn

Attachment: signature.asc
Description: Digital signature

Reply via email to