On Sat, Nov 23, 2013 at 2:18 AM, Pippijn van Steenhoven <pip8...@gmail.com> wrote: > 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.
Thanks -- that worked. William > Pippijn -- William Stein Professor of Mathematics University of Washington http://wstein.org -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
