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 beproblematic in the long run? I ask, because I wont be eligible for automatic upgrades and the machine will be a production server.