Your message dated Mon, 18 Sep 2017 02:51:17 +0000
with message-id <[email protected]>
and subject line Bug#871572: fixed in urweb 20170720+dfsg-2
has caused the Debian Bug report #871572,
regarding urweb FTBFS with gcc 7 on arm64 and mips64el: test failure
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
871572: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=871572
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: urweb
Version: 20170720+dfsg-1
Severity: serious
https://tests.reproducible-builds.org/debian/history/urweb.html
https://buildd.debian.org/status/package.php?p=urweb&suite=sid
...
dh_auto_test -a -O--parallel
make -j6 test VERBOSE=1
make[1]: Entering directory '/<<BUILDDIR>>/urweb-20170720+dfsg'
bin/urweb -boot -noEmacs -dbms sqlite -db /tmp/urweb.db -demo /Demo demo
Unresolved constraint in top.ur
loc:
/<<BUILDDIR>>/urweb-20170720+dfsg/lib/ur/top.ur:391:4-391:12
c1: <UNIF:U1081::{Unit}>
c2: [#B = ()]
unhandled exception: Fail: Unresolved constraint in top.ur
Makefile:935: recipe for target 'test' failed
make[1]: *** [test] Error 1
--- End Message ---
--- Begin Message ---
Source: urweb
Source-Version: 20170720+dfsg-2
We believe that the bug you reported is fixed in the latest version of
urweb, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Benjamin Barenblat <[email protected]> (supplier of updated urweb package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----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 <[email protected]>
Changed-By: Benjamin Barenblat <[email protected]>
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-----
--- End Message ---
