Package: libz3-cil Version: 4.4.0-3 Severity: important User: multiarch-de...@lists.alioth.debian.org Usertags: multiarch
libz3-cil is marked as "Multi-Arch: same", but the following files are architecture-dependent:
/usr/lib/z3/Microsoft.Z3.dll.config /usr/lib/z3/Microsoft.Z3.dll An example diff between i386 and amd64 is attached. -- Jakub Wilk
Binary files libz3-cil_4.4.0-3_i386/usr/lib/z3/Microsoft.Z3.dll and libz3-cil_4.4.0-3_amd64/usr/lib/z3/Microsoft.Z3.dll differ diff -ur libz3-cil_4.4.0-3_i386/usr/lib/z3/Microsoft.Z3.dll.config libz3-cil_4.4.0-3_amd64/usr/lib/z3/Microsoft.Z3.dll.config --- libz3-cil_4.4.0-3_i386/usr/lib/z3/Microsoft.Z3.dll.config 2015-08-28 15:35:25.000000000 +0200 +++ libz3-cil_4.4.0-3_amd64/usr/lib/z3/Microsoft.Z3.dll.config 2015-08-29 15:29:10.000000000 +0200 @@ -1,3 +1,3 @@ <configuration> - <dllmap dll="libz3.dll" target="/usr/lib/i386-linux-gnu/libz3.so" os="linux"/> + <dllmap dll="libz3.dll" target="/usr/lib/x86_64-linux-gnu/libz3.so" os="linux"/> </configuration>
