Accepted urweb 20170720+dfsg-1.1 (source) into unstable
-----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-----