Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/d/dafny/dafny_2.3.0+dfsg-0.1_all.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/dafny-2.3.0+dfsg-0.1zgb1b9do/dafny_2.3.0+dfsg-0.1_all.buildinfo Get source package info: dafny=2.3.0+dfsg-0.1 Source URL: http://snapshot.notset.fr/mr/package/dafny/2.3.0+dfsg-0.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.1-4 autopoint=0.19.8.1-10 autotools-dev=20180224.1 base-files=11 base-passwd=3.5.47 bash=5.0-5 binutils=2.33.50.20200115-2 binutils-common=2.33.50.20200115-2 binutils-x86-64-linux-gnu=2.33.50.20200115-2 bsdmainutils=11.1.2+b1 bsdutils=1:2.34-0.1 build-essential=12.8 bzip2=1.0.8-2 ca-certificates=20190110 cli-common=0.10 cli-common-dev=0.10 coreutils=8.30-3+b1 cpp=4:9.2.1-3.1 cpp-9=9.2.1-24 dash=0.5.10.2-6 debconf=1.5.73 debhelper=12.8 debianutils=4.9.1 dh-autoreconf=19 dh-strip-nondeterminism=1.6.3-1 diffutils=1:3.7-3 dpkg=1.19.7 dpkg-dev=1.19.7 dwz=0.13-5 fdisk=2.34-0.1 file=1:5.38-4 findutils=4.7.0-1 fontconfig-config=2.13.1-2 fonts-dejavu-core=2.37-1 g++=4:9.2.1-3.1 g++-9=9.2.1-24 gcc=4:9.2.1-3.1 gcc-9=9.2.1-24 gcc-9-base=9.2.1-24 gettext=0.19.8.1-10 gettext-base=0.19.8.1-10 grep=3.3-1 groff-base=1.22.4-4 gzip=1.9-3+b1 hostname=3.23 init-system-helpers=1.57 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-5 libarchive-zip-perl=1.67-1 libasan5=9.2.1-24 libatomic1=9.2.1-24 libattr1=1:2.4.48-5 libaudit-common=1:2.8.5-2 libaudit1=1:2.8.5-2+b1 libbinutils=2.33.50.20200115-2 libblkid1=2.34-0.1 libboogie-cil=2.4.1+dfsg-0.1 libbsd0=0.10.0-1 libbz2-1.0=1.0.8-2 libc-bin=2.29-9 libc-dev-bin=2.29-9 libc6=2.29-9 libc6-dev=2.29-9 libcairo2=1.16.0-4 libcap-ng0=0.7.9-2.1+b1 libcc1-0=9.2.1-24 libcroco3=0.6.13-1 libcrypt-dev=1:4.4.10-10 libcrypt1=1:4.4.10-10 libctf-nobfd0=2.33.50.20200115-2 libctf0=2.33.50.20200115-2 libdb5.3=5.3.28+dfsg1-0.6 libdebconfclient0=0.250 libdebhelper-perl=12.8 libdpkg-perl=1.19.7 libelf1=0.176-1.1 libencode-locale-perl=1.05-1 libexif12=0.6.21-5.1 libexpat1=2.2.9-1 libfdisk1=2.34-0.1 libffi7=3.3-3 libfile-listing-perl=6.04-1 libfile-stripnondeterminism-perl=1.6.3-1 libfontconfig1=2.13.1-2+b1 libfreetype6=2.10.1-2 libgcc-9-dev=9.2.1-24 libgcc1=1:9.2.1-24 libgcrypt20=1.8.5-3 libgdbm-compat4=1.18.1-5 libgdbm6=1.18.1-5 libgdiplus=6.0.4+dfsg-1 libgif7=5.1.9-1 libglib2.0-0=2.62.4-1+b1 libgmp10=2:6.1.2+dfsg-4 libgomp1=9.2.1-24 libgpg-error0=1.36-7 libhtml-parser-perl=3.72-3+b4 libhtml-tagset-perl=3.20-4 libhtml-tree-perl=5.07-2 libhttp-cookies-perl=6.08-1 libhttp-date-perl=6.05-1 libhttp-message-perl=6.18-1 libhttp-negotiate-perl=6.01-1 libicu63=63.2-2 libio-html-perl=1.001-1 libio-socket-ssl-perl=2.066-1 libisl22=0.22-2 libitm1=9.2.1-24 libjbig0=2.1-3.1+b2 libjpeg62-turbo=1:1.5.2-2+b1 liblsan0=9.2.1-24 liblwp-mediatypes-perl=6.04-1 liblwp-protocol-https-perl=6.07-2 liblz4-1=1.9.2-2 liblzma5=5.2.4-1+b1 libmagic-mgc=1:5.38-4 libmagic1=1:5.38-4 libmono-2.0-dev=5.18.0.240+dfsg-5 libmono-accessibility4.0-cil=5.18.0.240+dfsg-5 libmono-cairo4.0-cil=5.18.0.240+dfsg-5 libmono-cecil-private-cil=5.18.0.240+dfsg-5 libmono-cil-dev=5.18.0.240+dfsg-5 libmono-codecontracts4.0-cil=5.18.0.240+dfsg-5 libmono-compilerservices-symbolwriter4.0-cil=5.18.0.240+dfsg-5 libmono-corlib4.5-cil=5.18.0.240+dfsg-5 libmono-cscompmgd0.0-cil=5.18.0.240+dfsg-5 libmono-csharp4.0c-cil=5.18.0.240+dfsg-5 libmono-custommarshalers4.0-cil=5.18.0.240+dfsg-5 libmono-data-tds4.0-cil=5.18.0.240+dfsg-5 libmono-db2-1.0-cil=5.18.0.240+dfsg-5 libmono-debugger-soft4.0a-cil=5.18.0.240+dfsg-5 libmono-http4.0-cil=5.18.0.240+dfsg-5 libmono-i18n-cjk4.0-cil=5.18.0.240+dfsg-5 libmono-i18n-mideast4.0-cil=5.18.0.240+dfsg-5 libmono-i18n-other4.0-cil=5.18.0.240+dfsg-5 libmono-i18n-rare4.0-cil=5.18.0.240+dfsg-5 libmono-i18n-west4.0-cil=5.18.0.240+dfsg-5 libmono-i18n4.0-all=5.18.0.240+dfsg-5 libmono-i18n4.0-cil=5.18.0.240+dfsg-5 libmono-ldap4.0-cil=5.18.0.240+dfsg-5 libmono-management4.0-cil=5.18.0.240+dfsg-5 libmono-messaging-rabbitmq4.0-cil=5.18.0.240+dfsg-5 libmono-messaging4.0-cil=5.18.0.240+dfsg-5 libmono-microsoft-build-engine4.0-cil=5.18.0.240+dfsg-5 libmono-microsoft-build-framework4.0-cil=5.18.0.240+dfsg-5 libmono-microsoft-build-tasks-v4.0-4.0-cil=5.18.0.240+dfsg-5 libmono-microsoft-build-utilities-v4.0-4.0-cil=5.18.0.240+dfsg-5 libmono-microsoft-build4.0-cil=5.18.0.240+dfsg-5 libmono-microsoft-csharp4.0-cil=5.18.0.240+dfsg-5 libmono-microsoft-visualc10.0-cil=5.18.0.240+dfsg-5 libmono-microsoft-web-infrastructure1.0-cil=5.18.0.240+dfsg-5 libmono-oracle4.0-cil=5.18.0.240+dfsg-5 libmono-parallel4.0-cil=5.18.0.240+dfsg-5 libmono-peapi4.0a-cil=5.18.0.240+dfsg-5 libmono-posix4.0-cil=5.18.0.240+dfsg-5 libmono-rabbitmq4.0-cil=5.18.0.240+dfsg-5 libmono-relaxng4.0-cil=5.18.0.240+dfsg-5 libmono-security4.0-cil=5.18.0.240+dfsg-5 libmono-sharpzip4.84-cil=5.18.0.240+dfsg-5 libmono-simd4.0-cil=5.18.0.240+dfsg-5 libmono-smdiagnostics0.0-cil=5.18.0.240+dfsg-5 libmono-sqlite4.0-cil=5.18.0.240+dfsg-5 libmono-system-componentmodel-composition4.0-cil=5.18.0.240+dfsg-5 libmono-system-componentmodel-dataannotations4.0-cil=5.18.0.240+dfsg-5 libmono-system-configuration-install4.0-cil=5.18.0.240+dfsg-5 libmono-system-configuration4.0-cil=5.18.0.240+dfsg-5 libmono-system-core4.0-cil=5.18.0.240+dfsg-5 libmono-system-data-datasetextensions4.0-cil=5.18.0.240+dfsg-5 libmono-system-data-entity4.0-cil=5.18.0.240+dfsg-5 libmono-system-data-linq4.0-cil=5.18.0.240+dfsg-5 libmono-system-data-services-client4.0-cil=5.18.0.240+dfsg-5 libmono-system-data-services4.0-cil=5.18.0.240+dfsg-5 libmono-system-data4.0-cil=5.18.0.240+dfsg-5 libmono-system-deployment4.0-cil=5.18.0.240+dfsg-5 libmono-system-design4.0-cil=5.18.0.240+dfsg-5 libmono-system-drawing-design4.0-cil=5.18.0.240+dfsg-5 libmono-system-drawing4.0-cil=5.18.0.240+dfsg-5 libmono-system-dynamic4.0-cil=5.18.0.240+dfsg-5 libmono-system-enterpriseservices4.0-cil=5.18.0.240+dfsg-5 libmono-system-identitymodel-selectors4.0-cil=5.18.0.240+dfsg-5 libmono-system-identitymodel4.0-cil=5.18.0.240+dfsg-5 libmono-system-io-compression-filesystem4.0-cil=5.18.0.240+dfsg-5 libmono-system-io-compression4.0-cil=5.18.0.240+dfsg-5 libmono-system-json-microsoft4.0-cil=5.18.0.240+dfsg-5 libmono-system-json4.0-cil=5.18.0.240+dfsg-5 libmono-system-ldap-protocols4.0-cil=5.18.0.240+dfsg-5 libmono-system-ldap4.0-cil=5.18.0.240+dfsg-5 libmono-system-management4.0-cil=5.18.0.240+dfsg-5 libmono-system-messaging4.0-cil=5.18.0.240+dfsg-5 libmono-system-net-http-formatting4.0-cil=5.18.0.240+dfsg-5 libmono-system-net-http-webrequest4.0-cil=5.18.0.240+dfsg-5 libmono-system-net-http4.0-cil=5.18.0.240+dfsg-5 libmono-system-net4.0-cil=5.18.0.240+dfsg-5 libmono-system-numerics-vectors4.0-cil=5.18.0.240+dfsg-5 libmono-system-numerics4.0-cil=5.18.0.240+dfsg-5 libmono-system-reactive-core2.2-cil=5.18.0.240+dfsg-5 libmono-system-reactive-debugger2.2-cil=5.18.0.240+dfsg-5 libmono-system-reactive-experimental2.2-cil=5.18.0.240+dfsg-5 libmono-system-reactive-interfaces2.2-cil=5.18.0.240+dfsg-5 libmono-system-reactive-linq2.2-cil=5.18.0.240+dfsg-5 libmono-system-reactive-observable-aliases0.0-cil=5.18.0.240+dfsg-5 libmono-system-reactive-platformservices2.2-cil=5.18.0.240+dfsg-5 libmono-system-reactive-providers2.2-cil=5.18.0.240+dfsg-5 libmono-system-reactive-runtime-remoting2.2-cil=5.18.0.240+dfsg-5 libmono-system-reactive-windows-forms2.2-cil=5.18.0.240+dfsg-5 libmono-system-reactive-windows-threading2.2-cil=5.18.0.240+dfsg-5 libmono-system-reflection-context4.0-cil=5.18.0.240+dfsg-5 libmono-system-runtime-caching4.0-cil=5.18.0.240+dfsg-5 libmono-system-runtime-durableinstancing4.0-cil=5.18.0.240+dfsg-5 libmono-system-runtime-serialization-formatters-soap4.0-cil=5.18.0.240+dfsg-5 libmono-system-runtime-serialization4.0-cil=5.18.0.240+dfsg-5 libmono-system-runtime4.0-cil=5.18.0.240+dfsg-5 libmono-system-security4.0-cil=5.18.0.240+dfsg-5 libmono-system-servicemodel-activation4.0-cil=5.18.0.240+dfsg-5 libmono-system-servicemodel-discovery4.0-cil=5.18.0.240+dfsg-5 libmono-system-servicemodel-internals0.0-cil=5.18.0.240+dfsg-5 libmono-system-servicemodel-routing4.0-cil=5.18.0.240+dfsg-5 libmono-system-servicemodel-web4.0-cil=5.18.0.240+dfsg-5 libmono-system-servicemodel4.0a-cil=5.18.0.240+dfsg-5 libmono-system-serviceprocess4.0-cil=5.18.0.240+dfsg-5 libmono-system-threading-tasks-dataflow4.0-cil=5.18.0.240+dfsg-5 libmono-system-transactions4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-abstractions4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-applicationservices4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-dynamicdata4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-extensions-design4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-extensions4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-http-selfhost4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-http-webhost4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-http4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-mobile4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-mvc3.0-cil=5.18.0.240+dfsg-5 libmono-system-web-razor2.0-cil=5.18.0.240+dfsg-5 libmono-system-web-regularexpressions4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-routing4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-services4.0-cil=5.18.0.240+dfsg-5 libmono-system-web-webpages-deployment2.0-cil=5.18.0.240+dfsg-5 libmono-system-web-webpages-razor2.0-cil=5.18.0.240+dfsg-5 libmono-system-web-webpages2.0-cil=5.18.0.240+dfsg-5 libmono-system-web4.0-cil=5.18.0.240+dfsg-5 libmono-system-windows-forms-datavisualization4.0a-cil=5.18.0.240+dfsg-5 libmono-system-windows-forms4.0-cil=5.18.0.240+dfsg-5 libmono-system-windows4.0-cil=5.18.0.240+dfsg-5 libmono-system-workflow-activities4.0-cil=5.18.0.240+dfsg-5 libmono-system-workflow-componentmodel4.0-cil=5.18.0.240+dfsg-5 libmono-system-workflow-runtime4.0-cil=5.18.0.240+dfsg-5 libmono-system-xaml4.0-cil=5.18.0.240+dfsg-5 libmono-system-xml-linq4.0-cil=5.18.0.240+dfsg-5 libmono-system-xml-serialization4.0-cil=5.18.0.240+dfsg-5 libmono-system-xml4.0-cil=5.18.0.240+dfsg-5 libmono-system4.0-cil=5.18.0.240+dfsg-5 libmono-tasklets4.0-cil=5.18.0.240+dfsg-5 libmono-webbrowser4.0-cil=5.18.0.240+dfsg-5 libmono-webmatrix-data4.0-cil=5.18.0.240+dfsg-5 libmono-windowsbase4.0-cil=5.18.0.240+dfsg-5 libmono-xbuild-tasks4.0-cil=5.18.0.240+dfsg-5 libmonoboehm-2.0-1=5.18.0.240+dfsg-5 libmonosgen-2.0-1=5.18.0.240+dfsg-5 libmonosgen-2.0-dev=5.18.0.240+dfsg-5 libmount1=2.34-0.1 libmpc3=1.1.0-1 libmpfr6=4.0.2-1 libncursesw6=6.1+20191019-1 libnet-http-perl=6.19-1 libnet-ssleay-perl=1.88-2 libnunit-cil-dev=2.6.4+dfsg-1 libnunit-console-runner2.6.3-cil=2.6.4+dfsg-1 libnunit-core-interfaces2.6.3-cil=2.6.4+dfsg-1 libnunit-core2.6.3-cil=2.6.4+dfsg-1 libnunit-framework2.6.3-cil=2.6.4+dfsg-1 libnunit-mocks2.6.3-cil=2.6.4+dfsg-1 libnunit-util2.6.3-cil=2.6.4+dfsg-1 libpam-modules=1.3.1-5 libpam-modules-bin=1.3.1-5 libpam-runtime=1.3.1-5 libpam0g=1.3.1-5 libpcre2-8-0=10.34-7 libpcre3=2:8.39-12+b1 libperl5.30=5.30.0-9 libpipeline1=1.5.2-2 libpixman-1-0=0.36.0-1 libpng16-16=1.6.37-1 libquadmath0=9.2.1-24 libseccomp2=2.4.2-2 libselinux1=3.0-1 libsigsegv2=2.12-2 libsmartcols1=2.34-0.1 libsqlite3-0=3.30.1+fossil191229-1 libssl1.1=1.1.1d-2 libstdc++-9-dev=9.2.1-24 libstdc++6=9.2.1-24 libsub-override-perl=0.09-2 libsystemd0=244-3 libtiff5=4.1.0+git191117-2 libtimedate-perl=2.3100-1 libtinfo6=6.1+20191019-1 libtool=2.4.6-11 libtry-tiny-perl=0.30-1 libtsan0=9.2.1-24 libubsan1=9.2.1-24 libuchardet0=0.0.6-3 libudev1=244-3 libunistring2=0.9.10-2 liburi-perl=1.76-1 libuuid1=2.34-0.1 libwebp6=0.6.1-2+b1 libwww-perl=6.43-1 libwww-robotrules-perl=6.02-1 libx11-6=2:1.6.8-1 libx11-data=2:1.6.8-1 libxau6=1:1.0.8-1+b2 libxcb-render0=1.13.1-3 libxcb-shm0=1.13.1-3 libxcb1=1.13.1-3 libxdmcp6=1:1.1.2-3 libxext6=2:1.3.3-1+b2 libxml-dom-perl=1.46-1 libxml-parser-perl=2.46-1+b1 libxml-perl=0.08-3 libxml-regexp-perl=0.04-1 libxml2=2.9.4+dfsg1-8 libxrender1=1:0.9.10-1 libzstd1=1.4.4+dfsg-1 linux-libc-dev=5.4.13-1 login=1:4.8-1 lsb-base=11.1.0 m4=1.4.18-4 make=4.2.1-1.2 man-db=2.9.0-2 mawk=1.3.3-20 mono-4.0-gac=5.18.0.240+dfsg-5 mono-devel=5.18.0.240+dfsg-5 mono-gac=5.18.0.240+dfsg-5 mono-mcs=5.18.0.240+dfsg-5 mono-runtime=5.18.0.240+dfsg-5 mono-runtime-common=5.18.0.240+dfsg-5 mono-runtime-sgen=5.18.0.240+dfsg-5 mono-utils=5.18.0.240+dfsg-5 mono-xbuild=5.18.0.240+dfsg-5 ncurses-base=6.1+20191019-1 ncurses-bin=6.1+20191019-1 netbase=6.0 openssl=1.1.1d-2 patch=2.7.6-6 perl=5.30.0-9 perl-base=5.30.0-9 perl-modules-5.30=5.30.0-9 perl-openssl-defaults=3 pkg-config=0.29-6 po-debconf=1.0.21 sed=4.7-1 sensible-utils=0.0.12+nmu1 sysvinit-utils=2.96-2.1 tar=1.30+dfsg-6+b1 tzdata=2019c-3 ucf=3.0038+nmu1 util-linux=2.34-0.1 xz-utils=5.2.4-1+b1 zlib1g=1:1.2.11.dfsg-1+b1 --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/20200121T090303Z/ 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 dafny=2.3.0+dfsg-0.1 && mkdir -p /build/dafny-pRThkz && dpkg-source --no-check -x /*.dsc /build/dafny-pRThkz/dafny-2.3.0+dfsg && chown -R builduser:builduser /build/dafny-pRThkz" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/dafny-pRThkz/dafny-2.3.0+dfsg && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1579033634" dpkg-buildpackage -uc -a amd64 --build=all" --customize-hook=sync-out /build/dafny-pRThkz /tmp/dafny-2.3.0+dfsg-0.1zgb1b9do bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20200121T090303Z 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.qkRf1ELhhr 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.qkRf1ELhhr Reading package lists... Building dependency tree... util-linux is already the newest version (2.34-0.1). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 132 kB of archives. After this operation, 393 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20200121T090303Z unstable/main amd64 libfakeroot amd64 1.24-1 [45.7 kB] Get:2 http://snapshot.notset.fr/archive/debian/20200121T090303Z unstable/main amd64 fakeroot amd64 1.24-1 [85.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 132 kB in 0s (860 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 ... 4508 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.24-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.24-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.24-1_amd64.deb ... Unpacking fakeroot (1.24-1) ... Setting up libfakeroot:amd64 (1.24-1) ... Setting up fakeroot (1.24-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.29-9) ... 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/20200121T090303Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.qkRf1ELhhr Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20200121T090303Z 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 (1134 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.qkRf1ELhhr I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d dafny=2.3.0+dfsg-0.1 && mkdir -p /build/dafny-pRThkz && dpkg-source --no-check -x /*.dsc /build/dafny-pRThkz/dafny-2.3.0+dfsg && chown -R builduser:builduser /build/dafny-pRThkz"' exec /tmp/mmdebstrap.qkRf1ELhhr Reading package lists... NOTICE: 'dafny' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/debian/dafny.git Please use: git clone https://salsa.debian.org/debian/dafny.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 2179 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main dafny 2.3.0+dfsg-0.1 (dsc) [1924 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main dafny 2.3.0+dfsg-0.1 (tar) [2167 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main dafny 2.3.0+dfsg-0.1 (diff) [10.4 kB] Fetched 2179 kB in 2s (1161 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'dafny_2.3.0+dfsg-0.1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting dafny in /build/dafny-pRThkz/dafny-2.3.0+dfsg dpkg-source: info: unpacking dafny_2.3.0+dfsg.orig.tar.xz dpkg-source: info: unpacking dafny_2.3.0+dfsg-0.1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying use_system_z3.diff I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/dafny-pRThkz/dafny-2.3.0+dfsg && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1579033634" dpkg-buildpackage -uc -a amd64 --build=all"' exec /tmp/mmdebstrap.qkRf1ELhhr dpkg-buildpackage: info: source package dafny dpkg-buildpackage: info: source version 2.3.0+dfsg-0.1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Fabian Wolff dpkg-source --before-build . fakeroot debian/rules clean dh clean --with cli dh_clean debian/rules build-indep dh build-indep --with cli dh_update_autotools_config -i dh_autoreconf -i debian/rules override_dh_auto_build make[1]: Entering directory '/build/dafny-pRThkz/dafny-2.3.0+dfsg' cp Source/Dafny/DafnyPipeline.csproj Source/Dafny/DafnyPipeline.csproj.save sed -i 's///' Source/Dafny/DafnyPipeline.csproj sed -i 's///' Source/Dafny/DafnyPipeline.csproj sed -i 's/>>> xbuild tool is deprecated and will be removed in future updates, use msbuild instead <<<< XBuild Engine Version 14.0 Mono, Version 5.18.0.240 Copyright (C) 2005-2013 Various Mono authors Build started 10/07/2021 18:25:14. __________________________________________________ Project "/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny.sln" (default target(s)): Target ValidateSolutionConfiguration: Building solution configuration "Checked|Mixed Platforms". Target Build: Project "/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyRuntime/DafnyRuntime.csproj" (default target(s)): Target PrepareForBuild: Configuration: Release Platform: AnyCPU Created directory "obj/Release/" Target GenerateSatelliteAssemblies: No input files were specified for target GenerateSatelliteAssemblies, skipping. Target CoreCompile: Tool /usr/lib/mono/4.5/mcs.exe execution started with arguments: /noconfig /debug:pdbonly /keyfile:../InterimKey.snk /publicsign /optimize+ /out:obj/Release/DafnyRuntime.dll DafnyRuntime.cs obj/Release/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library /define:"TRACE;ISDAFNYRUNTIMELIB" /nostdlib /reference:/usr/lib/mono/4.0-api/System.dll /reference:/usr/lib/mono/4.0-api/System.Numerics.dll /reference:/usr/lib/mono/4.0-api/System.Xml.Linq.dll /reference:/usr/lib/mono/4.0-api/System.Data.DataSetExtensions.dll /reference:/usr/lib/mono/4.0-api/Microsoft.CSharp.dll /reference:/usr/lib/mono/4.0-api/System.Data.dll /reference:/usr/lib/mono/4.0-api/System.Xml.dll /reference:/usr/lib/mono/4.0-api/System.Core.dll /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4 Target DeployOutputFiles: Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyRuntime/obj/Release/DafnyRuntime.dll.mdb' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.dll.mdb' Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyRuntime/obj/Release/DafnyRuntime.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.dll' Done building project "/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyRuntime/DafnyRuntime.csproj". Project "/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/DafnyPipeline.csproj" (default target(s)): Target PrepareForBuild: Configuration: Checked Platform: AnyCPU Created directory "bin/Checked/" Created directory "obj/Checked/" Target CopyFilesMarkedCopyLocal: Copying file from '/usr/lib/boogie/BoogieBasetypes.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked/BoogieBasetypes.dll' Copying file from '/usr/lib/boogie/BoogieCore.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked/BoogieCore.dll' Copying file from '/usr/lib/boogie/BoogieParserHelper.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked/BoogieParserHelper.dll' Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked/DafnyRuntime.dll' Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/DafnyRuntime.dll.mdb' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked/DafnyRuntime.dll.mdb' Copying file from '/usr/lib/boogie/BoogieCodeContractsExtender.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked/BoogieCodeContractsExtender.dll' Copying file from '/usr/lib/boogie/BoogieGraph.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked/BoogieGraph.dll' Target GenerateSatelliteAssemblies: No input files were specified for target GenerateSatelliteAssemblies, skipping. Target CoreCompile: Tool /usr/lib/mono/4.5/mcs.exe execution started with arguments: /noconfig /debug:full /debug:portable /keyfile:../InterimKey.snk /publicsign /out:obj/Checked/DafnyPipeline.dll Cloner.cs Compiler-Csharp.cs Compiler-go.cs Compiler-js.cs Reporting.cs Triggers/QuantifiersCollection.cs Triggers/QuantifierSplitter.cs Triggers/TriggerExtensions.cs Triggers/QuantifiersCollector.cs Triggers/TriggersCollector.cs Triggers/TriggerUtils.cs Util.cs Compiler.cs BigIntegerParser.cs DafnyAst.cs DafnyMain.cs DafnyOptions.cs Printer.cs RefinementTransformer.cs Resolver.cs Rewriter.cs SccGraph.cs Translator.cs ../version.cs cce.cs Parser.cs Scanner.cs obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library /define:"TRACE;DEBUG;NO_ENABLE_IRONDAFNY" /nostdlib /platform:AnyCPU /reference:/usr/lib/boogie/BoogieBasetypes.dll /reference:/usr/lib/boogie/BoogieCore.dll /reference:/usr/lib/boogie/BoogieParserHelper.dll /reference:/usr/lib/mono/4.0-api/System.dll /reference:/usr/lib/mono/4.0-api/System.Numerics.dll /reference:/usr/lib/mono/4.0-api/System.Core.dll /reference:/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries//DafnyRuntime.dll /reference:/usr/lib/mono/4.0-api//mscorlib.dll Cloner.cs(773,13): warning CS0219: The variable `two' is assigned but its value is never used Cloner.cs(902,13): warning CS0219: The variable `dd' is assigned but its value is never used Compiler-Csharp.cs(576,33): warning CS0219: The variable `tupleDt' is assigned but its value is never used Compiler-Csharp.cs(1776,11): warning CS0219: The variable `y' is assigned but its value is never used Compiler-Csharp.cs(2315,11): warning CS0219: The variable `assemblyName' is assigned but its value is never used Compiler-go.cs(1201,11): warning CS0219: The variable `_' is assigned but its value is never used Compiler-js.cs(628,11): warning CS0219: The variable `nIns' is assigned but its value is never used Compiler-js.cs(651,11): warning CS0219: The variable `nIns' is assigned but its value is never used Triggers/TriggerUtils.cs(168,11): warning CS0219: The variable `positive' is assigned but its value is never used Util.cs(406,40): warning CS0219: The variable `dependencies' is assigned but its value is never used Compiler.cs(1390,13): warning CS0219: The variable `t' is assigned but its value is never used Compiler.cs(2073,13): warning CS0219: The variable `b' is assigned but its value is never used Compiler.cs(3017,15): warning CS0219: The variable `native' is assigned but its value is never used Compiler.cs(3044,13): warning CS0219: The variable `typeName' is assigned but its value is never used Compiler.cs(3087,13): warning CS0219: The variable `domtypeName' is assigned but its value is never used Compiler.cs(3088,13): warning CS0219: The variable `rantypeName' is assigned but its value is never used Compiler.cs(3124,13): warning CS0219: The variable `boundVars' is assigned but its value is never used DafnyAst.cs(143,23): warning CS0219: The variable `tmp' is assigned but its value is never used DafnyAst.cs(1611,13): warning CS0219: The variable `aa' is assigned but its value is never used DafnyAst.cs(1620,13): warning CS0219: The variable `aa' is assigned but its value is never used DafnyAst.cs(1843,13): warning CS0219: The variable `aa' is assigned but its value is never used DafnyAst.cs(1852,13): warning CS0219: The variable `aa' is assigned but its value is never used DafnyAst.cs(4789,25): warning CS0472: The result of comparing value type `System.Numerics.BigInteger' with null is always `true' DafnyAst.cs(4790,25): warning CS0472: The result of comparing value type `System.Numerics.BigInteger' with null is always `true' RefinementTransformer.cs(470,13): warning CS0219: The variable `two' is assigned but its value is never used Resolver.cs(5440,17): warning CS0219: The variable `what' is assigned but its value is never used Resolver.cs(7524,15): warning CS0219: The variable `ec' is assigned but its value is never used Resolver.cs(8018,13): warning CS0219: The variable `prevErrorCount' is assigned but its value is never used Resolver.cs(8653,13): warning CS0219: The variable `errorCount' is assigned but its value is never used Resolver.cs(8683,13): warning CS0219: The variable `errorCount' is assigned but its value is never used Resolver.cs(9956,11): warning CS0219: The variable `lhsNameSet' is assigned but its value is never used Resolver.cs(10110,14): warning CS0219: The variable `successfullyResolved' is assigned but its value is never used Resolver.cs(11529,13): warning CS0219: The variable `errorCount' is assigned but its value is never used Resolver.cs(12102,13): warning CS0219: The variable `prevErrorCount' is assigned but its value is never used Resolver.cs(12133,13): warning CS0219: The variable `prevErrorCount' is assigned but its value is never used Resolver.cs(12155,13): warning CS0219: The variable `prevErrorCount' is assigned but its value is never used Resolver.cs(12182,13): warning CS0219: The variable `prevErrorCount' is assigned but its value is never used Translator.cs(1169,11): warning CS0219: The variable `nm' is assigned but its value is never used Translator.cs(2199,17): warning CS0219: The variable `boogieFunction' is assigned but its value is never used Translator.cs(5255,11): warning CS0219: The variable `col' is assigned but its value is never used Translator.cs(5641,14): warning CS0219: The variable `splitHappened' is assigned but its value is never used Translator.cs(5918,13): warning CS0219: The variable `witnessCheck' is assigned but its value is never used Translator.cs(12220,11): warning CS0219: The variable `opaqueType' is assigned but its value is never used Translator.cs(12506,25): warning CS0219: The variable `sel' is assigned but its value is never used Translator.cs(12518,27): warning CS0219: The variable `mse' is assigned but its value is never used Translator.cs(12569,11): warning CS0219: The variable `lhsNameSet' is assigned but its value is never used Translator.cs(13274,15): warning CS0219: The variable `bv' is assigned but its value is never used Translator.cs(14141,17): warning CS0219: The variable `bv' is assigned but its value is never used Translator.cs(14292,20): warning CS0219: The variable `dType' is assigned but its value is never used Translator.cs(14437,32): warning CS0219: The variable `module' is assigned but its value is never used Translator.cs(16342,12): warning CS0219: The variable `splitHappened' is assigned but its value is never used Translator.cs(8195,36): warning CS0219: The variable `pre' is assigned but its value is never used Parser.cs(1293,25): warning CS0219: The variable `dec' is assigned but its value is never used Parser.cs(2380,9): warning CS0219: The variable `tmp' is assigned but its value is never used Parser.cs(3215,11): warning CS0219: The variable `id' is assigned but its value is never used Parser.cs(3709,8): warning CS0219: The variable `tmp' is assigned but its value is never used Parser.cs(4799,9): warning CS0219: The variable `tmp' is assigned but its value is never used Parser.cs(5245,8): warning CS0219: The variable `tmp' is assigned but its value is never used Cloner.cs(829,38): warning CS0414: The private field `Microsoft.Dafny.ScopeCloner.extraProvides' is assigned but its value is never used DafnyOptions.cs(12,27): warning CS0414: The private field `Microsoft.Dafny.DafnyOptions.errorReporter' is assigned but its value is never used RefinementTransformer.cs(58,13): warning CS0414: The private field `Microsoft.Dafny.RefinementTransformer.program' is assigned but its value is never used RefinementTransformer.cs(74,20): warning CS0414: The private field `Microsoft.Dafny.RefinementTransformer.currentMethod' is assigned but its value is never used Resolver.cs(14323,31): warning CS0414: The private field `Microsoft.Dafny.Resolver.translator' is assigned but its value is never used Translator.cs(144,38): warning CS0414: The private field `Microsoft.Dafny.Translator.functionConstants' is assigned but its value is never used Translator.cs(151,27): warning CS0414: The private field `Microsoft.Dafny.Translator.opaqueTypes' is assigned but its value is never used Translator.cs(2698,27): warning CS0414: The private field `Microsoft.Dafny.Translator.Specialization.translator' is assigned but its value is never used Translator.cs(17277,33): warning CS0414: The private field `Microsoft.Dafny.Translator.PrefixCallSubstituter.module' is assigned but its value is never used Translator.cs(18183,20): warning CS0414: The private field `Microsoft.Dafny.Translator.AlphaConverting_Substituter.namesToAvoid' is assigned but its value is never used Target DeployOutputFiles: Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/obj/Checked/DafnyPipeline.dll.mdb' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked/DafnyPipeline.dll.mdb' Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/obj/Checked/DafnyPipeline.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked/DafnyPipeline.dll' Done building project "/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/DafnyPipeline.csproj". Project "/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyDriver/DafnyDriver.csproj" (default target(s)): Target PrepareForBuild: Configuration: Checked Platform: AnyCPU Created directory "obj/Checked/" Target CopyFilesMarkedCopyLocal: Copying file from '/usr/lib/boogie/BoogieAbsInt.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieAbsInt.dll' Copying file from '/usr/lib/boogie/BoogieConcurrency.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieConcurrency.dll' Copying file from '/usr/lib/boogie/BoogieCore.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieCore.dll' Copying file from '/usr/lib/boogie/BoogieExecutionEngine.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieExecutionEngine.dll' Copying file from '/usr/lib/boogie/BoogieParserHelper.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieParserHelper.dll' Copying file from '/usr/lib/boogie/Provers.SMTLib.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/Provers.SMTLib.dll' Copying file from '/usr/lib/boogie/BoogieVCGeneration.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieVCGeneration.dll' Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked/DafnyPipeline.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/DafnyPipeline.dll' Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked/DafnyPipeline.dll.mdb' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/DafnyPipeline.dll.mdb' Copying file from '/usr/lib/boogie/BoogieBasetypes.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieBasetypes.dll' Copying file from '/usr/lib/boogie/BoogieCodeContractsExtender.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieCodeContractsExtender.dll' Copying file from '/usr/lib/boogie/BoogieGraph.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieGraph.dll' Copying file from '/usr/lib/boogie/BoogieDoomed.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieDoomed.dll' Copying file from '/usr/lib/boogie/BoogieHoudini.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieHoudini.dll' Copying file from '/usr/lib/boogie/BoogieVCExpr.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieVCExpr.dll' Copying file from '/usr/lib/boogie/BoogieModel.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieModel.dll' Target GenerateSatelliteAssemblies: No input files were specified for target GenerateSatelliteAssemblies, skipping. Target CoreCompile: Tool /usr/lib/mono/4.5/mcs.exe execution started with arguments: /noconfig /debug:full /debug:portable /keyfile:../InterimKey.snk /publicsign /out:obj/Checked/Dafny.exe DafnyDriver.cs ../version.cs obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:exe /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU /reference:/usr/lib/boogie/BoogieAbsInt.dll /reference:/usr/lib/boogie/BoogieConcurrency.dll /reference:/usr/lib/boogie/BoogieCore.dll /reference:/usr/lib/boogie/BoogieExecutionEngine.dll /reference:/usr/lib/boogie/BoogieParserHelper.dll /reference:/usr/lib/boogie/Provers.SMTLib.dll /reference:/usr/lib/mono/4.0-api/System.dll /reference:/usr/lib/boogie/BoogieVCGeneration.dll /reference:/usr/lib/mono/4.0-api/System.Core.dll /reference:/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries//DafnyRuntime.dll /reference:/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked//DafnyPipeline.dll /reference:/usr/lib/mono/4.0-api//mscorlib.dll Target _CopyAppConfigFile: Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyDriver/app.config' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/Dafny.exe.config' Target DeployOutputFiles: Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyDriver/obj/Checked/Dafny.exe.mdb' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/Dafny.exe.mdb' Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyDriver/obj/Checked/Dafny.exe' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/Dafny.exe' Done building project "/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyDriver/DafnyDriver.csproj". Project "/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyServer/DafnyServer.csproj" (default target(s)): Target PrepareForBuild: Configuration: Checked Platform: AnyCPU Created directory "obj/Checked/" Target CopyFilesMarkedCopyLocal: Copying file from '/usr/lib/boogie/BoogieModelViewer.dll' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/BoogieModelViewer.dll' Target GenerateSatelliteAssemblies: No input files were specified for target GenerateSatelliteAssemblies, skipping. Target CoreCompile: Tool /usr/lib/mono/4.5/mcs.exe execution started with arguments: /noconfig /debug:full /debug:portable /out:obj/Checked/DafnyServer.exe CounterExampleProvider.cs DafnyHelper.cs SymbolTable.cs Utilities.cs VerificationTask.cs Properties/AssemblyInfo.cs Server.cs VersionCheck.cs ../version.cs obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:exe /define:"DEBUG;TRACE" /main:Microsoft.Dafny.Server /nostdlib /platform:AnyCPU /reference:/usr/lib/boogie/BoogieCore.dll /reference:/usr/lib/boogie/BoogieExecutionEngine.dll /reference:/usr/lib/boogie/BoogieGraph.dll /reference:/usr/lib/boogie/BoogieParserHelper.dll /reference:/usr/lib/boogie/Provers.SMTLib.dll /reference:/usr/lib/boogie/BoogieModelViewer.dll /reference:/usr/lib/boogie/BoogieModel.dll /reference:/usr/lib/mono/4.0-api/System.dll /reference:/usr/lib/mono/4.0-api/System.Runtime.Serialization.dll /reference:/usr/lib/mono/4.0-api/System.Xml.Linq.dll /reference:/usr/lib/mono/4.0-api/Microsoft.CSharp.dll /reference:/usr/lib/mono/4.0-api/System.Xml.dll /reference:/usr/lib/mono/4.0-api/System.Core.dll /reference:/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/bin/Checked//DafnyPipeline.dll /reference:/usr/lib/mono/4.0-api//mscorlib.dll Target _CopyAppConfigFile: Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyServer/App.config' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/DafnyServer.exe.config' Target DeployOutputFiles: Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyServer/obj/Checked/DafnyServer.exe.mdb' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/DafnyServer.exe.mdb' Copying file from '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyServer/obj/Checked/DafnyServer.exe' to '/build/dafny-pRThkz/dafny-2.3.0+dfsg/Binaries/DafnyServer.exe' Done building project "/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/DafnyServer/DafnyServer.csproj". Done building project "/build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny.sln". Build succeeded. Warnings: /build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny.sln (default targets) -> (Build target) -> /build/dafny-pRThkz/dafny-2.3.0+dfsg/Source/Dafny/DafnyPipeline.csproj (default targets) -> /usr/lib/mono/xbuild/14.0/bin/Microsoft.CSharp.targets (CoreCompile target) -> Cloner.cs(773,13): warning CS0219: The variable `two' is assigned but its value is never used Cloner.cs(902,13): warning CS0219: The variable `dd' is assigned but its value is never used Compiler-Csharp.cs(576,33): warning CS0219: The variable `tupleDt' is assigned but its value is never used Compiler-Csharp.cs(1776,11): warning CS0219: The variable `y' is assigned but its value is never used Compiler-Csharp.cs(2315,11): warning CS0219: The variable `assemblyName' is assigned but its value is never used Compiler-go.cs(1201,11): warning CS0219: The variable `_' is assigned but its value is never used Compiler-js.cs(628,11): warning CS0219: The variable `nIns' is assigned but its value is never used Compiler-js.cs(651,11): warning CS0219: The variable `nIns' is assigned but its value is never used Triggers/TriggerUtils.cs(168,11): warning CS0219: The variable `positive' is assigned but its value is never used Util.cs(406,40): warning CS0219: The variable `dependencies' is assigned but its value is never used Compiler.cs(1390,13): warning CS0219: The variable `t' is assigned but its value is never used Compiler.cs(2073,13): warning CS0219: The variable `b' is assigned but its value is never used Compiler.cs(3017,15): warning CS0219: The variable `native' is assigned but its value is never used Compiler.cs(3044,13): warning CS0219: The variable `typeName' is assigned but its value is never used Compiler.cs(3087,13): warning CS0219: The variable `domtypeName' is assigned but its value is never used Compiler.cs(3088,13): warning CS0219: The variable `rantypeName' is assigned but its value is never used Compiler.cs(3124,13): warning CS0219: The variable `boundVars' is assigned but its value is never used DafnyAst.cs(143,23): warning CS0219: The variable `tmp' is assigned but its value is never used DafnyAst.cs(1611,13): warning CS0219: The variable `aa' is assigned but its value is never used DafnyAst.cs(1620,13): warning CS0219: The variable `aa' is assigned but its value is never used DafnyAst.cs(1843,13): warning CS0219: The variable `aa' is assigned but its value is never used DafnyAst.cs(1852,13): warning CS0219: The variable `aa' is assigned but its value is never used DafnyAst.cs(4789,25): warning CS0472: The result of comparing value type `System.Numerics.BigInteger' with null is always `true' DafnyAst.cs(4790,25): warning CS0472: The result of comparing value type `System.Numerics.BigInteger' with null is always `true' RefinementTransformer.cs(470,13): warning CS0219: The variable `two' is assigned but its value is never used Resolver.cs(5440,17): warning CS0219: The variable `what' is assigned but its value is never used Resolver.cs(7524,15): warning CS0219: The variable `ec' is assigned but its value is never used Resolver.cs(8018,13): warning CS0219: The variable `prevErrorCount' is assigned but its value is never used Resolver.cs(8653,13): warning CS0219: The variable `errorCount' is assigned but its value is never used Resolver.cs(8683,13): warning CS0219: The variable `errorCount' is assigned but its value is never used Resolver.cs(9956,11): warning CS0219: The variable `lhsNameSet' is assigned but its value is never used Resolver.cs(10110,14): warning CS0219: The variable `successfullyResolved' is assigned but its value is never used Resolver.cs(11529,13): warning CS0219: The variable `errorCount' is assigned but its value is never used Resolver.cs(12102,13): warning CS0219: The variable `prevErrorCount' is assigned but its value is never used Resolver.cs(12133,13): warning CS0219: The variable `prevErrorCount' is assigned but its value is never used Resolver.cs(12155,13): warning CS0219: The variable `prevErrorCount' is assigned but its value is never used Resolver.cs(12182,13): warning CS0219: The variable `prevErrorCount' is assigned but its value is never used Translator.cs(1169,11): warning CS0219: The variable `nm' is assigned but its value is never used Translator.cs(2199,17): warning CS0219: The variable `boogieFunction' is assigned but its value is never used Translator.cs(5255,11): warning CS0219: The variable `col' is assigned but its value is never used Translator.cs(5641,14): warning CS0219: The variable `splitHappened' is assigned but its value is never used Translator.cs(5918,13): warning CS0219: The variable `witnessCheck' is assigned but its value is never used Translator.cs(12220,11): warning CS0219: The variable `opaqueType' is assigned but its value is never used Translator.cs(12506,25): warning CS0219: The variable `sel' is assigned but its value is never used Translator.cs(12518,27): warning CS0219: The variable `mse' is assigned but its value is never used Translator.cs(12569,11): warning CS0219: The variable `lhsNameSet' is assigned but its value is never used Translator.cs(13274,15): warning CS0219: The variable `bv' is assigned but its value is never used Translator.cs(14141,17): warning CS0219: The variable `bv' is assigned but its value is never used Translator.cs(14292,20): warning CS0219: The variable `dType' is assigned but its value is never used Translator.cs(14437,32): warning CS0219: The variable `module' is assigned but its value is never used Translator.cs(16342,12): warning CS0219: The variable `splitHappened' is assigned but its value is never used Translator.cs(8195,36): warning CS0219: The variable `pre' is assigned but its value is never used Parser.cs(1293,25): warning CS0219: The variable `dec' is assigned but its value is never used Parser.cs(2380,9): warning CS0219: The variable `tmp' is assigned but its value is never used Parser.cs(3215,11): warning CS0219: The variable `id' is assigned but its value is never used Parser.cs(3709,8): warning CS0219: The variable `tmp' is assigned but its value is never used Parser.cs(4799,9): warning CS0219: The variable `tmp' is assigned but its value is never used Parser.cs(5245,8): warning CS0219: The variable `tmp' is assigned but its value is never used Cloner.cs(829,38): warning CS0414: The private field `Microsoft.Dafny.ScopeCloner.extraProvides' is assigned but its value is never used DafnyOptions.cs(12,27): warning CS0414: The private field `Microsoft.Dafny.DafnyOptions.errorReporter' is assigned but its value is never used RefinementTransformer.cs(58,13): warning CS0414: The private field `Microsoft.Dafny.RefinementTransformer.program' is assigned but its value is never used RefinementTransformer.cs(74,20): warning CS0414: The private field `Microsoft.Dafny.RefinementTransformer.currentMethod' is assigned but its value is never used Resolver.cs(14323,31): warning CS0414: The private field `Microsoft.Dafny.Resolver.translator' is assigned but its value is never used Translator.cs(144,38): warning CS0414: The private field `Microsoft.Dafny.Translator.functionConstants' is assigned but its value is never used Translator.cs(151,27): warning CS0414: The private field `Microsoft.Dafny.Translator.opaqueTypes' is assigned but its value is never used Translator.cs(2698,27): warning CS0414: The private field `Microsoft.Dafny.Translator.Specialization.translator' is assigned but its value is never used Translator.cs(17277,33): warning CS0414: The private field `Microsoft.Dafny.Translator.PrefixCallSubstituter.module' is assigned but its value is never used Translator.cs(18183,20): warning CS0414: The private field `Microsoft.Dafny.Translator.AlphaConverting_Substituter.namesToAvoid' is assigned but its value is never used 68 Warning(s) 0 Error(s) Time Elapsed 00:00:07.4762980 mv Source/DafnyExtension/DafnyExtension.csproj.save Source/DafnyExtension/DafnyExtension.csproj mv Source/DafnyMenu/DafnyMenu.csproj.save Source/DafnyMenu/DafnyMenu.csproj mv Source/DafnyServer/DafnyServer.csproj.save Source/DafnyServer/DafnyServer.csproj mv Source/DafnyRuntime/DafnyRuntime.csproj.save Source/DafnyRuntime/DafnyRuntime.csproj mv Source/DafnyDriver/DafnyDriver.csproj.save Source/DafnyDriver/DafnyDriver.csproj mv Source/Dafny/DafnyPipeline.csproj.save Source/Dafny/DafnyPipeline.csproj make[1]: Leaving directory '/build/dafny-pRThkz/dafny-2.3.0+dfsg' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-indep dh binary-indep --with cli dh_testroot -i dh_prep -i dh_install -i dh_installdocs -i dh_installchangelogs -i dh_installman -i dh_perl -i dh_link -i dh_strip_nondeterminism -i dh_compress -i dh_fixperms -i dh_clifixperms -i dh_missing -i dh_clistrip -i dh_makeclilibs -i dh_clideps -i dh_installdeb -i dh_gencontrol -i dh_md5sums -i dh_builddeb -i dpkg-deb: building package 'dafny' in '../dafny_2.3.0+dfsg-0.1_all.deb'. dpkg-genbuildinfo --build=all dpkg-genchanges --build=all >../dafny_2.3.0+dfsg-0.1_all.changes dpkg-genchanges: info: binary-only arch-indep upload (source code and arch-specific packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/dafny-pRThkz /tmp/dafny-2.3.0+dfsg-0.1zgb1b9do I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.qkRf1ELhhr... I: success in 365.8081 seconds md5: dafny_2.3.0+dfsg-0.1_all.deb: OK sha1: dafny_2.3.0+dfsg-0.1_all.deb: OK sha256: dafny_2.3.0+dfsg-0.1_all.deb: OK Checksums: OK