The Ubuntu instructions should have a "sudo apt-get update" after adding the ppa repository.

Neil T

_________________________________________________
 For list-related administrative tasks:
 http://lists.racket-lang.org/listinfo/dev

Reply via email to