Community
Participate
Working Groups
http://dist.codehaus.org/jetty/deb/ only has build up to jetty <=7.2. Btw. is there a chance you could host an apt repository or maybe add jetty to backports.org?
we are cramped for time with these sorts of distributions as it is...I would love to get something like this setup but without someone in the community helping out its not likely to happen soon I'll try and carve out some time to create the deb's for 7.3.x's
These have been added back into the build on the codehaus side and we will have deb and rpm builds as part of the full release process from this point forward. They will appear once more in the 7.5.0 release. as for an apt repo we can consider that once we have a few successful releases with the new deb and rpm artifacts.