Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/m/minizinc/minizinc_2.5.3+dfsg1-1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/minizinc-2.5.3+dfsg1-147e4l5js/minizinc_2.5.3+dfsg1-1_amd64.buildinfo Get source package info: minizinc=2.5.3+dfsg1-1 Source URL: http://snapshot.notset.fr/mr/package/minizinc/2.5.3+dfsg1-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.69-11.1 automake=1:1.16.3-1 autopoint=0.19.8.1-10 autotools-dev=20180224.1 base-files=11 base-passwd=3.5.48 bash=5.1-1 binutils=2.35.1-4 binutils-common=2.35.1-4 binutils-x86-64-linux-gnu=2.35.1-4 bison=2:3.7.4+dfsg-1 bsdextrautils=2.36.1-2 bsdutils=1:2.36.1-2 build-essential=12.8 bzip2=1.0.8-4 cmake=3.18.4-1+b1 cmake-data=3.18.4-1 coreutils=8.32-4+b1 cpp=4:10.2.0-1 cpp-10=10.2.1-1 dash=0.5.11+git20200708+dd9ef66-2 debconf=1.5.74 debhelper=13.3 debianutils=4.11.2 dh-autoreconf=19 dh-exec=0.23.2 dh-strip-nondeterminism=1.9.0-1 diffutils=1:3.7-3 dpkg=1.20.5 dpkg-dev=1.20.5 dwz=0.13+20201015-2 file=1:5.39-3 findutils=4.7.0+git20201010-2 flatzinc=6.2.0-5 flex=2.6.4-8 fontconfig=2.13.1-4.2 fontconfig-config=2.13.1-4.2 fonts-dejavu-core=2.37-2 fonts-lmodern=2.004.5-6 g++=4:10.2.0-1 g++-10=10.2.1-1 gcc=4:10.2.0-1 gcc-10=10.2.1-1 gcc-10-base=10.2.1-1 gettext=0.19.8.1-10 gettext-base=0.19.8.1-10 grep=3.6-1 groff-base=1.22.4-5 gzip=1.10-2 hostname=3.23 init-system-helpers=1.59 intltool-debian=0.35.0+20060710.5 latexmk=1:4.70b-0.1 libacl1=2.2.53-8 libarchive-zip-perl=1.68-1 libarchive13=3.4.3-2 libasan6=10.2.1-1 libatomic1=10.2.1-1 libattr1=1:2.4.48-5 libaudit-common=1:2.8.5-3.1 libaudit1=1:2.8.5-3.1+b1 libavahi-client3=0.8-3 libavahi-common-data=0.8-3 libavahi-common3=0.8-3 libbinutils=2.35.1-4 libblkid1=2.36.1-2 libboost-dev=1.71.0.3 libboost1.71-dev=1.71.0-7+b2 libbrotli1=1.0.9-2+b2 libbsd0=0.10.0-1 libbz2-1.0=1.0.8-4 libc-bin=2.31-5 libc-dev-bin=2.31-5 libc6=2.31-5 libc6-dev=2.31-5 libcairo2=1.16.0-4 libcap-ng0=0.7.9-2.2+b1 libcc1-0=10.2.1-1 libcom-err2=1.45.6-1 libcroco3=0.6.13-1 libcrypt-dev=1:4.4.17-1 libcrypt1=1:4.4.17-1 libctf-nobfd0=2.35.1-4 libctf0=2.35.1-4 libcups2=2.3.3op1-3 libcurl4=7.72.0-1 libdb5.3=5.3.28+dfsg1-0.6 libdbus-1-3=1.12.20-1 libdebconfclient0=0.255 libdebhelper-perl=13.3 libdouble-conversion3=3.1.5-6.1 libdpkg-perl=1.20.5 libdrm-amdgpu1=2.4.103-2 libdrm-common=2.4.103-2 libdrm-intel1=2.4.103-2 libdrm-nouveau2=2.4.103-2 libdrm-radeon1=2.4.103-2 libdrm2=2.4.103-2 libedit2=3.1-20191231-1 libegl-dev=1.3.2-1 libegl-mesa0=20.2.4-1 libegl1=1.3.2-1 libelf1=0.182-1 libevdev2=1.10.0+dfsg-1 libexpat1=2.2.10-1 libffi7=3.3-5 libfile-stripnondeterminism-perl=1.9.0-1 libfontconfig1=2.13.1-4.2 libfreetype6=2.10.4+dfsg-1 libgbm1=20.2.4-1 libgcc-10-dev=10.2.1-1 libgcc-s1=10.2.1-1 libgcrypt20=1.8.7-2 libgdbm-compat4=1.18.1-5.1 libgdbm6=1.18.1-5.1 libgecode-dev=6.2.0-5 libgecode49=6.2.0-5 libgecodeflatzinc49=6.2.0-5 libgecodegist49=6.2.0-5 libgl-dev=1.3.2-1 libgl1=1.3.2-1 libgl1-mesa-dri=20.2.4-1 libglapi-mesa=20.2.4-1 libglib2.0-0=2.66.3-2 libglu1-mesa=9.0.1-1 libglu1-mesa-dev=9.0.1-1 libglvnd0=1.3.2-1 libglx-dev=1.3.2-1 libglx-mesa0=20.2.4-1 libglx0=1.3.2-1 libgmp-dev=2:6.2.1+dfsg-1 libgmp10=2:6.2.1+dfsg-1 libgmpxx4ldbl=2:6.2.1+dfsg-1 libgnutls30=3.7.0-3 libgomp1=10.2.1-1 libgpg-error0=1.38-2 libgraphite2-3=1.3.14-1 libgssapi-krb5-2=1.18.3-4 libgudev-1.0-0=234-1 libharfbuzz0b=2.6.7-1 libhogweed6=3.6-2 libice6=2:1.0.10-1 libicu67=67.1-5 libidn2-0=2.3.0-4 libinput-bin=1.16.4-1 libinput10=1.16.4-1 libisl23=0.23-1 libitm1=10.2.1-1 libjpeg62-turbo=1:2.0.5-1.1 libjsoncpp24=1.9.4-3 libk5crypto3=1.18.3-4 libkeyutils1=1.6.1-2 libkpathsea6=2020.20200327.54578-5 libkrb5-3=1.18.3-4 libkrb5support0=1.18.3-4 libldap-2.4-2=2.4.56+dfsg-1 libllvm11=1:11.0.0-5+b1 liblsan0=10.2.1-1 liblz4-1=1.9.2-2 liblzma5=5.2.4-1+b1 libmagic-mgc=1:5.39-3 libmagic1=1:5.39-3 libmd4c0=0.4.6-1 libmount1=2.36.1-2 libmpc3=1.2.0-1 libmpfr-dev=4.1.0-3 libmpfr6=4.1.0-3 libmtdev1=1.1.6-1 libncurses6=6.2+20201114-1 libncursesw6=6.2+20201114-1 libnettle8=3.6-2 libnghttp2-14=1.42.0-1 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libp11-kit0=0.23.21-2 libpam-modules=1.3.1-5 libpam-modules-bin=1.3.1-5 libpam-runtime=1.3.1-5 libpam0g=1.3.1-5 libpaper-utils=1.1.28+b1 libpaper1=1.1.28+b1 libpciaccess0=0.16-1 libpcre2-16-0=10.35-2 libpcre2-8-0=10.35-2 libpcre3=2:8.39-13 libperl5.32=5.32.0-5 libpipeline1=1.5.3-1 libpixman-1-0=0.40.0-1 libpng16-16=1.6.37-3 libprocps8=2:3.3.16-5 libpsl5=0.21.0-1.1 libptexenc1=2020.20200327.54578-5 libpthread-stubs0-dev=0.4-1 libqt5concurrent5=5.15.1+dfsg-4 libqt5core5a=5.15.1+dfsg-4 libqt5dbus5=5.15.1+dfsg-4 libqt5gui5=5.15.1+dfsg-4 libqt5network5=5.15.1+dfsg-4 libqt5printsupport5=5.15.1+dfsg-4 libqt5sql5=5.15.1+dfsg-4 libqt5test5=5.15.1+dfsg-4 libqt5widgets5=5.15.1+dfsg-4 libqt5xml5=5.15.1+dfsg-4 libquadmath0=10.2.1-1 librhash0=1.4.0-1 librtmp1=2.4+20151223.gitfa8646d.1-2+b2 libsasl2-2=2.1.27+dfsg-2 libsasl2-modules-db=2.1.27+dfsg-2 libseccomp2=2.5.0-3+b1 libselinux1=3.1-2+b2 libsensors-config=1:3.6.0-2 libsensors5=1:3.6.0-2 libsigsegv2=2.12-2 libsm6=2:1.2.3-1 libsmartcols1=2.36.1-2 libssh2-1=1.9.0-1 libssl1.1=1.1.1i-1 libstdc++-10-dev=10.2.1-1 libstdc++6=10.2.1-1 libsub-override-perl=0.09-2 libsynctex2=2020.20200327.54578-5 libsystemd0=247.1-3 libtasn1-6=4.16.0-2 libteckit0=2.5.10+ds1-3 libtexlua53=2020.20200327.54578-5 libtexluajit2=2020.20200327.54578-5 libtinfo6=6.2+20201114-1 libtirpc-common=1.2.6-3 libtirpc-dev=1.2.6-3 libtirpc3=1.2.6-3 libtool=2.4.6-14 libtsan0=10.2.1-1 libubsan1=10.2.1-1 libuchardet0=0.0.7-1 libudev1=247.1-3 libunistring2=0.9.10-4 libuuid1=2.36.1-2 libuv1=1.40.0-1 libvulkan-dev=1.2.154.1-1 libvulkan1=1.2.154.1-1 libwacom-common=1.6-1 libwacom2=1.6-1 libwayland-client0=1.18.0-2~exp1.1 libwayland-server0=1.18.0-2~exp1.1 libx11-6=2:1.6.12-1 libx11-data=2:1.6.12-1 libx11-dev=2:1.6.12-1 libx11-xcb1=2:1.6.12-1 libxau-dev=1:1.0.8-1+b2 libxau6=1:1.0.8-1+b2 libxaw7=2:1.0.13-1+b2 libxcb-dri2-0=1.14-2 libxcb-dri3-0=1.14-2 libxcb-glx0=1.14-2 libxcb-icccm4=0.4.1-1.1 libxcb-image0=0.4.0-1+b3 libxcb-keysyms1=0.4.0-1+b2 libxcb-present0=1.14-2 libxcb-randr0=1.14-2 libxcb-render-util0=0.3.9-1+b1 libxcb-render0=1.14-2 libxcb-shape0=1.14-2 libxcb-shm0=1.14-2 libxcb-sync1=1.14-2 libxcb-util1=0.4.0-1+b1 libxcb-xfixes0=1.14-2 libxcb-xinerama0=1.14-2 libxcb-xinput0=1.14-2 libxcb-xkb1=1.14-2 libxcb1=1.14-2 libxcb1-dev=1.14-2 libxdamage1=1:1.1.5-2 libxdmcp-dev=1:1.1.2-3 libxdmcp6=1:1.1.2-3 libxext-dev=2:1.3.3-1+b2 libxext6=2:1.3.3-1+b2 libxfixes3=1:5.0.3-2 libxi6=2:1.7.10-1 libxkbcommon-x11-0=1.0.3-2 libxkbcommon0=1.0.3-2 libxml2=2.9.10+dfsg-6.3+b1 libxmu6=2:1.1.2-2+b3 libxpm4=1:3.5.12-1 libxrender1=1:0.9.10-1 libxshmfence1=1.3-1 libxt6=1:1.2.0-1 libxxf86vm1=1:1.1.4-1+b2 libz3-4=4.8.9-1 libzstd1=1.4.5+dfsg-4 libzzip-0-13=0.13.62-3.2 linux-libc-dev=5.9.11-1 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-4 make=4.3-4 man-db=2.9.3-2 mawk=1.3.4.20200120-2 ncurses-base=6.2+20201114-1 ncurses-bin=6.2+20201114-1 patch=2.7.6-6 perl=5.32.0-5 perl-base=5.32.0-5 perl-modules-5.32=5.32.0-5 po-debconf=1.0.21 procps=2:3.3.16-5 qt5-qmake=5.15.1+dfsg-4 qt5-qmake-bin=5.15.1+dfsg-4 qtbase5-dev=5.15.1+dfsg-4 qtbase5-dev-tools=5.15.1+dfsg-4 qtchooser=66-2 sed=4.7-1 sensible-utils=0.0.12+nmu1 shared-mime-info=2.0-1 sysvinit-utils=2.96-5 t1utils=1.41-4 tar=1.32+dfsg-1 tex-common=6.15 texlive-base=2020.20201203-2 texlive-binaries=2020.20200327.54578-5 texlive-latex-base=2020.20201203-2 texlive-latex-recommended=2020.20201203-2 ucf=3.0043 util-linux=2.36.1-2 x11-common=1:7.7+21 x11proto-core-dev=2020.1-1 x11proto-dev=2020.1-1 x11proto-xext-dev=2020.1-1 xdg-utils=1.1.3-2 xkb-data=2.29-2 xorg-sgml-doctools=1:1.11-1 xtrans-dev=1.4.0-1 xz-utils=5.2.4-1+b1 zlib1g=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20201210T083846Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d minizinc=2.5.3+dfsg1-1 && mkdir -p /build/minizinc-mOTKUQ && dpkg-source --no-check -x /*.dsc /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 && chown -R builduser:builduser /build/minizinc-mOTKUQ" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1607536978" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/minizinc-mOTKUQ /tmp/minizinc-2.5.3+dfsg1-147e4l5js bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20201210T083846Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: tar I: using /tmp/mmdebstrap._1rIUkg9Ev as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap._1rIUkg9Ev Reading package lists... Building dependency tree... util-linux is already the newest version (2.36.1-2). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 134 kB of archives. After this operation, 397 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20201210T083846Z unstable/main amd64 libfakeroot amd64 1.25.3-1.1 [47.0 kB] Get:2 http://snapshot.notset.fr/archive/debian/20201210T083846Z unstable/main amd64 fakeroot amd64 1.25.3-1.1 [87.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 kB in 0s (819 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4616 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.25.3-1.1_amd64.deb ... Unpacking libfakeroot:amd64 (1.25.3-1.1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.25.3-1.1_amd64.deb ... Unpacking fakeroot (1.25.3-1.1) ... Setting up libfakeroot:amd64 (1.25.3-1.1) ... Setting up fakeroot (1.25.3-1.1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.31-5) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20201210T083846Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap._1rIUkg9Ev Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20201210T083846Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Fetched 22.6 MB in 20s (1102 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap._1rIUkg9Ev I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d minizinc=2.5.3+dfsg1-1 && mkdir -p /build/minizinc-mOTKUQ && dpkg-source --no-check -x /*.dsc /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 && chown -R builduser:builduser /build/minizinc-mOTKUQ"' exec /tmp/mmdebstrap._1rIUkg9Ev Reading package lists... Need to get 1633 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main minizinc 2.5.3+dfsg1-1 (dsc) [1840 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main minizinc 2.5.3+dfsg1-1 (tar) [1622 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main minizinc 2.5.3+dfsg1-1 (diff) [9020 B] Fetched 1633 kB in 1s (1212 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'minizinc_2.5.3+dfsg1-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting minizinc in /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 dpkg-source: info: unpacking minizinc_2.5.3+dfsg1.orig.tar.gz dpkg-source: info: unpacking minizinc_2.5.3+dfsg1-1.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1607536978" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap._1rIUkg9Ev dpkg-buildpackage: info: source package minizinc dpkg-buildpackage: info: source version 2.5.3+dfsg1-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Kari Pahula dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh clean --buildsystem=cmake dh_auto_clean -O--buildsystem=cmake dh_autoreconf_clean -O--buildsystem=cmake dh_clean -O--buildsystem=cmake debian/rules build-arch dh build-arch --buildsystem=cmake dh_update_autotools_config -a -O--buildsystem=cmake dh_autoreconf -a -O--buildsystem=cmake debian/rules override_dh_auto_configure make[1]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1' dh_auto_configure -- -DUSE_GECODE=ON cd obj-x86_64-linux-gnu && cmake -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=None -DCMAKE_INSTALL_SYSCONFDIR=/etc -DCMAKE_INSTALL_LOCALSTATEDIR=/var -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_FIND_PACKAGE_NO_PACKAGE_REGISTRY=ON -DCMAKE_INSTALL_RUNSTATEDIR=/run -DCMAKE_SKIP_INSTALL_ALL_DEPENDENCY=ON "-GUnix Makefiles" -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_INSTALL_LIBDIR=lib/x86_64-linux-gnu -DUSE_GECODE=ON .. -- The CXX compiler identification is GNU 10.2.1 -- The C compiler identification is GNU 10.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Looking for include file dlfcn.h -- Looking for include file dlfcn.h - found -- Looking for include file Windows.h -- Looking for include file Windows.h - not found -- Could NOT find CPlex, use CPLEX_ROOT to hint its location (missing: CPLEX_INCLUDE) -- Could NOT find Geas, use Geas_ROOT to hint its location (missing: GEAS_INCLUDE GEAS_LIBRARY) -- Found MPFR: /usr/lib/x86_64-linux-gnu/libmpfr.so -- Found Gecode: /usr/include (found suitable version "6.2.0", minimum required is "6.0") found components: Driver Float Int Kernel Minimodel Search Set Support CMake Warning (dev) at cmake/modules/FindGurobi.cmake:9 (option): Policy CMP0077 is not set: option() honors normal variables. Run "cmake --help-policy CMP0077" for policy details. Use the cmake_policy command to set the policy and suppress this warning. For compatibility with older versions of CMake, option is clearing the normal variable 'GUROBI_PLUGIN'. Call Stack (most recent call first): CMakeLists.txt:48 (find_package) This warning is for project developers. Use -Wno-dev to suppress it. -- Could NOT find Gurobi, use GUROBI_ROOT to hint its location (missing: GUROBI_INCLUDE) -- Could NOT find ZLIB (missing: ZLIB_LIBRARY ZLIB_INCLUDE_DIR) -- OsiCBC: Missing dependency `Zlib` -- Could NOT find OsiCBC, use OsiCBC_ROOT to hint its location (missing: OSICBC_INCLUDE OSICBC_LIBRARY) -- Could NOT find SCIP, use SCIP_ROOT to hint its location (missing: SCIP_INCLUDE) -- Could NOT find Xpress, use Xpress_ROOT to hint its location (missing: XPRESS_INCLUDE) -- Looking for pthread.h -- Looking for pthread.h - found -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - found -- Found Threads: TRUE -- Found BISON: /usr/bin/bison (found suitable version "3.7.4", minimum required is "3.4") -- Found FLEX: /usr/bin/flex (found suitable version "2.6.4", minimum required is "2.5") ----- MiniZinc build configuration ---- MiniZinc version: 2.5.3 Enabled drivers: Gecode 6.2.0: /usr/include --------------------------------------- -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: USE_GECODE -- Build files have been written to: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu make[1]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1' dh_auto_build -a -O--buildsystem=cmake cd obj-x86_64-linux-gnu && make -j4 "INSTALL=install --strip-program=true" VERBOSE=1 make[1]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' /usr/bin/cmake -S/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 -B/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu//CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[2]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make -f CMakeFiles/minizinc_parser.dir/build.make CMakeFiles/minizinc_parser.dir/depend make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' [ 1%] [FLEX][RegExLexer] Building scanner with flex 2.6.4 cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 && /usr/bin/flex -P regex_yy -L -o/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/regex_lexer.yy.cpp /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/support/regex/lexer.lxx [ 2%] [BISON][RegExParser] Building parser with bison 3.7.4 cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 && /usr/bin/bison -p regex_yy -l --defines=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include/minizinc/support/regex_parser.tab.hh -o /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/regex_parser.tab.cpp /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/support/regex/parser.yxx [ 3%] [FLEX][MZNLexer] Building scanner with flex 2.6.4 cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 && /usr/bin/flex -P mzn_yy -L -o/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/lexer.yy.cpp /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/lexer.lxx [ 5%] [BISON][MZNParser] Building parser with bison 3.7.4 cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 && /usr/bin/bison -p mzn_yy -l --defines=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include/minizinc/parser.tab.hh -o /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/parser.tab.cpp /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/parser.yxx cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_parser.dir/DependInfo.cmake --color= Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_parser.dir/DependInfo.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_parser.dir/depend.internal". Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_parser.dir/depend.internal". Scanning dependencies of target minizinc_parser make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make -f CMakeFiles/minizinc_parser.dir/build.make CMakeFiles/minizinc_parser.dir/build make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' [ 6%] Building CXX object CMakeFiles/minizinc_parser.dir/regex_parser.tab.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_parser.dir/regex_parser.tab.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/regex_parser.tab.cpp [ 7%] Building CXX object CMakeFiles/minizinc_parser.dir/parser.tab.cpp.o [ 8%] Building CXX object CMakeFiles/minizinc_parser.dir/lexer.yy.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_parser.dir/parser.tab.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/parser.tab.cpp /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_parser.dir/lexer.yy.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/lexer.yy.cpp [ 10%] Building CXX object CMakeFiles/minizinc_parser.dir/regex_lexer.yy.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_parser.dir/regex_lexer.yy.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/regex_lexer.yy.cpp make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' [ 10%] Built target minizinc_parser make -f CMakeFiles/minizinc_nl.dir/build.make CMakeFiles/minizinc_nl.dir/depend make -f CMakeFiles/minizinc_mip.dir/build.make CMakeFiles/minizinc_mip.dir/depend make -f CMakeFiles/minizinc_fzn.dir/build.make CMakeFiles/minizinc_fzn.dir/depend make -f CMakeFiles/minizinc_gecode.dir/build.make CMakeFiles/minizinc_gecode.dir/depend make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_nl.dir/DependInfo.cmake --color= make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_mip.dir/DependInfo.cmake --color= make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_fzn.dir/DependInfo.cmake --color= make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_gecode.dir/DependInfo.cmake --color= Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_gecode.dir/DependInfo.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_gecode.dir/depend.internal". Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_fzn.dir/DependInfo.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_fzn.dir/depend.internal". Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_gecode.dir/depend.internal". Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_fzn.dir/depend.internal". Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_nl.dir/DependInfo.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_nl.dir/depend.internal". Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_nl.dir/depend.internal". Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_mip.dir/DependInfo.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_mip.dir/depend.internal". Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc_mip.dir/depend.internal". Scanning dependencies of target minizinc_nl Scanning dependencies of target minizinc_gecode Scanning dependencies of target minizinc_fzn make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make -f CMakeFiles/minizinc_gecode.dir/build.make CMakeFiles/minizinc_gecode.dir/build make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make -f CMakeFiles/minizinc_nl.dir/build.make CMakeFiles/minizinc_nl.dir/build Scanning dependencies of target minizinc_mip make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make -f CMakeFiles/minizinc_mip.dir/build.make CMakeFiles/minizinc_mip.dir/build [ 11%] Building CXX object CMakeFiles/minizinc_gecode.dir/lib/passes/gecode_pass.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_gecode.dir/lib/passes/gecode_pass.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/passes/gecode_pass.cpp make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make -f CMakeFiles/minizinc_fzn.dir/build.make CMakeFiles/minizinc_fzn.dir/build [ 12%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_components.cpp.o make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_components.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/nl/nl_components.cpp [ 13%] Building CXX object CMakeFiles/minizinc_mip.dir/lib/algorithms/min_cut.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_mip.dir/lib/algorithms/min_cut.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/algorithms/min_cut.cpp [ 15%] Building CXX object CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverfactory.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverfactory.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/fzn/fzn_solverfactory.cpp [ 16%] Building CXX object CMakeFiles/minizinc_mip.dir/lib/utils_savestream.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_mip.dir/lib/utils_savestream.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/utils_savestream.cpp [ 17%] Building CXX object CMakeFiles/minizinc_mip.dir/solvers/MIP/MIP_solverinstance.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_mip.dir/solvers/MIP/MIP_solverinstance.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/MIP/MIP_solverinstance.cpp In file included from /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/solvers/MIP/MIP_solverinstance.hh:159, from /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/MIP/MIP_solverinstance.cpp:23: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/solvers/MIP/MIP_solverinstance.hpp:79:50: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 79 | std::string v = "MIP solver plugin, compiled " __DATE__ ", using: " + | ^~~~~~~~ [ 18%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_file.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_file.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/nl/nl_file.cpp [ 20%] Building CXX object CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverinstance.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverinstance.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/fzn/fzn_solverinstance.cpp /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/fzn/fzn_solverinstance.cpp:46:46: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 46 | string v = "FZN solver plugin, compiled " __DATE__ " " __TIME__; | ^~~~~~~~ /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/fzn/fzn_solverinstance.cpp:46:60: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time] 46 | string v = "FZN solver plugin, compiled " __DATE__ " " __TIME__; | ^~~~~~~~ [ 21%] Building CXX object CMakeFiles/minizinc_gecode.dir/solvers/gecode/fzn_space.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_gecode.dir/solvers/gecode/fzn_space.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/gecode/fzn_space.cpp In file included from /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/fzn/fzn_solverinstance.cpp:21: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh: In member function ‘int MiniZinc::Process::run() [with S2O = MiniZinc::Solns2Out]’: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh:306:9: warning: ignoring return value of ‘int pipe(int*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 306 | pipe(pipes[0]); | ~~~~^~~~~~~~~~ /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh:307:9: warning: ignoring return value of ‘int pipe(int*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 307 | pipe(pipes[1]); | ~~~~^~~~~~~~~~ /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh:308:9: warning: ignoring return value of ‘int pipe(int*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 308 | pipe(pipes[2]); | ~~~~^~~~~~~~~~ /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh: In member function ‘int MiniZinc::Process::run() [with S2O = MiniZinc::Solns2Log]’: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh:306:9: warning: ignoring return value of ‘int pipe(int*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 306 | pipe(pipes[0]); | ~~~~^~~~~~~~~~ /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh:307:9: warning: ignoring return value of ‘int pipe(int*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 307 | pipe(pipes[1]); | ~~~~^~~~~~~~~~ /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh:308:9: warning: ignoring return value of ‘int pipe(int*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 308 | pipe(pipes[2]); | ~~~~^~~~~~~~~~ make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' [ 21%] Built target minizinc_mip [ 22%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solreader.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solreader.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/nl/nl_solreader.cpp [ 23%] Building CXX object CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverfactory.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverfactory.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/mzn/mzn_solverfactory.cpp [ 25%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverfactory.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverfactory.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/nl/nl_solverfactory.cpp [ 26%] Building CXX object CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_constraints.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_constraints.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/gecode/gecode_constraints.cpp [ 27%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverinstance.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverinstance.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/nl/nl_solverinstance.cpp /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/nl/nl_solverinstance.cpp:43:45: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 43 | string v = "NL solver plugin, compiled " __DATE__ " " __TIME__; | ^~~~~~~~ /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/nl/nl_solverinstance.cpp:43:59: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time] 43 | string v = "NL solver plugin, compiled " __DATE__ " " __TIME__; | ^~~~~~~~ [ 28%] Building CXX object CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverinstance.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverinstance.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/mzn/mzn_solverinstance.cpp /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/mzn/mzn_solverinstance.cpp:42:46: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 42 | string v = "MZN solver plugin, compiled " __DATE__ " " __TIME__; | ^~~~~~~~ /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/mzn/mzn_solverinstance.cpp:42:60: warning: macro "__TIME__" might prevent reproducible builds [-Wdate-time] 42 | string v = "MZN solver plugin, compiled " __DATE__ " " __TIME__; | ^~~~~~~~ [ 30%] Building CXX object CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverfactory.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverfactory.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/gecode/gecode_solverfactory.cpp In file included from /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/nl/nl_solverinstance.cpp:12: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh: In member function ‘int MiniZinc::Process::run() [with S2O = MiniZinc::NLSolns2Out]’: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh:306:9: warning: ignoring return value of ‘int pipe(int*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 306 | pipe(pipes[0]); | ~~~~^~~~~~~~~~ /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh:307:9: warning: ignoring return value of ‘int pipe(int*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 307 | pipe(pipes[1]); | ~~~~^~~~~~~~~~ /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh:308:9: warning: ignoring return value of ‘int pipe(int*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 308 | pipe(pipes[2]); | ~~~~^~~~~~~~~~ In file included from /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/mzn/mzn_solverinstance.cpp:16: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh: In member function ‘int MiniZinc::Process::run() [with S2O = MiniZinc::Solns2Log]’: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh:306:9: warning: ignoring return value of ‘int pipe(int*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 306 | pipe(pipes[0]); | ~~~~^~~~~~~~~~ /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh:307:9: warning: ignoring return value of ‘int pipe(int*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 307 | pipe(pipes[1]); | ~~~~^~~~~~~~~~ /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include/minizinc/process.hh:308:9: warning: ignoring return value of ‘int pipe(int*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 308 | pipe(pipes[2]); | ~~~~^~~~~~~~~~ make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' [ 30%] Built target minizinc_fzn [ 31%] Building CXX object CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverinstance.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverinstance.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/gecode/gecode_solverinstance.cpp make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' [ 31%] Built target minizinc_nl /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/solvers/gecode/gecode_solverinstance.cpp:48:48: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 48 | string v = "Gecode solver plugin, compiled " __DATE__ ", using: Gecode version " + | ^~~~~~~~ make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' [ 31%] Built target minizinc_gecode make -f CMakeFiles/mzn.dir/build.make CMakeFiles/mzn.dir/depend make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/mzn.dir/DependInfo.cmake --color= Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/mzn.dir/DependInfo.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/mzn.dir/depend.internal". Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/mzn.dir/depend.internal". Scanning dependencies of target mzn make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make -f CMakeFiles/mzn.dir/build.make CMakeFiles/mzn.dir/build make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' [ 33%] Building CXX object CMakeFiles/mzn.dir/lib/astexception.cpp.o [ 33%] Building CXX object CMakeFiles/mzn.dir/lib/ast.cpp.o [ 35%] Building CXX object CMakeFiles/mzn.dir/lib/MIPdomains.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/astexception.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/astexception.cpp /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/MIPdomains.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/MIPdomains.cpp /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/ast.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/ast.cpp [ 36%] Building CXX object CMakeFiles/mzn.dir/lib/astmap.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/astmap.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/astmap.cpp [ 37%] Building CXX object CMakeFiles/mzn.dir/lib/aststring.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/aststring.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/aststring.cpp [ 38%] Building CXX object CMakeFiles/mzn.dir/lib/astvec.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/astvec.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/astvec.cpp [ 40%] Building CXX object CMakeFiles/mzn.dir/lib/builtins.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/builtins.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/builtins.cpp [ 41%] Building C object CMakeFiles/mzn.dir/lib/cdecode.c.o /usr/bin/cc -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -o CMakeFiles/mzn.dir/lib/cdecode.c.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/cdecode.c [ 42%] Building C object CMakeFiles/mzn.dir/lib/cencode.c.o /usr/bin/cc -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -o CMakeFiles/mzn.dir/lib/cencode.c.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/cencode.c [ 43%] Building CXX object CMakeFiles/mzn.dir/lib/chain_compressor.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/chain_compressor.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/chain_compressor.cpp [ 45%] Building CXX object CMakeFiles/mzn.dir/lib/copy.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/copy.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/copy.cpp [ 46%] Building CXX object CMakeFiles/mzn.dir/lib/eval_par.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/eval_par.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/eval_par.cpp [ 47%] Building CXX object CMakeFiles/mzn.dir/lib/file_utils.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/file_utils.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/file_utils.cpp [ 48%] Building CXX object CMakeFiles/mzn.dir/lib/flatten.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten.cpp [ 50%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flat_exp.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flat_exp.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flat_exp.cpp [ 51%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_anon.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_anon.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_anon.cpp [ 52%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_arrayaccess.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_arrayaccess.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_arrayaccess.cpp [ 53%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_arraylit.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_arraylit.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_arraylit.cpp [ 55%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_binop.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_binop.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_binop.cpp [ 56%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_call.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_call.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_call.cpp [ 57%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_comp.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_comp.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_comp.cpp [ 58%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_id.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_id.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_id.cpp [ 60%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_ite.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_ite.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_ite.cpp [ 61%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_let.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_let.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_let.cpp [ 62%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_par.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_par.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_par.cpp [ 63%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_setlit.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_setlit.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_setlit.cpp [ 65%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_unop.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_unop.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_unop.cpp [ 66%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_vardecl.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_vardecl.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flatten/flatten_vardecl.cpp [ 67%] Building CXX object CMakeFiles/mzn.dir/lib/flattener.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flattener.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flattener.cpp /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/flattener.cpp:40:41: warning: macro "__DATE__" might prevent reproducible builds [-Wdate-time] 40 | os << "Copyright (C) 2014-" << string(__DATE__).substr(7, 4) | ^~~~~~~~ [ 68%] Building CXX object CMakeFiles/mzn.dir/lib/gc.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/gc.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/gc.cpp [ 70%] Building CXX object CMakeFiles/mzn.dir/lib/htmlprinter.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/htmlprinter.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/htmlprinter.cpp [ 71%] Building CXX object CMakeFiles/mzn.dir/lib/json_parser.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/json_parser.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/json_parser.cpp [ 72%] Building C object CMakeFiles/mzn.dir/lib/thirdparty/miniz.c.o /usr/bin/cc -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -o CMakeFiles/mzn.dir/lib/thirdparty/miniz.c.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/thirdparty/miniz.c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/thirdparty/miniz.c:3030:9: note: ‘#pragma message: Using fopen, ftello, fseeko, stat() etc. path for file I/O - this path may not support large files.’ 3030 | #pragma message("Using fopen, ftello, fseeko, stat() etc. path for file I/O - this path may not support large files.") | ^~~~~~~ [ 73%] Building CXX object CMakeFiles/mzn.dir/lib/model.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/model.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/model.cpp [ 75%] Building CXX object CMakeFiles/mzn.dir/lib/optimize.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/optimize.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/optimize.cpp [ 76%] Building CXX object CMakeFiles/mzn.dir/lib/optimize_constraints.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/optimize_constraints.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/optimize_constraints.cpp [ 77%] Building CXX object CMakeFiles/mzn.dir/lib/output.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/output.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/output.cpp [ 78%] Building CXX object CMakeFiles/mzn.dir/lib/param_config.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/param_config.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/param_config.cpp [ 80%] Building CXX object CMakeFiles/mzn.dir/lib/parser.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/parser.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/parser.cpp [ 81%] Building CXX object CMakeFiles/mzn.dir/lib/passes/compile_pass.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/passes/compile_pass.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/passes/compile_pass.cpp [ 82%] Building CXX object CMakeFiles/mzn.dir/lib/pathfileprinter.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/pathfileprinter.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/pathfileprinter.cpp [ 83%] Building CXX object CMakeFiles/mzn.dir/lib/prettyprinter.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/prettyprinter.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/prettyprinter.cpp [ 85%] Building CXX object CMakeFiles/mzn.dir/lib/solns2out.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/solns2out.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/solns2out.cpp [ 86%] Building CXX object CMakeFiles/mzn.dir/lib/solver.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/solver.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/solver.cpp [ 87%] Building CXX object CMakeFiles/mzn.dir/lib/solver_config.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/solver_config.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/solver_config.cpp [ 88%] Building CXX object CMakeFiles/mzn.dir/lib/solver_instance_base.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/solver_instance_base.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/solver_instance_base.cpp [ 90%] Building CXX object CMakeFiles/mzn.dir/lib/statistics.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/statistics.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/statistics.cpp [ 91%] Building CXX object CMakeFiles/mzn.dir/lib/type.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/type.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/type.cpp [ 92%] Building CXX object CMakeFiles/mzn.dir/lib/typecheck.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/typecheck.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/typecheck.cpp [ 93%] Building CXX object CMakeFiles/mzn.dir/lib/values.cpp.o /usr/bin/c++ -DHAS_GECODE -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/values.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/lib/values.cpp [ 95%] Linking CXX static library libmzn.a /usr/bin/cmake -P CMakeFiles/mzn.dir/cmake_clean_target.cmake /usr/bin/cmake -E cmake_link_script CMakeFiles/mzn.dir/link.txt --verbose=1 /usr/bin/ar qc libmzn.a CMakeFiles/mzn.dir/lib/MIPdomains.cpp.o CMakeFiles/mzn.dir/lib/ast.cpp.o CMakeFiles/mzn.dir/lib/astexception.cpp.o CMakeFiles/mzn.dir/lib/astmap.cpp.o CMakeFiles/mzn.dir/lib/aststring.cpp.o CMakeFiles/mzn.dir/lib/astvec.cpp.o CMakeFiles/mzn.dir/lib/builtins.cpp.o CMakeFiles/mzn.dir/lib/cdecode.c.o CMakeFiles/mzn.dir/lib/cencode.c.o CMakeFiles/mzn.dir/lib/chain_compressor.cpp.o CMakeFiles/mzn.dir/lib/copy.cpp.o CMakeFiles/mzn.dir/lib/eval_par.cpp.o CMakeFiles/mzn.dir/lib/file_utils.cpp.o CMakeFiles/mzn.dir/lib/flatten.cpp.o CMakeFiles/mzn.dir/lib/flatten/flat_exp.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_anon.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_arrayaccess.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_arraylit.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_binop.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_call.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_comp.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_id.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_ite.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_let.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_par.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_setlit.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_unop.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_vardecl.cpp.o CMakeFiles/mzn.dir/lib/flattener.cpp.o CMakeFiles/mzn.dir/lib/gc.cpp.o CMakeFiles/mzn.dir/lib/htmlprinter.cpp.o CMakeFiles/mzn.dir/lib/json_parser.cpp.o CMakeFiles/mzn.dir/lib/thirdparty/miniz.c.o CMakeFiles/mzn.dir/lib/model.cpp.o CMakeFiles/mzn.dir/lib/optimize.cpp.o CMakeFiles/mzn.dir/lib/optimize_constraints.cpp.o CMakeFiles/mzn.dir/lib/output.cpp.o CMakeFiles/mzn.dir/lib/param_config.cpp.o CMakeFiles/mzn.dir/lib/parser.cpp.o CMakeFiles/mzn.dir/lib/passes/compile_pass.cpp.o CMakeFiles/mzn.dir/lib/pathfileprinter.cpp.o CMakeFiles/mzn.dir/lib/prettyprinter.cpp.o CMakeFiles/mzn.dir/lib/solns2out.cpp.o CMakeFiles/mzn.dir/lib/solver.cpp.o CMakeFiles/mzn.dir/lib/solver_config.cpp.o CMakeFiles/mzn.dir/lib/solver_instance_base.cpp.o CMakeFiles/mzn.dir/lib/statistics.cpp.o CMakeFiles/mzn.dir/lib/type.cpp.o CMakeFiles/mzn.dir/lib/typecheck.cpp.o CMakeFiles/mzn.dir/lib/values.cpp.o CMakeFiles/minizinc_parser.dir/parser.tab.cpp.o CMakeFiles/minizinc_parser.dir/lexer.yy.cpp.o CMakeFiles/minizinc_parser.dir/regex_parser.tab.cpp.o CMakeFiles/minizinc_parser.dir/regex_lexer.yy.cpp.o CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverfactory.cpp.o CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverinstance.cpp.o CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverfactory.cpp.o CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverinstance.cpp.o CMakeFiles/minizinc_mip.dir/lib/algorithms/min_cut.cpp.o CMakeFiles/minizinc_mip.dir/lib/utils_savestream.cpp.o CMakeFiles/minizinc_mip.dir/solvers/MIP/MIP_solverinstance.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_components.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_file.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solreader.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverfactory.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverinstance.cpp.o CMakeFiles/minizinc_gecode.dir/lib/passes/gecode_pass.cpp.o CMakeFiles/minizinc_gecode.dir/solvers/gecode/fzn_space.cpp.o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_constraints.cpp.o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverfactory.cpp.o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverinstance.cpp.o /usr/bin/ranlib libmzn.a make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' [ 95%] Built target mzn make -f CMakeFiles/minizinc.dir/build.make CMakeFiles/minizinc.dir/depend make -f CMakeFiles/mzn2doc.dir/build.make CMakeFiles/mzn2doc.dir/depend make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc.dir/DependInfo.cmake --color= make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' cd /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/mzn2doc.dir/DependInfo.cmake --color= Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc.dir/DependInfo.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc.dir/depend.internal". Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/minizinc.dir/depend.internal". Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/mzn2doc.dir/DependInfo.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/mzn2doc.dir/depend.internal". Dependee "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles/mzn2doc.dir/depend.internal". Scanning dependencies of target minizinc Scanning dependencies of target mzn2doc make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make -f CMakeFiles/minizinc.dir/build.make CMakeFiles/minizinc.dir/build make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make -f CMakeFiles/mzn2doc.dir/build.make CMakeFiles/mzn2doc.dir/build make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make[3]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' [ 96%] Building CXX object CMakeFiles/minizinc.dir/minizinc.cpp.o [ 97%] Building CXX object CMakeFiles/mzn2doc.dir/mzn2doc.cpp.o /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIE -std=gnu++11 -o CMakeFiles/mzn2doc.dir/mzn2doc.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/mzn2doc.cpp /usr/bin/c++ -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/include -I/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/include -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIE -std=gnu++11 -o CMakeFiles/minizinc.dir/minizinc.cpp.o -c /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/minizinc.cpp [ 98%] Linking CXX executable minizinc /usr/bin/cmake -E cmake_link_script CMakeFiles/minizinc.dir/link.txt --verbose=1 /usr/bin/c++ -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -Wl,-z,relro CMakeFiles/minizinc.dir/minizinc.cpp.o -o minizinc libmzn.a -lpthread /usr/lib/x86_64-linux-gnu/libgecodedriver.so /usr/lib/x86_64-linux-gnu/libgecodefloat.so /usr/lib/x86_64-linux-gnu/libgecodeint.so /usr/lib/x86_64-linux-gnu/libgecodekernel.so /usr/lib/x86_64-linux-gnu/libgecodesearch.so /usr/lib/x86_64-linux-gnu/libgecodeset.so /usr/lib/x86_64-linux-gnu/libgecodeminimodel.so /usr/lib/x86_64-linux-gnu/libgecodesupport.so [100%] Linking CXX executable mzn2doc /usr/bin/cmake -E cmake_link_script CMakeFiles/mzn2doc.dir/link.txt --verbose=1 /usr/bin/c++ -g -O2 -fdebug-prefix-map=/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -Wl,-z,relro CMakeFiles/mzn2doc.dir/mzn2doc.cpp.o -o mzn2doc libmzn.a -lpthread /usr/lib/x86_64-linux-gnu/libgecodedriver.so /usr/lib/x86_64-linux-gnu/libgecodefloat.so /usr/lib/x86_64-linux-gnu/libgecodeint.so /usr/lib/x86_64-linux-gnu/libgecodekernel.so /usr/lib/x86_64-linux-gnu/libgecodesearch.so /usr/lib/x86_64-linux-gnu/libgecodeset.so /usr/lib/x86_64-linux-gnu/libgecodeminimodel.so /usr/lib/x86_64-linux-gnu/libgecodesupport.so make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' [100%] Built target mzn2doc make[3]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' [100%] Built target minizinc make[2]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' /usr/bin/cmake -E cmake_progress_start /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu/CMakeFiles 0 make[1]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' dh_auto_test -a -O--buildsystem=cmake create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch --buildsystem=cmake dh_testroot -a -O--buildsystem=cmake dh_prep -a -O--buildsystem=cmake dh_auto_install -a -O--buildsystem=cmake cd obj-x86_64-linux-gnu && make -j4 install DESTDIR=/build/minizinc-mOTKUQ/minizinc-2.5.3\+dfsg1/debian/minizinc AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' /usr/bin/cmake -S/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1 -B/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu --check-build-system CMakeFiles/Makefile.cmake 0 make -f CMakeFiles/Makefile2 preinstall make[2]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' make[2]: Nothing to be done for 'preinstall'. make[2]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' Install the project... /usr/bin/cmake -P cmake_install.cmake -- Install configuration: "None" -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/config.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/lib/x86_64-linux-gnu/libmzn.a -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/g12_fd -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/g12_fd/all_different_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/g12_fd/cumulative.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/g12_fd/global_cardinality_low_up.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/all_different_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/inverse.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/redefinitions-2.0.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/linear -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/linear/all_different_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/linear/inverse.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/linear/redefinitions-2.0.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/linear/table_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/linear/redefinitions-2.0.2.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/linear/redefinitions.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/linear/domain_encodings.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/table_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/redefinitions-2.0.2.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/redefinitions.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear_old/domain_encodings.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/redefinitions-2.2.1.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_circuit.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_cumulative.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/redefinitions-2.0.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/redefs_lin_imp.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_lex_less_bool_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_inverse_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_subcircuit.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/redefs_bool_imp.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_inverse_in_range.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_all_different_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_if_then_else_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/CHANGELOG.txt -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/redefs_lin_reifs.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/redefs_bool_reifs.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_regular.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/subcircuit_wDummy.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_lex_lesseq_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_inverse.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_lex_lesseq_bool_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/redefinitions-2.0.2.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_if_then_else_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_table_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/options.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_inverse_in_range_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_alldifferent_except_0.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/redefs_lin_halfreifs.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/redefinitions.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/domain_encodings.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/linear/fzn_sliding_sum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_at_most1_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_span.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/all_different_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_value_precede_chain_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/member_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_knapsack_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/arg_sort.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_geost.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/analyse_all_different.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_strictly_increasing_bool_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/bin_packing_load_fn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_sum_pred.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/cumulative.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bounded_path_enum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_all_equal_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/regular_regexp.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/at_least_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_member_float_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_at_most_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/mdd.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_geq_par_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dconnected.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/write.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_less_float_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bounded_path_enum_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_global_cardinality_low_up_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_sum_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/redefinitions-2.2.1.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dtree_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_increasing_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/circuit.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_mdd_nondet_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_opt_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bounded_path_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/geost.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_strict_lex2.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_tree_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_arg_min_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_subgraph_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dtree_enum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/value_precede_chain.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bin_packing.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_geost_nonoverlap_k_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/inverse.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_tree_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_mdd_nondet.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/among.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_neural_net_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_disjoint_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_circuit.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/count_leq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_cumulative.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_gt_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_global_cardinality_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/bin_packing_capa.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_subgraph_enum_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/redefinitions-2.3.3.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bounded_dpath_enum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_less_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_nvalue_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_arg_max_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex2.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_cost_regular.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/all_equal_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/member_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_range.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_strictly_decreasing_bool_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dsteiner_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_regular_regexp.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/at_least_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/roots_fn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_mdd.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/bin_packing.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_increasing_bool_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/member.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_sliding_sum_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/redefinitions-2.0.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/reachable.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/arg_sort_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_diffn_k_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/at_most_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/decreasing.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/sort_fn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_disjoint.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/decreasing_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/alldifferent.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex_less.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_sort_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_lesseq_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_regular_nfa_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_disjunctive_opt_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/count.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_geost_smallest_bb_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_regular_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/arg_min_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_disjunctive_strict_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_arg_sort_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_decreasing_float_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/member_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_among_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/value_precede_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/strictly_increasing.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_less_bool_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_inverse_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dpath_enum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_disjunctive_strict_opt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_lesseq_float_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_arg_max_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/piecewise_linear.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_eq_par.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_at_most_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_value_precede_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_member_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_steiner_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_all_equal_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_eq_par_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_decreasing_bool_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/solver_redefinitions.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_at_least_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex_less_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/global_cardinality_low_up_closed.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_neural_net.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_inverse_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_geq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_subcircuit_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_at_least_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_alldifferent_except_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex_lesseq_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_regular_nfa_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_member_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/increasing_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dtree_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_opt_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/knapsack.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_value_precede_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_member_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_neq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/inverse_in_range.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_subcircuit.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/tree.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dtree_enum_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_at_least_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/decreasing_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_all_different_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_gt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_at_most1.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_diffn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_eq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_decreasing_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_transitive_closure.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_regular_nfa.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/int_set_channel.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/disjunctive_strict.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/cumulative_opt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_inverse_in_range.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/alldifferent_except.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/table_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_exactly_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_tree_enum_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/disjunctive_strict_opt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_member_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_int_set_channel_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_writes.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_span_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_arg_sort_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_circuit_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_at_least_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dsteiner.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex2_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_steiner.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_strictly_increasing_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/element_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_arg_sort_float_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_knapsack.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_value_precede_chain_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_strictly_decreasing_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_cost_mdd_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_value_precede_chain_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex_less_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/increasing_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/sort.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/disjoint.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/at_least.mzn.deprecated.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_opt_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_partiality.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_writes_seq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/atmost1.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/increasing_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/nvalue_fn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/inverse_fn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_at_most_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_var_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/increasing.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/regular_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_diffn_k.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_all_different_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/at_most.mzn.deprecated.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_increasing_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/sum_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_path_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_write.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_global_cardinality.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_all_different_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_diffn_nonstrict_k_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_exactly_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/arg_min.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_member_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_leq_par.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_global_cardinality_low_up.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_cumulative_opt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_tree_enum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_distribute.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_leq_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/strict_lex2.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/global_cardinality_closed.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_range_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_among.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/decreasing_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_network_flow_cost_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_gt_par.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/at_most.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/globals.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/nosets.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/comparison_rel_array.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/table_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_subgraph_enum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/atmost.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/roots.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex_lesseq_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_reachable_enum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_partition_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/count_neq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_disjunctive.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/global_cardinality.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_regular_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_diffn_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bounded_dpath_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/count_fn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/subgraph.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/arg_max_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_geost_bb_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_sum_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_lt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/seq_precede_chain.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_seq_precede_chain_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/writes_seq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_piecewise_linear_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_wst_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_geost_smallest_bb.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_arg_sort_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/value_precede_chain_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_all_equal_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/connected.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/cost_regular.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_subgraph_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex_lesseq_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_network_flow_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/at_most_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/link_set_to_booleans.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_strictly_increasing_int_opt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_seq_precede_chain_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bin_packing_capa_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_set_member_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_link_set_to_booleans.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_nvalue.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_all_equal_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_reachable_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_leq_par_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_strictly_decreasing_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/path.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/subcircuit.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_regular.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/diffn_nonstrict.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/range_fn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/bounded_path.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_lesseq_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_decreasing_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/arg_min_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_decreasing_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dconnected_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/alldifferent_except_0.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_lt_par.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_regular_nfa_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/alternative.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_value_precede_int_opt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dwst_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_int_set_channel.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/distribute_fn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_wst.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/global_cardinality_low_up.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/distribute.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/at_most1.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/table.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex_less_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_disjunctive_strict_opt_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_lesseq_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/element_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dpath_enum_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/symmetric_all_different.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_inverse.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/exactly_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/arg_max_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/arg_max.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/neural_net.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/range.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_decreasing_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_decreasing_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/regular_nfa.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bin_packing_capa.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dreachable_enum_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_diffn_nonstrict_k.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_alternative_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_less_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_mdd_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/network_flow.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex_greater.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/weighted_spanning_tree.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/all_different.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/disjunctive_opt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_arg_max_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_reachable_enum_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_increasing_float_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_gt_par_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_strictly_increasing_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/element.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_lt_par_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/span.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex_lesseq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/redefinitions-2.5.2.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_geost_nonoverlap_k.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_diffn_nonstrict_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/maximum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/nvalue.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dreachable_enum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/sum_pred.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_reachable_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_symmetric_all_different.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_all_different_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dpath_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/all_equal.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/redefinitions-2.1.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_global_cardinality_closed.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_member_bool_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_var_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_value_precede_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_value_precede_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_leq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_all_disjoint.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bin_packing_load.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/member_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/all_different_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_network_flow_cost.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/count_geq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/exactly.mzn.deprecated.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_link_set_to_booleans_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_disjunctive_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_cost_mdd.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_piecewise_linear.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/arg_max_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bounded_path_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_writes_seq_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex_greatereq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_arg_min_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_exactly_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_lesseq_bool_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/redefinitions-2.0.2.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_cumulative_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_global_cardinality_low_up_closed.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/arg_sort_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_network_flow.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/diffn_nonstrict_k.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bounded_dpath_enum_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/among_fn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/bin_packing_load.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_roots_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_path_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_seq_precede_chain_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dag_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_path_enum_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_write_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_decreasing_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/element_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_increasing_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_partition_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/sliding_sum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_global_cardinality_closed_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_var_opt_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_var_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dreachable_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_strict_lex2_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_member_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/global_cardinality_fn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/experimental.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/inverse_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_neq_par.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_var_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/increasing_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_var_opt_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_lesseq_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_diffn_nonstrict.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_table_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/exactly_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/exactly.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/count_lt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/count_gt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_set_member.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_increasing_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_seq_precede_chain_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_var_opt_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_sort.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_geq_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/element_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_if_then_else_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/set_member.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dag.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/minimum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/disjunctive.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_geost_bb.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_geq_par.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_path_enum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/mdd_nondet.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_alldifferent_except_0_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/diffn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_neq_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_global_cardinality_low_up_closed_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dreachable_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/diffn_k.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_strictly_decreasing_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_less_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/cost_mdd.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_lesseq_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/steiner.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/regular.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_lesseq_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_inverse_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/global_cardinality_closed_fn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/at_least.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex_lesseq_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dwst.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_strictly_increasing_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex_less_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_lt_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_at_most_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bin_packing_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_writes_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/value_precede_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_table_int_opt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_table_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_symmetric_all_different_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/strictly_decreasing.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/count_eq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_less_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bin_packing_load_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_disjunctive_strict.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_inverse_in_range_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_roots.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_eq_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_value_precede_chain_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_cost_regular_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_arg_min_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_geost_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_disjunctive_opt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/value_precede_chain_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/partition_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_sum_pred_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_alldifferent_except_0.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_increasing_float.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_alternative.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_distribute_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_connected.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/redefinitions-2.1.1.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_count_neq_par_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_regular_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_cumulative_opt_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/redefinitions.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/decreasing_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_increasing_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/value_precede.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_table_bool_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_exactly_set_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_random.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_coercion.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_internal.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_array.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_reflect.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_sort.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_ite.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_compare.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_enum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_opt.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_ann.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_logic.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_language.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_math.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_debug.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/stdlib/stdlib_string.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/flatzinc_builtins.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/lex2.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_all_disjoint_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/atleast.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_dpath_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_table_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_less_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_lex_less_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_connected_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_alldifferent_except.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/arg_min_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/dag.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_sliding_sum.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/all_disjoint.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/all_equal_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/fzn_bounded_dpath_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/std/writes.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/Preferences.json -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/g12_lazyfd -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/g12_lazyfd/all_different_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/g12_lazyfd/redefinitions.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/geas -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/geas/fzn_cumulative.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/geas/redefinitions-2.0.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/geas/fzn_value_precede_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/geas/fzn_all_different_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/geas/fzn_global_cardinality.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/geas/fzn_disjunctive.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/geas/fzn_inverse.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/geas/fzn_table_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/geas/fzn_alldifferent_except_0.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/geas/redefinitions.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_sum_pred.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_at_most_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_bin_packing.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_circuit.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_cumulative.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_range.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/redefinitions-2.0.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_disjoint.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_lex_lesseq_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_value_precede_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_member_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_all_equal_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_at_least_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_inverse_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_member_int_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_value_precede_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_diffn.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_count_eq.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_decreasing_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_exactly_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_member_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_at_least_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_at_most_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_all_different_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_global_cardinality.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_exactly_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_global_cardinality_low_up.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_distribute.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_among.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_partition_set.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/precedence.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_link_set_to_booleans.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_nvalue.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_regular.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/gecode.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_int_set_channel.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_lex_lesseq_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_inverse.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_decreasing_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_bin_packing_capa.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_arg_max_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_global_cardinality_closed.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_member_bool_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_bin_packing_load.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_global_cardinality_low_up_closed.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_increasing_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_table_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_increasing_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_sort.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_lex_less_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_table_bool.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_roots.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_count_eq_reif.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_arg_min_int.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/redefinitions.mzn -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/minizinc/gecode_presolver/fzn_lex_less_bool.mzn -- Up-to-date: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/copy.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/optimize_constraints.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/builtins.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/interrupt.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/plugin.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/flatten_internal.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/statistics.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/algorithms -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/algorithms/min_cut.h -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/timer.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/geas_solverinstance.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/fzn_solverfactory.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/geas_solverfactory.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_scip_solverfactory.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_gurobi_solverfactory.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_solverinstance.hpp -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_cplex_solverfactory.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_osicbc_wrap.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_solverinstance.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_cplex_wrap.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_wrap.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_xpress_wrap.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_scip_wrap.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_gurobi_wrap.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_xpress_solverfactory.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/MIP/MIP_osicbc_solverfactory.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/fzn_solverinstance.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/nl -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/nl/nl_file.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/nl/nl_components.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/nl/nl_solverfactory.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/nl/nl_solreader.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/nl/nl_solverinstance.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/gecode_solverinstance.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/mzn_solverinstance.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/geas -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/geas/geas_constraints.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/gecode -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/gecode/gecode_constraints.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/gecode/fzn_space.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/mzn_solverfactory.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solvers/gecode_solverfactory.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/utils.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/pathfileprinter.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/flat_exp.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/support -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/support/regex.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/json_parser.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solns2out.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/type.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/output.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/hash.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/flattener.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/param_config.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/astiterator.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/flatten.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/exception.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/prettyprinter.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/aststring.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/iter.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/ast.hpp -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solver.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solver_config.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solver_instance.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/file_utils.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/passes -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/passes/gecode_pass.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/passes/compile_pass.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/values.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/astvec.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/parser.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/astexception.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/utils_savestream.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/eval_par.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solver_instance_base.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/gc.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/ast.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/solver_instance_defs.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/process.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/typecheck.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/chain_compressor.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/astmap.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/htmlprinter.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/optimize.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/_thirdparty -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/_thirdparty/b64 -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/_thirdparty/b64/cdecode.h -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/_thirdparty/b64/encode.h -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/_thirdparty/b64/decode.h -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/_thirdparty/b64/cencode.h -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/_thirdparty/miniz.h -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/MIPdomains.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/model.hh -- Up-to-date: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc -- Up-to-date: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/support -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/support/regex_parser.tab.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include/minizinc/parser.tab.hh -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/bin/minizinc -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/bin/mzn2doc -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/lib/x86_64-linux-gnu/cmake/libminizinc/FindGecode.cmake -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/lib/x86_64-linux-gnu/cmake/libminizinc/FindMPFR.cmake -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/lib/x86_64-linux-gnu/cmake/libminizinc/libminizincConfig.cmake -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/lib/x86_64-linux-gnu/cmake/libminizinc/libminizincConfigVersion.cmake -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/lib/x86_64-linux-gnu/cmake/libminizinc/libminizincTargets.cmake -- Installing: /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/lib/x86_64-linux-gnu/cmake/libminizinc/libminizincTargets-none.cmake make[1]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/obj-x86_64-linux-gnu' debian/rules override_dh_install make[1]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1' dh_install rm -rf /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/lib /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/include make[1]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1' debian/rules override_dh_installdocs make[1]: Entering directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1' dh_installdocs rm -f /build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1/debian/minizinc/usr/share/doc/minizinc/*.txt make[1]: Leaving directory '/build/minizinc-mOTKUQ/minizinc-2.5.3+dfsg1' dh_installchangelogs -a -O--buildsystem=cmake dh_installsystemduser -a -O--buildsystem=cmake dh_perl -a -O--buildsystem=cmake dh_link -a -O--buildsystem=cmake dh_strip_nondeterminism -a -O--buildsystem=cmake dh_compress -a -O--buildsystem=cmake dh_fixperms -a -O--buildsystem=cmake dh_missing -a -O--buildsystem=cmake dh_dwz -a -a -O--buildsystem=cmake dh_strip -a -a -O--buildsystem=cmake dh_makeshlibs -a -a -O--buildsystem=cmake dh_shlibdeps -a -a -O--buildsystem=cmake dh_installdeb -a -O--buildsystem=cmake dh_gencontrol -a -O--buildsystem=cmake dh_md5sums -a -O--buildsystem=cmake dh_builddeb -a -O--buildsystem=cmake dpkg-deb: building package 'minizinc-dbgsym' in '../minizinc-dbgsym_2.5.3+dfsg1-1_amd64.deb'. dpkg-deb: building package 'minizinc' in '../minizinc_2.5.3+dfsg1-1_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../minizinc_2.5.3+dfsg1-1_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/minizinc-mOTKUQ /tmp/minizinc-2.5.3+dfsg1-147e4l5js I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap._1rIUkg9Ev... I: success in 1975.3251 seconds md5: minizinc-dbgsym_2.5.3+dfsg1-1_amd64.deb: OK md5: minizinc_2.5.3+dfsg1-1_amd64.deb: OK sha1: minizinc-dbgsym_2.5.3+dfsg1-1_amd64.deb: OK sha1: minizinc_2.5.3+dfsg1-1_amd64.deb: OK sha256: minizinc-dbgsym_2.5.3+dfsg1-1_amd64.deb: OK sha256: minizinc_2.5.3+dfsg1-1_amd64.deb: OK Checksums: OK