Accepted urweb 20170720+dfsg-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 17 Sep 2017 17:25:24 -0400
Source: urweb
Binary: urweb liburweb0 liburweb-cgi0 liburweb-fastcgi0 liburweb-http0 liburweb-static0 urweb-doc urweb-mode
Architecture: source
Version: 20170720+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Changed-By: Benjamin Barenblat <bbaren@mit.edu>
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: 871572
Changes:
urweb (20170720+dfsg-2) unstable; urgency=medium
.
* Disable code hoisting when using MLton’s C codegen. (Closes: #871572)
Checksums-Sha1:
a73b23220e316934ba383be3309dc3af55c259dd 2075 urweb_20170720+dfsg-2.dsc
c40488e93bed58d4717cd8f1e9384c883551c28d 24132 urweb_20170720+dfsg-2.debian.tar.xz
95fedc11396a74a805670a5e2a117a6e1f981a94 15321 urweb_20170720+dfsg-2_amd64.buildinfo
Checksums-Sha256:
860dc4184f18be163315680af6bf1fc624a48ffeeb2ddbece2644534af2c33f5 2075 urweb_20170720+dfsg-2.dsc
eb7f3e1d51551c564176bc213bc41c3a7f103cba6172f5e7dc6c0934e6c6c281 24132 urweb_20170720+dfsg-2.debian.tar.xz
49c261c2599723ba69a00bb76cf22f0e5e42520889f31e8a1f0ad77a82ca0dcc 15321 urweb_20170720+dfsg-2_amd64.buildinfo
Files:
4657bd5dbddefa6a4a5b88fdd8d6004b 2075 devel extra urweb_20170720+dfsg-2.dsc
c38c8d903725410ca111a98566bcbcc3 24132 devel extra urweb_20170720+dfsg-2.debian.tar.xz
d9040f1f34c1d8713961096f324c5643 15321 devel extra urweb_20170720+dfsg-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCgAdFiEEmYu10ZyKexeeDauGnnMBSeuRxTsFAlm/J9QACgkQnnMBSeuR
xTv4WwgAo+jGE4FzUVS9tt98FUXZxZD2n+6O1rSrkrslalTG4sNSEj4i5TvQ2IjD
1v9tjPKlCVmxM5AOrlgyHZgxfS70SK1UScd9vM66v5E5j7Z+2+tZ56G4/OEuTPr6
xpkuj0sIO5BSsCXQqLFfAOAxS6DYMdt/4cxULU+h3O7hvLOc7PnchRFV6S+zmGkh
/1r9O58WvpRA8e2IRhISw/yCJfyioL7V778oCCc26crxa9Y5rIC+LJYCuYyc6Qxk
ZZh0TsYR1bGfqeXLk18OG3VMpmmxTpI0oPiDryByE6Cd+ln22v+X6NRnY6Kw8LHf
4L1Kwi1N77akRfdptGeoNre44KVzmQ==
=jzpz
-----END PGP SIGNATURE-----