-----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-----
