Your message dated Mon, 07 Dec 2015 23:01:01 +0000
with message-id <[email protected]>
and subject line Bug#797515: fixed in z3 4.4.0-4
has caused the Debian Bug report #797515,
regarding libz3-java: arch-dependent file in "Multi-Arch: same" package
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.)
--
797515: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=797515
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: libz3-java
Version: 4.4.0-3
Severity: important
User: [email protected]
Usertags: multiarch
libz3-java is marked as "Multi-Arch: same", but the following file is
architecture-dependent:
/usr/share/java/com.microsoft.z3.jar
An example diff between i386 and amd64 (generated by diffoscope) is
attached.
--
Jakub Wilk
--- libz3-java_4.4.0-3_amd64/usr/share/java/com.microsoft.z3.jar
+++ libz3-java_4.4.0-3_i386/usr/share/java/com.microsoft.z3.jar
├── zipinfo {}
│ @@ -1,118 +1,118 @@
│ Zip file size: 152763 bytes, number of entries: 116
│ --rw---- 2.0 fat 0 bX defN 15-Aug-29 13:33 META-INF/
│ --rw---- 2.0 fat 70 bl defN 15-Aug-29 13:33 META-INF/MANIFEST.MF
│ --rw---- 1.0 fat 0 b- stor 15-Aug-29 13:33 com/
│ --rw---- 1.0 fat 0 b- stor 15-Aug-29 13:33 com/microsoft/
│ --rw---- 1.0 fat 0 b- stor 15-Aug-29 13:33 com/microsoft/z3/
│ --rw---- 2.0 fat 1279 bl defN 15-Aug-29 13:33
com/microsoft/z3/Version.class
│ --rw---- 2.0 fat 930 bl defN 15-Aug-29 13:33
com/microsoft/z3/RelationSort.class
│ --rw---- 2.0 fat 117293 bl defN 15-Aug-29 13:33
com/microsoft/z3/Native.class
│ --rw---- 2.0 fat 312 bl defN 15-Aug-29 13:33
com/microsoft/z3/Native$UIntArrayPtr.class
│ --rw---- 2.0 fat 310 bl defN 15-Aug-29 13:33
com/microsoft/z3/Native$ObjArrayPtr.class
│ --rw---- 2.0 fat 322 bl defN 15-Aug-29 13:33
com/microsoft/z3/Native$StringPtr.class
│ --rw---- 2.0 fat 301 bl defN 15-Aug-29 13:33
com/microsoft/z3/Native$LongPtr.class
│ --rw---- 2.0 fat 299 bl defN 15-Aug-29 13:33
com/microsoft/z3/Native$IntPtr.class
│ --rw---- 2.0 fat 822 bl defN 15-Aug-29 13:33
com/microsoft/z3/Log.class
│ --rw---- 2.0 fat 5511 bl defN 15-Aug-29 13:33
com/microsoft/z3/InterpolationContext.class
│ --rw---- 2.0 fat 654 bl defN 15-Aug-29 13:33
com/microsoft/z3/InterpolationContext$ReadInterpolationProblemResult.class
│ --rw---- 2.0 fat 574 bl defN 15-Aug-29 13:33
com/microsoft/z3/InterpolationContext$CheckInterpolantResult.class
│ --rw---- 2.0 fat 753 bl defN 15-Aug-29 13:33
com/microsoft/z3/InterpolationContext$ComputeInterpolantResult.class
│ --rw---- 2.0 fat 1132 bl defN 15-Aug-29 13:33
com/microsoft/z3/Global.class
│ --rw---- 2.0 fat 887 bl defN 15-Aug-29 13:33
com/microsoft/z3/ConstructorList.class
│ --rw---- 2.0 fat 870 bl defN 15-Aug-29 13:33
com/microsoft/z3/AlgebraicNum.class
│ --rw---- 2.0 fat 253 bl defN 15-Aug-29 13:33
com/microsoft/z3/DatatypeExpr.class
│ --rw---- 2.0 fat 4825 bl defN 15-Aug-29 13:33
com/microsoft/z3/ASTVector.class
│ --rw---- 2.0 fat 2249 bl defN 15-Aug-29 13:33
com/microsoft/z3/ASTMap.class
│ --rw---- 2.0 fat 2672 bl defN 15-Aug-29 13:33
com/microsoft/z3/FuncInterp.class
│ --rw---- 2.0 fat 2178 bl defN 15-Aug-29 13:33
com/microsoft/z3/FuncInterp$Entry.class
│ --rw---- 2.0 fat 2529 bl defN 15-Aug-29 13:33
com/microsoft/z3/Statistics.class
│ --rw---- 2.0 fat 1799 bl defN 15-Aug-29 13:33
com/microsoft/z3/Statistics$Entry.class
│ --rw---- 2.0 fat 5053 bl defN 15-Aug-29 13:33
com/microsoft/z3/Model.class
│ --rw---- 2.0 fat 433 bl defN 15-Aug-29 13:33
com/microsoft/z3/Model$ModelEvaluationFailedException.class
│ --rw---- 2.0 fat 1260 bl defN 15-Aug-29 13:33
com/microsoft/z3/Status.class
│ --rw---- 2.0 fat 1781 bl defN 15-Aug-29 13:33
com/microsoft/z3/ApplyResult.class
│ --rw---- 2.0 fat 737 bl defN 15-Aug-29 13:33
com/microsoft/z3/FixedpointDecRefQueue.class
│ --rw---- 2.0 fat 721 bl defN 15-Aug-29 13:33
com/microsoft/z3/TacticDecRefQueue.class
│ --rw---- 2.0 fat 727 bl defN 15-Aug-29 13:33
com/microsoft/z3/StatisticsDecRefQueue.class
│ --rw---- 2.0 fat 717 bl defN 15-Aug-29 13:33
com/microsoft/z3/SolverDecRefQueue.class
│ --rw---- 2.0 fat 717 bl defN 15-Aug-29 13:33
com/microsoft/z3/ProbeDecRefQueue.class
│ --rw---- 2.0 fat 741 bl defN 15-Aug-29 13:33
com/microsoft/z3/ParamDescrsDecRefQueue.class
│ --rw---- 2.0 fat 721 bl defN 15-Aug-29 13:33
com/microsoft/z3/ParamsDecRefQueue.class
│ --rw---- 2.0 fat 717 bl defN 15-Aug-29 13:33
com/microsoft/z3/ModelDecRefQueue.class
│ --rw---- 2.0 fat 713 bl defN 15-Aug-29 13:33
com/microsoft/z3/GoalDecRefQueue.class
│ --rw---- 2.0 fat 737 bl defN 15-Aug-29 13:33
com/microsoft/z3/FuncInterpDecRefQueue.class
│ --rw---- 2.0 fat 745 bl defN 15-Aug-29 13:33
com/microsoft/z3/FuncInterpEntryDecRefQueue.class
│ --rw---- 2.0 fat 741 bl defN 15-Aug-29 13:33
com/microsoft/z3/ApplyResultDecRefQueue.class
│ --rw---- 2.0 fat 733 bl defN 15-Aug-29 13:33
com/microsoft/z3/ASTVectorDecRefQueue.class
│ --rw---- 2.0 fat 721 bl defN 15-Aug-29 13:33
com/microsoft/z3/ASTMapDecRefQueue.class
│ --rw---- 2.0 fat 1543 bl defN 15-Aug-29 13:33
com/microsoft/z3/IDecRefQueue.class
│ --rw---- 2.0 fat 685 bl defN 15-Aug-29 13:33
com/microsoft/z3/ASTDecRefQueue.class
│ --rw---- 2.0 fat 2089 bl defN 15-Aug-29 13:33
com/microsoft/z3/ParamDescrs.class
│ --rw---- 2.0 fat 464 bl defN 15-Aug-29 13:33
com/microsoft/z3/FPExpr.class
│ -[ 66 lines removed ]
│ +-rw---- 2.0 fat 0 bX defN 15-Aug-28 14:08 META-INF/
│ +-rw---- 2.0 fat 70 bl defN 15-Aug-28 14:08 META-INF/MANIFEST.MF
│ +-rw---- 1.0 fat 0 b- stor 15-Aug-28 14:08 com/
│ +-rw---- 1.0 fat 0 b- stor 15-Aug-28 14:08 com/microsoft/
│ +-rw---- 1.0 fat 0 b- stor 15-Aug-28 14:08 com/microsoft/z3/
│ +-rw---- 2.0 fat 745 bl defN 15-Aug-28 14:08
com/microsoft/z3/FuncInterpEntryDecRefQueue.class
│ +-rw---- 2.0 fat 335 bl defN 15-Aug-28 14:08
com/microsoft/z3/BoolExpr.class
│ +-rw---- 2.0 fat 822 bl defN 15-Aug-28 14:08
com/microsoft/z3/Log.class
│ +-rw---- 2.0 fat 50304 bl defN 15-Aug-28 14:08
com/microsoft/z3/Context.class
│ +-rw---- 2.0 fat 933 bl defN 15-Aug-28 14:08
com/microsoft/z3/AST$1.class
│ +-rw---- 2.0 fat 718 bl defN 15-Aug-28 14:08
com/microsoft/z3/Fixedpoint$1.class
│ +-rw---- 2.0 fat 1611 bl defN 15-Aug-28 14:08
com/microsoft/z3/BitVecNum.class
│ +-rw---- 2.0 fat 5668 bl defN 15-Aug-28 14:08
com/microsoft/z3/FuncDecl.class
│ +-rw---- 2.0 fat 4731 bl defN 15-Aug-28 14:08
com/microsoft/z3/Quantifier.class
│ +-rw---- 2.0 fat 741 bl defN 15-Aug-28 14:08
com/microsoft/z3/ParamDescrsDecRefQueue.class
│ +-rw---- 2.0 fat 1473 bl defN 15-Aug-28 14:08
com/microsoft/z3/TupleSort.class
│ +-rw---- 2.0 fat 706 bl defN 15-Aug-28 14:08
com/microsoft/z3/Solver$1.class
│ +-rw---- 2.0 fat 4582 bl defN 15-Aug-28 14:08
com/microsoft/z3/Goal.class
│ +-rw---- 2.0 fat 299 bl defN 15-Aug-28 14:08
com/microsoft/z3/Native$IntPtr.class
│ +-rw---- 2.0 fat 1543 bl defN 15-Aug-28 14:08
com/microsoft/z3/IDecRefQueue.class
│ +-rw---- 2.0 fat 1956 bl defN 15-Aug-28 14:08
com/microsoft/z3/FPNum.class
│ +-rw---- 2.0 fat 733 bl defN 15-Aug-28 14:08
com/microsoft/z3/ASTVectorDecRefQueue.class
│ +-rw---- 2.0 fat 1247 bl defN 15-Aug-28 14:08
com/microsoft/z3/Sort$1.class
│ +-rw---- 2.0 fat 433 bl defN 15-Aug-28 14:08
com/microsoft/z3/Model$ModelEvaluationFailedException.class
│ +-rw---- 2.0 fat 930 bl defN 15-Aug-28 14:08
com/microsoft/z3/RelationSort.class
│ +-rw---- 2.0 fat 1063 bl defN 15-Aug-28 14:08
com/microsoft/z3/Expr$1.class
│ +-rw---- 2.0 fat 737 bl defN 15-Aug-28 14:08
com/microsoft/z3/FuncInterpDecRefQueue.class
│ +-rw---- 2.0 fat 721 bl defN 15-Aug-28 14:08
com/microsoft/z3/ASTMapDecRefQueue.class
│ +-rw---- 2.0 fat 1279 bl defN 15-Aug-28 14:08
com/microsoft/z3/Version.class
│ +-rw---- 2.0 fat 446 bl defN 15-Aug-28 14:08
com/microsoft/z3/IntSort.class
│ +-rw---- 2.0 fat 753 bl defN 15-Aug-28 14:08
com/microsoft/z3/InterpolationContext$ComputeInterpolantResult.class
│ +-rw---- 2.0 fat 262 bl defN 15-Aug-28 14:08
com/microsoft/z3/IDisposable.class
│ +-rw---- 2.0 fat 5511 bl defN 15-Aug-28 14:08
com/microsoft/z3/InterpolationContext.class
│ +-rw---- 2.0 fat 740 bl defN 15-Aug-28 14:08
com/microsoft/z3/Symbol$1.class
│ +-rw---- 2.0 fat 248 bl defN 15-Aug-28 14:08
com/microsoft/z3/IntExpr.class
│ +-rw---- 2.0 fat 1260 bl defN 15-Aug-28 14:08
com/microsoft/z3/Status.class
│ +-rw---- 2.0 fat 247 bl defN 15-Aug-28 14:08
com/microsoft/z3/ArithSort.class
│ +-rw---- 2.0 fat 1774 bl defN 15-Aug-28 14:08
com/microsoft/z3/DatatypeSort.class
│ +-rw---- 2.0 fat 455 bl defN 15-Aug-28 14:08
com/microsoft/z3/FPRMSort.class
│ +-rw---- 2.0 fat 6262 bl defN 15-Aug-28 14:08
com/microsoft/z3/Fixedpoint.class
│ +-rw---- 2.0 fat 3909 bl defN 15-Aug-28 14:08
com/microsoft/z3/AST.class
│ +-rw---- 2.0 fat 895 bl defN 15-Aug-28 14:08
com/microsoft/z3/FiniteDomainSort.class
│ +-rw---- 2.0 fat 1781 bl defN 15-Aug-28 14:08
com/microsoft/z3/ApplyResult.class
│ +-rw---- 2.0 fat 516 bl defN 15-Aug-28 14:08
com/microsoft/z3/BitVecSort.class
│ +-rw---- 2.0 fat 2178 bl defN 15-Aug-28 14:08
com/microsoft/z3/FuncInterp$Entry.class
│ +-rw---- 2.0 fat 2249 bl defN 15-Aug-28 14:08
com/microsoft/z3/ASTMap.class
│ +-rw---- 2.0 fat 1132 bl defN 15-Aug-28 14:08
com/microsoft/z3/Global.class
│ +-rw---- 2.0 fat 1508 bl defN 15-Aug-28 14:08
com/microsoft/z3/RatNum.class
│ +-rw---- 2.0 fat 245 bl defN 15-Aug-28 14:08
com/microsoft/z3/FPRMExpr.class
│ +-rw---- 2.0 fat 24115 bl defN 15-Aug-28 14:08
com/microsoft/z3/Expr.class
│ +[ 66 lines removed ]
│ 116 files, 358977 bytes uncompressed, 133953 bytes compressed: 62.7%
╵
--- End Message ---
--- Begin Message ---
Source: z3
Source-Version: 4.4.0-4
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.
Michael Tautschnig <[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: SHA256
Format: 1.8
Date: Fri, 04 Sep 2015 13:55:20 +0100
Source: z3
Binary: z3 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni
Architecture: source i386 all
Version: 4.4.0-4
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Michael Tautschnig <[email protected]>
Description:
libz3-cil - theorem prover from Microsoft Research - CLI bindings
libz3-dev - theorem prover from Microsoft Research - development files
libz3-java - theorem prover from Microsoft Research - java bindings
libz3-jni - theorem prover from Microsoft Research - JNI library
libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings
python-z3 - theorem prover from Microsoft Research - Python bindings
z3 - theorem prover from Microsoft Research
Closes: 797514 797515
Changes:
z3 (4.4.0-4) unstable; urgency=low
.
* Add libz3-jni package to split out arch-specific files from java package.
(Closes: #797515)
* Don't claim multi-arch compatibilty of libz3-cil. (Closes: #797514)
* ocamlopt isn't universally available, and never actually used in the build
process.
Checksums-Sha1:
9a703ac8cbdd334473c056bf2e1b09ca66b74984 2119 z3_4.4.0-4.dsc
0acdeb65629448be9b39643db63c0389bb319118 8604 z3_4.4.0-4.debian.tar.xz
7e433091a277f60113cd9a3eb7892204e71d6468 40168 libz3-cil_4.4.0-4_i386.deb
83f627953d012cd08a43d10f8fb13036f409c4b7 5688260 libz3-dev_4.4.0-4_i386.deb
63382ab4ad7ae044601e722891145b9d0604f834 137424 libz3-java_4.4.0-4_all.deb
16532719737b90e99645b9bd12c34f95154c027f 40356 libz3-jni_4.4.0-4_i386.deb
b5fb1f5b5e89d9df23b4a2060869de58537a1673 418262
libz3-ocaml-dev_4.4.0-4_i386.deb
a629dd295558327dbe478a44a43e0a2485c01e2d 66246 python-z3_4.4.0-4_i386.deb
18e4dc9a00a292707f4015859d38c51b0d7c9d65 5643660 z3_4.4.0-4_i386.deb
Checksums-Sha256:
aa1f8229daecfcc582fe667965cdcd55d503d691c6c5dd961fd507d50ac6afc5 2119
z3_4.4.0-4.dsc
33a9c707127bc2dd395f198bc0d0559c0fd787d118f36feb597b459cb272dadd 8604
z3_4.4.0-4.debian.tar.xz
dd5c871a1cd4bd49a4ce0fbc816fda3deb3bfd734be48642c551334566cb8a28 40168
libz3-cil_4.4.0-4_i386.deb
848f566898dcfbd65a57709a46a7fdec751667a1a1fa7eff52d24a152e7a2eba 5688260
libz3-dev_4.4.0-4_i386.deb
dbdb5cd6ae6ca31f6bab103a0b901d090eb1f027ca68220d6ba53fc0b91327c9 137424
libz3-java_4.4.0-4_all.deb
da26766f9d87abfe762f0a039d63db2ae3b1955377fcda64e4c0c03287268e41 40356
libz3-jni_4.4.0-4_i386.deb
468588f2cf9a763a11a193b38e171c4a1fe0beac45accde287ee170252eae571 418262
libz3-ocaml-dev_4.4.0-4_i386.deb
fd3507ba311b14d9013023a912628c36f52a36033b95476cfc956df88a1db70c 66246
python-z3_4.4.0-4_i386.deb
73a96fe2b97d6f5cc7c28281741433662c1ee7ac6c4b019518e37f723cad9b28 5643660
z3_4.4.0-4_i386.deb
Files:
71ca57f610103362d169b855f16c2481 2119 science extra z3_4.4.0-4.dsc
6b54b052fb589d4287a887b8b11295a7 8604 science extra z3_4.4.0-4.debian.tar.xz
99976304402f5d904adde944f44aea6a 40168 cli-mono extra
libz3-cil_4.4.0-4_i386.deb
8792dfc7b34a3fdbc74bccf7bd682f0c 5688260 libdevel extra
libz3-dev_4.4.0-4_i386.deb
20b1f85c6dbbdb5df2fc0c4b356f19ea 137424 java extra libz3-java_4.4.0-4_all.deb
25b77dd5612e42450735976b54ae0669 40356 java extra libz3-jni_4.4.0-4_i386.deb
9b12a974f348ce08ee269dfb6a0a5d5d 418262 libdevel extra
libz3-ocaml-dev_4.4.0-4_i386.deb
561992379bbf97d27d3b4a9ffc910825 66246 python extra python-z3_4.4.0-4_i386.deb
13071a2ce470738dd2f1ab14f751b376 5643660 science extra z3_4.4.0-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJV7UYzAAoJEDu/g5M27Kkxf9oP/1qlcBR6sU4ChJsDCbZnUaTw
I345SrYpIRIvKRsnPvPM76hl2flgOC0/MCwSyHYZ+ERvK8V4bGfHfN6tRhx9c3CF
WA6qs/+I40EpvaOR2ZpZkQ9V4s6+Cz1alwdJeAvDknepHC6R6YN5zKaPHhDRF17U
rFmD+rI0EjWxItc3wNYc9Z6w+LOBQskLS/Jr+76X6WjypsAoIhDPnXJsylSYJ1N1
EbmZlRb4tuk2BiLFIQFW8MFlIPtEiNCe7lrxkt+CpbkCsypqKVDZ7QIkaNUvQLeP
NBQAyPZOVXf+4+/i0wznDsNPgCYiIRENc5Qn1/VvYLmIVW0At2jSmlhFs6rAzz8Q
u3NU48o0wCmOIRbxVKkEhvRvM6xE/9Zg8MIqCHk8kEhLZNd8blHI8WFo85M+rN+O
HRinvxxR2Z/mNr6GkiqVHuX5qyGMxFn9sr4Ju14RbxvvWgraASJU5wCdVn062QLC
T/ltsPKtDYQwlmCjtyaVFW7ri1GAYzWoONp9zpdbLKkD16j1PFAs7nx1CDwwW3Hz
tkdDxYMdXWyLZa3lH3ycCYi61Pfj6DaWufM4Q7mfEP2xG5Ti3/IAnPJYSTkWcEjR
aSLd+XpzrozmDW/3vbUoRR8lK1ErTAQCGYy1O6U+3pBibJIQadMT6NvgBkjguLI4
lDVJgda0U1Nwv7ehI39V
=psIm
-----END PGP SIGNATURE-----
--- End Message ---
