This is my current sources.list, and I wish to install libjetty-java, libjetty-extra-java, and jetty, in that order. However, the packages are not found, and I resorted to downlaoding the debs from http://dist.codehaus.org/jetty/deb/
and fetching the dependencies viz. libslf4j-java libservlet2.5-java manually.
deb http://http.us.debian.org/debian lenny main contrib non-free
deb http://security.debian.org lenny/updates main contrib non-free
deb http://http.us.debian.org/debian lenny main contrib non-free
deb-src http://http.us.debian.org/debian/ lenny main contrib non-free
deb http://security.debian.org/ lenny/updates main contrib non-free
deb-src http://security.debian.org/ lenny/updates main contrib non-free
My question is, is there a Debian repository for jetty? If not, will the above method be problematic in the long run? I ask, because I won't be eligible for automatic upgrades and the machine will be a production server.