On Wed, Jan 21, 2015 at 5:55 AM, Luiz Henrique de Figueiredo <lhf@tecgraf.puc-rio.br> wrote: >> How about adding ???typically named deadline-dev??? since many (including me the first time I hit this) will not know the name of the package, and apt-get doesn???t exactly make it easy to discover. > > Done. See > http://www.lua.org/manual/5.3/readme.html#install > http://www.lua.org/manual/5.2/readme.html#install > > Thanks for the nudge. > Just to pick a nit, the period after "package" there is awkward now. -- Sent from my Game Boy.