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