Your message dated Sat, 06 Jun 2020 15:22:37 +0000
with message-id <[email protected]>
and subject line Bug#948894: fixed in z3 4.8.8-1
has caused the Debian Bug report #948894,
regarding z3: add nojava build profile
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.)
--
948894: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=948894
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: z3
Severity: wishlist
X-Debbugs-CC: [email protected]
[discussion continued from #948763]
On 1/13/20 7:30 PM, Helmut Grohne wrote:
> Why is the libz3-java package "Architecture: any" (long list actually)
> instead of "Architecture: all"? Many lib*-java packages are
> "Architecture: all" instead, so I'd like to understand the reason.
>
> Why is the libz3-java package "Multi-Arch: foreign"? It seems to depend
> on libz3-jni, which is "Multi-Arch: same". Such a setup seems wrong as
> both seem to be libraries. As a dependency on libz3-java would be
> expected to provide the jni components for the requested architecture,
> but this is not the case here. Possibly, the "Multi-Arch: foreign" is
> wrong here. In that case, "Architecture: any" does make sense as
> "Architecture: all" cannot propagate an architecture-constraint. (This
> is also known as the multi-arch-interpreter-problem.)
>
> Why are libz3-java and libz3-jni separate packages? Why not merge them
> into one? In which situations would you install one, but not the other?
First of all, I should note that I have adopted this package not too
long ago from an inactive maintainer, so I'm still somewhat in the
process of cleaning things up (and unfortunately, I can't ask the
previous maintainer about decisions he's made because he won't reply
to any emails).
>From my understanding of what has happened, there used to be a single
libz3-java package that included the shared library in usr/lib/*/jni/,
which is why it had to be Architecture: any. It was also marked
Multi-Arch: same, but because the JAR file in /usr/share/java/ was not
built reproducibly, bug #797515 complained that the JAR file was an
architecture-dependent file in a Multi-Arch: same package. It actually
isn't architecture-dependent, of course, but because the build was
(is?) not reproducible, rebuilding it on different architectures still
yields different results (as does rebuilding on the same architecture).
The previous maintainer's solution to this was to split the libz3-java
package into an Architecture: any, Multi-Arch: same libz3-jni package
containing the JNI shared library and the current libz3-java package
containing only arch-independent files, but because they did not build
reproducibly, they *looked* like arch-dependent files, which is why, I
suppose, he marked the package Architecture: any (instead of all) and
Multi-Arch: foreign (because it's actually not arch-dependent).
Of course, this solution is not very satisfying. Please correct me if
I'm wrong, but I think that the proper solution should consist of a
single libz3-java package marked Architecture: any (because of the JNI
shared library) and Multi-Arch: same (for the JAR file), right?
Apparently [0], JAR files still aren't built reproducibly, but
dh_strip_nondeterminism might take care of this; do you know more
about this? Comparing the amd64 and armhf builds of libz3-java from
snapshot.debian.org actually does suggest that the package is built
reproducibly by now.
Best regards,
Fabian
[0] https://wiki.debian.org/ReproducibleBuilds/TimestampsInJarFiles
--- End Message ---
--- Begin Message ---
Source: z3
Source-Version: 4.8.8-1
Done: Fabian Wolff <[email protected]>
We believe that the bug you reported is fixed in the latest version of
z3, 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.
Fabian Wolff <[email protected]> (supplier of updated z3 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: Sat, 06 Jun 2020 16:32:57 +0200
Source: z3
Architecture: source
Version: 4.8.8-1
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <[email protected]>
Changed-By: Fabian Wolff <[email protected]>
Closes: 948894
Changes:
z3 (4.8.8-1) unstable; urgency=medium
.
* New upstream release.
* Add nojava build profile to make building the Java bindings optional
(Closes: #948894).
* Remove erroneous Multi-Arch: foreign from libz3-java in debian/control
(see the discussion in #948894 for details).
* Refresh/update patches.
* Upgrade to Standards-Version 4.5.0 (no changes).
* Forward patches to upstream.
Checksums-Sha1:
43024ee92806f15c6958222f1e905c2b9e194a72 2626 z3_4.8.8-1.dsc
e60759b8017993b6cc550e6d96762f37f002c3a2 4520119 z3_4.8.8.orig.tar.gz
6ccda73ace6eeaf907976b8d5b1e432236236121 10176 z3_4.8.8-1.debian.tar.xz
2c64c2f7ffab1dafc78ca8c078c06f446a466c1f 12676 z3_4.8.8-1_amd64.buildinfo
Checksums-Sha256:
6230c3e6494bfb6194c0507f0120a4be9b2757381ae9b4e22f9f73c90e3dad5a 2626
z3_4.8.8-1.dsc
6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff 4520119
z3_4.8.8.orig.tar.gz
c861939c9818db03e29186805b9031c49488896e2085d76b16724abbbfdd3213 10176
z3_4.8.8-1.debian.tar.xz
fd6f7cb6a11b23265cfca7072d149de68d9565f3565d0b77e78a5eb12c7f113d 12676
z3_4.8.8-1_amd64.buildinfo
Files:
50bab39d51b8b284506ea8e5e7f04a3c 2626 science optional z3_4.8.8-1.dsc
83089ea2472aca9954a70cf81e21e08a 4520119 science optional z3_4.8.8.orig.tar.gz
7cf2465dca16d2af6f463923c4238c6e 10176 science optional
z3_4.8.8-1.debian.tar.xz
25c59761f1ff9d64108dee609ef42b51 12676 science optional
z3_4.8.8-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl7briMUHGZhYmkud29s
ZmZAYXJjb3IuZGUACgkQilOItk1pK0kWHw//UieQmHVZYQ/CH91zB4u/1PaJOEuB
BYCFFYoSy+uh8gWOwut1ILiN+KN//omqdWU7msZrxpofW/rB+CfyJbFQo5fk0C5a
lIuUunGq+I5Wn6DytmJkWZgwVwpPJBbynymxqG+usUzig84caNSLbDyjfzP2hx7c
nhene+sqtx1sFdGUATF/1pdygC0xkjrcgpoTrysZzCUFKBG7zQ6lSXx0hnsUq1E/
fk6ucEpTZS4LEGIrFPk4YNt2dwfygMzj1iiJaFn7buVxua/hxE/zm7iFpNrhi7YF
P6I4lOW10Wpa9dOlW/iMmDi1rkXymwcWXDkW7Jm+3oPDKsXtoXhRfXojoY9ppaaK
5WZKQG03PSaoAtBi2hN1MkeTZcdPXfEyPYmbALkrve56jqTfuqSVxhicCfzqDb5w
9r33IkseciEOt94QavXRh9EOXicnb+rIoU/iyD7jMweUxnJ6a9cs6RnP+M94ZL6d
+SeBG8olyQH5SinMoC9+2NucCJ3bAklqe5EErmYM0wfcWbYqrFg2ug9vUAHd92Kg
7moTuJGXUhgNI5wIDyAqo0cRJRlFYrGVZsOGPJ1OjHNTdpw9T+qQSZraE66JA8m6
4JNWfEHHrd4QXcTd5jfxoW+XbJ3X2BSlzsARg3GPaeBYpShLk9t0kZDFkME+qhrN
vjgF2pO0j05xlQs=
=MrPo
-----END PGP SIGNATURE-----
--- End Message ---
