On Fri, Nov 22, 2013 at 09:38:10PM -0800, William Stein wrote: > On Sat, Jul 20, 2013 at 6:00 AM, Pippijn van Steenhoven > <pip8...@gmail.com> wrote: > > 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 > > Hello, > > I'm in the process of upgrading https://cloud.sagemath.com to Ubuntu > 13.10 this weekend. > Is there any chance that an Aldor package could be made available for > Ubuntu 13.10, since I > would like to continue to support it? > > William > > > > > 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.)
Does the above not work? I use Ubuntu 13.10 at work and I can install Aldor this way. Pippijn
signature.asc
Description: Digital signature