Format: 1.8 Date: Wed, 31 Dec 2008 18:29:19 -0500 Source: jetty Binary: jetty libjetty5-java jetty-extra Architecture: source Version: 5.1.14-1ubuntu1~ppa2 Distribution: intrepid Urgency: low Maintainer: Debian Java Maintainers Changed-By: Nathan Summers Description: jetty - Java servlet engine and webserver jetty-extra - Extensions to jetty libjetty5-java - Java servlet engine and webserver -- runtime library Changes: jetty (5.1.14-1ubuntu1~ppa2) intrepid; urgency=low . * Changed name of libjetty5 to libjetty5-java to conform to policy. Checksums-Sha1: 70214db62259109681e1a9af06f6f4088b637c44 1298 jetty_5.1.14-1ubuntu1~ppa2.dsc 8e7d27bbef9b2db25cc1512f01436068e52284fc 17138 jetty_5.1.14-1ubuntu1~ppa2.diff.gz Checksums-Sha256: 51ace6fa276476e60f6624d6dbb2b8f769d37b2978cc0d9efc646b7a04c72508 1298 jetty_5.1.14-1ubuntu1~ppa2.dsc c485c5e3b342ba4dc2276ea1f3c9e7393b7e5fb3a450948b7e2321665ad4e894 17138 jetty_5.1.14-1ubuntu1~ppa2.diff.gz Files: b3945c00aa96813f4d746b1ca1d0f9bd 1298 contrib/web optional jetty_5.1.14-1ubuntu1~ppa2.dsc 749f83f423f05d99066985586c4e8f35 17138 contrib/web optional jetty_5.1.14-1ubuntu1~ppa2.diff.gz