-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 03 Aug 2017 18:54:05 -0400 Source: urweb Binary: urweb liburweb0 liburweb-cgi0 liburweb-fastcgi0 liburweb-http0 liburweb-static0 urweb-doc urweb-mode Architecture: source Version: 20170720+dfsg-1.1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat <bbaren@mit.edu> Changed-By: Sean Whitton <spwhitton@spwhitton.name> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb static backend liburweb0 - urweb runtime system urweb - purely functional language for web programming urweb-doc - Ur/Web reference manual urweb-mode - Emacs mode for editing Ur/Web programs Closes: 870671 Changes: urweb (20170720+dfsg-1.1) unstable; urgency=medium . * Non-maintainer upload. * Bump build-dep emacs24 -> emacs25 (Closes: #870671). Checksums-Sha1: a9f6b9e4a5bbecc36e434071d8bd4ff022762627 2549 urweb_20170720+dfsg-1.1.dsc 8ece7f458ad390deef029f85a79a767aff27ae8e 24008 urweb_20170720+dfsg-1.1.debian.tar.xz Checksums-Sha256: 8945f7e511616484c32bc2285eab3acb3c6d3b7a8c4649d5e037f7fd88a576f8 2549 urweb_20170720+dfsg-1.1.dsc 02b8fe57113d4e320ed5530bbbeaf982a85dd332bd72c61d924e975b5a3bfb78 24008 urweb_20170720+dfsg-1.1.debian.tar.xz Files: 509d35c57468b6eddafd1d1878f47841 2549 devel extra urweb_20170720+dfsg-1.1.dsc 91cfb29ae2bd202d5d4f0b826ffec3c1 24008 devel extra urweb_20170720+dfsg-1.1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEm5FwB64DDjbk/CSLaVt65L8GYkAFAlmDqqsACgkQaVt65L8G YkApqQ//Uow4OcLBX2vZ3O/iynfj1WF5VWtcDy/2X0iHgS3xL2oqKPejdz5U4tV+ XEaLjcAEQ1Kg+/riITKnQ8wrd1C7maTxO4FmIrr5zwj92Sbg7eaSiIlMqssRu5gb Kws17mFJyAzPbOHtV0lXvbdk2WtwG6F45A0KdWnK8J3YdiidDlPUWQntfeZqGSwQ Wg3h2m8GabAZUwfbJJ+2+UDKsiXvH/U5KZPATTuiOr4NnTHeJaIKmOegur6Yclug H2amaysDTG1OxZOTGdPpsr1RmwESfYdBNL/YjIwCVB/vTf8IWQU5IYiSCsa2/cTa aqGxHsJwHMaMzsZxHjm1TvCeg6xRODKSP9BoVwKH7Jgfu7KZfRLM6BTD64EaR1/n ikRbMFDA7p47Y9O1/4Z98vzEjyXDaFida3xYyoZz7o3ypLKt00azKhDjawJ57ZTh MgfneWiQH/DkptXKUNW2v/vnXdWAiALJY1H20Fq84zmiUr3eYRd8UEhe4aVqGzSe HIV1mbiY/ucHm/c1eiCqHRv1FubYfnoU3B0nhjwXQ2PO1OVslqq1TrjTk/AOkTS2 jPCV4OBwSwYRxTZpO4ny/Y747vhUDf41RMtG4BxqEh+FfOf4BVMVAgK9HDXVWme8 qTuD8O3X/k9rIXKAUBLZBTKIYpXHVA9vS7GftlmqKJ04FWrHk70= =/gBc -----END PGP SIGNATURE-----