Thu 23 Aug 05:47:39 BST 2018: starting build of dafny version 1.9.7-1 arch armel on mustang4 Running apt-get -q --download-only --only-source source dafny=1.9.7-1 Reading package lists... Need to get 6,409 kB of source archives. Get:1 http://mirror/debian unstable/main dafny 1.9.7-1 (dsc) [1,571 B] Get:2 http://mirror/debian unstable/main dafny 1.9.7-1 (tar) [6,397 kB] Get:3 http://mirror/debian unstable/main dafny 1.9.7-1 (diff) [10.5 kB] Fetched 6,409 kB in 0s (32.5 MB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'dafny_1.9.7-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) total 6264 -rw-r--r-- 1 root root 10520 Jun 5 2016 dafny_1.9.7-1.debian.tar.xz -rw-r--r-- 1 root root 1571 Jun 5 2016 dafny_1.9.7-1.dsc -rw-r--r-- 1 root root 6397056 Jun 5 2016 dafny_1.9.7.orig.tar.gz W: /root/.pbuilderrc does not exist I: using fakeroot in build. I: pbuilder: network access will be disabled during build I: Current time: Thu Aug 23 05:47:40 BST 2018 I: pbuilder-time-stamp: 1534999660 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-armel.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: Mounting /dev I: Mounting /dev/pts I: Mounting /proc I: Mounting /sys I: policy-rc.d already exists I: Obtaining the cached apt archive contents I: Copying source file I: copying [dafny_1.9.7-1.dsc] I: copying [./dafny_1.9.7.orig.tar.gz] I: copying [./dafny_1.9.7-1.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Sun Jun 5 21:19:07 2016 UTC gpgv: using RSA key 9E730149EB91C53B gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./dafny_1.9.7-1.dsc dpkg-source: info: extracting dafny in dafny-1.9.7 dpkg-source: info: unpacking dafny_1.9.7.orig.tar.gz dpkg-source: info: unpacking dafny_1.9.7-1.debian.tar.xz dpkg-source: info: applying use_system_z3.diff I: Installing the build-deps I: user script /chroot/rebuildd/pbuilder/21004/tmp/hooks/D01update starting Get:1 http://mirror.einval.org/debian sid InRelease [233 kB] Ign:2 http://mirror.einval.org/debian sid/main armel Packages.diff/Index Get:2 http://mirror.einval.org/debian sid/main armel Packages.diff/Index [27.9 kB] Ign:2 http://mirror.einval.org/debian sid/main armel Packages.diff/Index Get:3 http://mirror.einval.org/debian sid/main armel Packages [7892 kB] Fetched 8125 kB in 3s (3041 kB/s) Reading package lists... I: user script /chroot/rebuildd/pbuilder/21004/tmp/hooks/D01update finished W: skipping an editor backup file /chroot/rebuildd/pbuilder/21004/tmp/hooks/D01update~ I: user script /chroot/rebuildd/pbuilder/21004/tmp/hooks/D02enable_swp starting I: user script /chroot/rebuildd/pbuilder/21004/tmp/hooks/D02enable_swp finished W: skipping an editor backup file /chroot/rebuildd/pbuilder/21004/tmp/hooks/D02enable_swp~ -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armel Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper (>= 9), cli-common-dev (>= 0.8), libboogie-cil, mono-devel (>= 2.4.2.3), mono-reference-assemblies-4.0 dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 11698 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper (>= 9); however: Package debhelper is not installed. pbuilder-satisfydepends-dummy depends on cli-common-dev (>= 0.8); however: Package cli-common-dev is not installed. pbuilder-satisfydepends-dummy depends on libboogie-cil; however: Package libboogie-cil is not installed. pbuilder-satisfydepends-dummy depends on mono-devel (>= 2.4.2.3); however: Package mono-devel is not installed. pbuilder-satisfydepends-dummy depends on mono-reference-assemblies-4.0; however: Package mono-reference-assemblies-4.0 is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdmainutils{a} ca-certificates{a} cli-common{a} cli-common-dev{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} fontconfig-config{a} fonts-dejavu-core{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libboogie-cil{a} libbsd0{a} libcairo2{a} libcroco3{a} libelf1{a} libencode-locale-perl{a} libexif12{a} libexpat1{a} libfile-listing-perl{a} libfile-stripnondeterminism-perl{a} libfontconfig1{a} libfreetype6{a} libgdiplus{a} libgif7{a} libglib2.0-0{a} libgraphite2-3{a} libharfbuzz0b{a} libhtml-parser-perl{a} libhtml-tagset-perl{a} libhtml-tree-perl{a} libhttp-cookies-perl{a} libhttp-date-perl{a} libhttp-message-perl{a} libhttp-negotiate-perl{a} libicu-le-hb0{a} libicu60{a} libio-html-perl{a} libio-socket-ssl-perl{a} libjbig0{a} libjpeg62-turbo{a} liblwp-mediatypes-perl{a} liblwp-protocol-https-perl{a} libmagic-mgc{a} libmagic1{a} libmono-2.0-dev{a} libmono-accessibility4.0-cil{a} libmono-cairo4.0-cil{a} libmono-cecil-private-cil{a} libmono-cil-dev{a} libmono-codecontracts4.0-cil{a} libmono-compilerservices-symbolwriter4.0-cil{a} libmono-corlib4.5-cil{a} libmono-cscompmgd0.0-cil{a} libmono-csharp4.0c-cil{a} libmono-custommarshalers4.0-cil{a} libmono-data-tds4.0-cil{a} libmono-db2-1.0-cil{a} libmono-debugger-soft4.0a-cil{a} libmono-http4.0-cil{a} libmono-i18n-cjk4.0-cil{a} libmono-i18n-mideast4.0-cil{a} libmono-i18n-other4.0-cil{a} libmono-i18n-rare4.0-cil{a} libmono-i18n-west4.0-cil{a} libmono-i18n4.0-all{a} libmono-i18n4.0-cil{a} libmono-ldap4.0-cil{a} libmono-management4.0-cil{a} libmono-messaging-rabbitmq4.0-cil{a} libmono-messaging4.0-cil{a} libmono-microsoft-build-engine4.0-cil{a} libmono-microsoft-build-framework4.0-cil{a} libmono-microsoft-build-tasks-v4.0-4.0-cil{a} libmono-microsoft-build-utilities-v4.0-4.0-cil{a} libmono-microsoft-build4.0-cil{a} libmono-microsoft-csharp4.0-cil{a} libmono-microsoft-visualc10.0-cil{a} libmono-microsoft-web-infrastructure1.0-cil{a} libmono-oracle4.0-cil{a} libmono-parallel4.0-cil{a} libmono-peapi4.0a-cil{a} libmono-posix4.0-cil{a} libmono-rabbitmq4.0-cil{a} libmono-relaxng4.0-cil{a} libmono-security4.0-cil{a} libmono-sharpzip4.84-cil{a} libmono-simd4.0-cil{a} libmono-smdiagnostics0.0-cil{a} libmono-sqlite4.0-cil{a} libmono-system-componentmodel-composition4.0-cil{a} libmono-system-componentmodel-dataannotations4.0-cil{a} libmono-system-configuration-install4.0-cil{a} libmono-system-configuration4.0-cil{a} libmono-system-core4.0-cil{a} libmono-system-data-datasetextensions4.0-cil{a} libmono-system-data-entity4.0-cil{a} libmono-system-data-linq4.0-cil{a} libmono-system-data-services-client4.0-cil{a} libmono-system-data-services4.0-cil{a} libmono-system-data4.0-cil{a} libmono-system-deployment4.0-cil{a} libmono-system-design4.0-cil{a} libmono-system-drawing-design4.0-cil{a} libmono-system-drawing4.0-cil{a} libmono-system-dynamic4.0-cil{a} libmono-system-enterpriseservices4.0-cil{a} libmono-system-identitymodel-selectors4.0-cil{a} libmono-system-identitymodel4.0-cil{a} libmono-system-io-compression-filesystem4.0-cil{a} libmono-system-io-compression4.0-cil{a} libmono-system-json-microsoft4.0-cil{a} libmono-system-json4.0-cil{a} libmono-system-ldap-protocols4.0-cil{a} libmono-system-ldap4.0-cil{a} libmono-system-management4.0-cil{a} libmono-system-messaging4.0-cil{a} libmono-system-net-http-formatting4.0-cil{a} libmono-system-net-http-webrequest4.0-cil{a} libmono-system-net-http4.0-cil{a} libmono-system-net4.0-cil{a} libmono-system-numerics-vectors4.0-cil{a} libmono-system-numerics4.0-cil{a} libmono-system-reactive-core2.2-cil{a} libmono-system-reactive-debugger2.2-cil{a} libmono-system-reactive-experimental2.2-cil{a} libmono-system-reactive-interfaces2.2-cil{a} libmono-system-reactive-linq2.2-cil{a} libmono-system-reactive-observable-aliases0.0-cil{a} libmono-system-reactive-platformservices2.2-cil{a} libmono-system-reactive-providers2.2-cil{a} libmono-system-reactive-runtime-remoting2.2-cil{a} libmono-system-reactive-windows-forms2.2-cil{a} libmono-system-reactive-windows-threading2.2-cil{a} libmono-system-reflection-context4.0-cil{a} libmono-system-runtime-caching4.0-cil{a} libmono-system-runtime-durableinstancing4.0-cil{a} libmono-system-runtime-interopservices-runtimeinformation4.0-cil{a} libmono-system-runtime-serialization-formatters-soap4.0-cil{a} libmono-system-runtime-serialization4.0-cil{a} libmono-system-runtime4.0-cil{a} libmono-system-security4.0-cil{a} libmono-system-servicemodel-activation4.0-cil{a} libmono-system-servicemodel-discovery4.0-cil{a} libmono-system-servicemodel-internals0.0-cil{a} libmono-system-servicemodel-routing4.0-cil{a} libmono-system-servicemodel-web4.0-cil{a} libmono-system-servicemodel4.0a-cil{a} libmono-system-serviceprocess4.0-cil{a} libmono-system-threading-tasks-dataflow4.0-cil{a} libmono-system-transactions4.0-cil{a} libmono-system-web-abstractions4.0-cil{a} libmono-system-web-applicationservices4.0-cil{a} libmono-system-web-dynamicdata4.0-cil{a} libmono-system-web-extensions-design4.0-cil{a} libmono-system-web-extensions4.0-cil{a} libmono-system-web-http-selfhost4.0-cil{a} libmono-system-web-http-webhost4.0-cil{a} libmono-system-web-http4.0-cil{a} libmono-system-web-mobile4.0-cil{a} libmono-system-web-mvc3.0-cil{a} libmono-system-web-razor2.0-cil{a} libmono-system-web-regularexpressions4.0-cil{a} libmono-system-web-routing4.0-cil{a} libmono-system-web-services4.0-cil{a} libmono-system-web-webpages-deployment2.0-cil{a} libmono-system-web-webpages-razor2.0-cil{a} libmono-system-web-webpages2.0-cil{a} libmono-system-web4.0-cil{a} libmono-system-windows-forms-datavisualization4.0a-cil{a} libmono-system-windows-forms4.0-cil{a} libmono-system-windows4.0-cil{a} libmono-system-workflow-activities4.0-cil{a} libmono-system-workflow-componentmodel4.0-cil{a} libmono-system-workflow-runtime4.0-cil{a} libmono-system-xaml4.0-cil{a} libmono-system-xml-linq4.0-cil{a} libmono-system-xml-serialization4.0-cil{a} libmono-system-xml4.0-cil{a} libmono-system4.0-cil{a} libmono-tasklets4.0-cil{a} libmono-webbrowser4.0-cil{a} libmono-webmatrix-data4.0-cil{a} libmono-windowsbase4.0-cil{a} libmono-xbuild-tasks4.0-cil{a} libmonoboehm-2.0-1{a} libmonosgen-2.0-1{a} libmonosgen-2.0-dev{a} libncurses6{a} libnet-http-perl{a} libnet-ssleay-perl{a} libnunit-cil-dev{a} libnunit-console-runner2.6.3-cil{a} libnunit-core-interfaces2.6.3-cil{a} libnunit-core2.6.3-cil{a} libnunit-framework2.6.3-cil{a} libnunit-mocks2.6.3-cil{a} libnunit-util2.6.3-cil{a} libpipeline1{a} libpixman-1-0{a} libpng16-16{a} libsigsegv2{a} libssl1.1{a} libtiff5{a} libtimedate-perl{a} libtool{a} libtry-tiny-perl{a} liburi-perl{a} libwww-perl{a} libwww-robotrules-perl{a} libx11-6{a} libx11-data{a} libxau6{a} libxcb-render0{a} libxcb-shm0{a} libxcb1{a} libxdmcp6{a} libxext6{a} libxml-dom-perl{a} libxml-parser-perl{a} libxml-perl{a} libxml-regexp-perl{a} libxml2{a} libxrender1{a} m4{a} man-db{a} mono-4.0-gac{a} mono-devel{a} mono-gac{a} mono-mcs{a} mono-reference-assemblies-4.0{a} mono-runtime{a} mono-runtime-common{a} mono-runtime-sgen{a} mono-utils{a} mono-xbuild{a} netbase{a} openssl{a} perl-openssl-defaults{a} pkg-config{a} po-debconf{a} sensible-utils{a} ucf{a} The following packages are RECOMMENDED but will NOT be installed: binfmt-support ca-certificates-mono curl libarchive-cpio-perl libdata-dump-perl libglib2.0-data libgpm2 libhtml-form-perl libhtml-format-perl libhttp-daemon-perl libltdl-dev libmail-sendmail-perl libmailtools-perl lynx mono-csharp-shell shared-mime-info wget xdg-user-dirs 0 packages upgraded, 252 newly installed, 0 to remove and 9 not upgraded. Need to get 11.4 MB/62.5 MB of archives. After unpacking 212 MB will be used. Writing extended state information... Get: 1 http://mirror.einval.org/debian sid/main armel libmonoboehm-2.0-1 armel 4.6.2.7+dfsg-2 [1120 kB] Get: 2 http://mirror.einval.org/debian sid/main armel mono-utils armel 4.6.2.7+dfsg-2 [2834 kB] Get: 3 http://mirror.einval.org/debian sid/main armel libgdiplus armel 4.2-2 [120 kB] Get: 4 http://mirror.einval.org/debian sid/main armel libmonosgen-2.0-1 armel 4.6.2.7+dfsg-2 [1169 kB] Get: 5 http://mirror.einval.org/debian sid/main armel libmonosgen-2.0-dev armel 4.6.2.7+dfsg-2 [1417 kB] Get: 6 http://mirror.einval.org/debian sid/main armel libmono-2.0-dev armel 4.6.2.7+dfsg-2 [62.1 kB] Get: 7 http://mirror.einval.org/debian sid/main armel libboogie-cil all 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 [559 kB] Get: 8 http://mirror.einval.org/debian sid/main armel mono-reference-assemblies-4.0 all 3.12.1+dfsg-2 [4104 kB] Fetched 11.4 MB in 1s (22.2 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:armel. (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 ... 11698 files and directories currently installed.) Preparing to unpack .../000-libbsd0_0.9.1-1_armel.deb ... Unpacking libbsd0:armel (0.9.1-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../001-bsdmainutils_11.1.2+b1_armel.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../002-groff-base_1.22.3-10_armel.deb ... Unpacking groff-base (1.22.3-10) ... Selecting previously unselected package libpipeline1:armel. Preparing to unpack .../003-libpipeline1_1.5.0-1_armel.deb ... Unpacking libpipeline1:armel (1.5.0-1) ... Selecting previously unselected package man-db. Preparing to unpack .../004-man-db_2.8.4-2_armel.deb ... Unpacking man-db (2.8.4-2) ... Selecting previously unselected package netbase. Preparing to unpack .../005-netbase_5.4_all.deb ... Unpacking netbase (5.4) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../006-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../007-libmagic-mgc_1%3a5.34-2_armel.deb ... Unpacking libmagic-mgc (1:5.34-2) ... Selecting previously unselected package libmagic1:armel. Preparing to unpack .../008-libmagic1_1%3a5.34-2_armel.deb ... Unpacking libmagic1:armel (1:5.34-2) ... Selecting previously unselected package file. Preparing to unpack .../009-file_1%3a5.34-2_armel.deb ... Unpacking file (1:5.34-2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../010-gettext-base_0.19.8.1-7_armel.deb ... Unpacking gettext-base (0.19.8.1-7) ... Selecting previously unselected package ucf. Preparing to unpack .../011-ucf_3.0038_all.deb ... Moving old data out of the way Unpacking ucf (3.0038) ... Selecting previously unselected package libsigsegv2:armel. Preparing to unpack .../012-libsigsegv2_2.12-2_armel.deb ... Unpacking libsigsegv2:armel (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../013-m4_1.4.18-1_armel.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../014-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../015-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../016-automake_1%3a1.16.1-1_all.deb ... Unpacking automake (1:1.16.1-1) ... Selecting previously unselected package autopoint. Preparing to unpack .../017-autopoint_0.19.8.1-7_all.deb ... Unpacking autopoint (0.19.8.1-7) ... Selecting previously unselected package libssl1.1:armel. Preparing to unpack .../018-libssl1.1_1.1.1~~pre9-1_armel.deb ... Unpacking libssl1.1:armel (1.1.1~~pre9-1) ... Selecting previously unselected package openssl. Preparing to unpack .../019-openssl_1.1.1~~pre9-1_armel.deb ... Unpacking openssl (1.1.1~~pre9-1) ... Selecting previously unselected package ca-certificates. Preparing to unpack .../020-ca-certificates_20180409_all.deb ... Unpacking ca-certificates (20180409) ... Selecting previously unselected package cli-common. Preparing to unpack .../021-cli-common_0.9+nmu1_all.deb ... Unpacking cli-common (0.9+nmu1) ... Selecting previously unselected package libtool. Preparing to unpack .../022-libtool_2.4.6-2.1_all.deb ... Unpacking libtool (2.4.6-2.1) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../023-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../024-libarchive-zip-perl_1.62-2_all.deb ... Unpacking libarchive-zip-perl (1.62-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../025-libfile-stripnondeterminism-perl_0.042-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.042-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../026-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../027-dh-strip-nondeterminism_0.042-1_all.deb ... Unpacking dh-strip-nondeterminism (0.042-1) ... Selecting previously unselected package libelf1:armel. Preparing to unpack .../028-libelf1_0.170-0.5_armel.deb ... Unpacking libelf1:armel (0.170-0.5) ... Selecting previously unselected package dwz. Preparing to unpack .../029-dwz_0.12-2_armel.deb ... Unpacking dwz (0.12-2) ... Selecting previously unselected package libglib2.0-0:armel. Preparing to unpack .../030-libglib2.0-0_2.56.1-2_armel.deb ... Unpacking libglib2.0-0:armel (2.56.1-2) ... Selecting previously unselected package libpng16-16:armel. Preparing to unpack .../031-libpng16-16_1.6.34-2_armel.deb ... Unpacking libpng16-16:armel (1.6.34-2) ... Selecting previously unselected package libfreetype6:armel. Preparing to unpack .../032-libfreetype6_2.8.1-2_armel.deb ... Unpacking libfreetype6:armel (2.8.1-2) ... Selecting previously unselected package libgraphite2-3:armel. Preparing to unpack .../033-libgraphite2-3_1.3.11-2_armel.deb ... Unpacking libgraphite2-3:armel (1.3.11-2) ... Selecting previously unselected package libharfbuzz0b:armel. Preparing to unpack .../034-libharfbuzz0b_1.8.8-2_armel.deb ... Unpacking libharfbuzz0b:armel (1.8.8-2) ... Selecting previously unselected package libicu-le-hb0:armel. Preparing to unpack .../035-libicu-le-hb0_1.0.3+git161113-5_armel.deb ... Unpacking libicu-le-hb0:armel (1.0.3+git161113-5) ... Selecting previously unselected package libicu60:armel. Preparing to unpack .../036-libicu60_60.2-6_armel.deb ... Unpacking libicu60:armel (60.2-6) ... Selecting previously unselected package libxml2:armel. Preparing to unpack .../037-libxml2_2.9.4+dfsg1-7+b1_armel.deb ... Unpacking libxml2:armel (2.9.4+dfsg1-7+b1) ... Selecting previously unselected package libcroco3:armel. Preparing to unpack .../038-libcroco3_0.6.12-2_armel.deb ... Unpacking libcroco3:armel (0.6.12-2) ... Selecting previously unselected package libncurses6:armel. Preparing to unpack .../039-libncurses6_6.1+20180714-1_armel.deb ... Unpacking libncurses6:armel (6.1+20180714-1) ... Selecting previously unselected package gettext. Preparing to unpack .../040-gettext_0.19.8.1-7_armel.deb ... Unpacking gettext (0.19.8.1-7) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../041-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../042-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../043-debhelper_11.3.5_all.deb ... Unpacking debhelper (11.3.5) ... Selecting previously unselected package libmonoboehm-2.0-1. Preparing to unpack .../044-libmonoboehm-2.0-1_4.6.2.7+dfsg-2_armel.deb ... Unpacking libmonoboehm-2.0-1 (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-xml4.0-cil. Preparing to unpack .../045-libmono-system-xml4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-xml4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-security4.0-cil. Preparing to unpack .../046-libmono-system-security4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-security4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-configuration4.0-cil. Preparing to unpack .../047-libmono-system-configuration4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-configuration4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system4.0-cil. Preparing to unpack .../048-libmono-system4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-security4.0-cil. Preparing to unpack .../049-libmono-security4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-security4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package mono-4.0-gac. Preparing to unpack .../050-mono-4.0-gac_4.6.2.7+dfsg-2_all.deb ... Unpacking mono-4.0-gac (4.6.2.7+dfsg-2) ... Selecting previously unselected package mono-gac. Preparing to unpack .../051-mono-gac_4.6.2.7+dfsg-2_all.deb ... Unpacking mono-gac (4.6.2.7+dfsg-2) ... Selecting previously unselected package mono-runtime-common. Preparing to unpack .../052-mono-runtime-common_4.6.2.7+dfsg-2_armel.deb ... Unpacking mono-runtime-common (4.6.2.7+dfsg-2) ... Selecting previously unselected package mono-runtime-sgen. Preparing to unpack .../053-mono-runtime-sgen_4.6.2.7+dfsg-2_armel.deb ... Unpacking mono-runtime-sgen (4.6.2.7+dfsg-2) ... Selecting previously unselected package mono-runtime. Preparing to unpack .../054-mono-runtime_4.6.2.7+dfsg-2_armel.deb ... Unpacking mono-runtime (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-corlib4.5-cil. Preparing to unpack .../055-libmono-corlib4.5-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-corlib4.5-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package mono-utils. Preparing to unpack .../056-mono-utils_4.6.2.7+dfsg-2_armel.deb ... Unpacking mono-utils (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-cecil-private-cil. Preparing to unpack .../057-libmono-cecil-private-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-cecil-private-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-posix4.0-cil. Preparing to unpack .../058-libmono-posix4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-posix4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-core4.0-cil. Preparing to unpack .../059-libmono-system-core4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-core4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-codecontracts4.0-cil. Preparing to unpack .../060-libmono-codecontracts4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-codecontracts4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-compilerservices-symbolwriter4.0-cil. Preparing to unpack .../061-libmono-compilerservices-symbolwriter4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-compilerservices-symbolwriter4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-peapi4.0a-cil. Preparing to unpack .../062-libmono-peapi4.0a-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-peapi4.0a-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-relaxng4.0-cil. Preparing to unpack .../063-libmono-relaxng4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-relaxng4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-componentmodel-composition4.0-cil. Preparing to unpack .../064-libmono-system-componentmodel-composition4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-componentmodel-composition4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-componentmodel-dataannotations4.0-cil. Preparing to unpack .../065-libmono-system-componentmodel-dataannotations4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-componentmodel-dataannotations4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-configuration-install4.0-cil. Preparing to unpack .../066-libmono-system-configuration-install4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-configuration-install4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-data-tds4.0-cil. Preparing to unpack .../067-libmono-data-tds4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-data-tds4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-transactions4.0-cil. Preparing to unpack .../068-libmono-system-transactions4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-transactions4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-enterpriseservices4.0-cil. Preparing to unpack .../069-libmono-system-enterpriseservices4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-enterpriseservices4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-numerics4.0-cil. Preparing to unpack .../070-libmono-system-numerics4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-numerics4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-data4.0-cil. Preparing to unpack .../071-libmono-system-data4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-data4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-servicemodel-internals0.0-cil. Preparing to unpack .../072-libmono-system-servicemodel-internals0.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-servicemodel-internals0.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-runtime-serialization4.0-cil. Preparing to unpack .../073-libmono-system-runtime-serialization4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-runtime-serialization4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-data-linq4.0-cil. Preparing to unpack .../074-libmono-system-data-linq4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-data-linq4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libexpat1:armel. Preparing to unpack .../075-libexpat1_2.2.6-1_armel.deb ... Unpacking libexpat1:armel (2.2.6-1) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../076-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../077-fontconfig-config_2.13.0-5_all.deb ... Unpacking fontconfig-config (2.13.0-5) ... Selecting previously unselected package libfontconfig1:armel. Preparing to unpack .../078-libfontconfig1_2.13.0-5_armel.deb ... Unpacking libfontconfig1:armel (2.13.0-5) ... Selecting previously unselected package libpixman-1-0:armel. Preparing to unpack .../079-libpixman-1-0_0.34.0-2_armel.deb ... Unpacking libpixman-1-0:armel (0.34.0-2) ... Selecting previously unselected package libxau6:armel. Preparing to unpack .../080-libxau6_1%3a1.0.8-1+b2_armel.deb ... Unpacking libxau6:armel (1:1.0.8-1+b2) ... Selecting previously unselected package libxdmcp6:armel. Preparing to unpack .../081-libxdmcp6_1%3a1.1.2-3_armel.deb ... Unpacking libxdmcp6:armel (1:1.1.2-3) ... Selecting previously unselected package libxcb1:armel. Preparing to unpack .../082-libxcb1_1.13-2_armel.deb ... Unpacking libxcb1:armel (1.13-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../083-libx11-data_2%3a1.6.5-1_all.deb ... Unpacking libx11-data (2:1.6.5-1) ... Selecting previously unselected package libx11-6:armel. Preparing to unpack .../084-libx11-6_2%3a1.6.5-1_armel.deb ... Unpacking libx11-6:armel (2:1.6.5-1) ... Selecting previously unselected package libxcb-render0:armel. Preparing to unpack .../085-libxcb-render0_1.13-2_armel.deb ... Unpacking libxcb-render0:armel (1.13-2) ... Selecting previously unselected package libxcb-shm0:armel. Preparing to unpack .../086-libxcb-shm0_1.13-2_armel.deb ... Unpacking libxcb-shm0:armel (1.13-2) ... Selecting previously unselected package libxext6:armel. Preparing to unpack .../087-libxext6_2%3a1.3.3-1+b2_armel.deb ... Unpacking libxext6:armel (2:1.3.3-1+b2) ... Selecting previously unselected package libxrender1:armel. Preparing to unpack .../088-libxrender1_1%3a0.9.10-1_armel.deb ... Unpacking libxrender1:armel (1:0.9.10-1) ... Selecting previously unselected package libcairo2:armel. Preparing to unpack .../089-libcairo2_1.15.10-3_armel.deb ... Unpacking libcairo2:armel (1.15.10-3) ... Selecting previously unselected package libexif12:armel. Preparing to unpack .../090-libexif12_0.6.21-5_armel.deb ... Unpacking libexif12:armel (0.6.21-5) ... Selecting previously unselected package libgif7:armel. Preparing to unpack .../091-libgif7_5.1.4-3_armel.deb ... Unpacking libgif7:armel (5.1.4-3) ... Selecting previously unselected package libjpeg62-turbo:armel. Preparing to unpack .../092-libjpeg62-turbo_1%3a1.5.2-2+b1_armel.deb ... Unpacking libjpeg62-turbo:armel (1:1.5.2-2+b1) ... Selecting previously unselected package libjbig0:armel. Preparing to unpack .../093-libjbig0_2.1-3.1+b2_armel.deb ... Unpacking libjbig0:armel (2.1-3.1+b2) ... Selecting previously unselected package libtiff5:armel. Preparing to unpack .../094-libtiff5_4.0.9-6_armel.deb ... Unpacking libtiff5:armel (4.0.9-6) ... Selecting previously unselected package libgdiplus. Preparing to unpack .../095-libgdiplus_4.2-2_armel.deb ... Unpacking libgdiplus (4.2-2) ... Selecting previously unselected package libmono-system-drawing4.0-cil. Preparing to unpack .../096-libmono-system-drawing4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-drawing4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-applicationservices4.0-cil. Preparing to unpack .../097-libmono-system-web-applicationservices4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-applicationservices4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-identitymodel4.0-cil. Preparing to unpack .../098-libmono-system-identitymodel4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-identitymodel4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-io-compression4.0-cil. Preparing to unpack .../099-libmono-system-io-compression4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-io-compression4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-io-compression-filesystem4.0-cil. Preparing to unpack .../100-libmono-system-io-compression-filesystem4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-io-compression-filesystem4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-runtime-serialization-formatters-soap4.0-cil. Preparing to unpack .../101-libmono-system-runtime-serialization-formatters-soap4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-runtime-serialization-formatters-soap4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-sqlite4.0-cil. Preparing to unpack .../102-libmono-sqlite4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-sqlite4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-accessibility4.0-cil. Preparing to unpack .../103-libmono-accessibility4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-accessibility4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-webbrowser4.0-cil. Preparing to unpack .../104-libmono-webbrowser4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-webbrowser4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-i18n4.0-cil. Preparing to unpack .../105-libmono-i18n4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-i18n4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-i18n-west4.0-cil. Preparing to unpack .../106-libmono-i18n-west4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-i18n-west4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-windows-forms4.0-cil. Preparing to unpack .../107-libmono-system-windows-forms4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-windows-forms4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-design4.0-cil. Preparing to unpack .../108-libmono-system-design4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-design4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-ldap4.0-cil. Preparing to unpack .../109-libmono-ldap4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-ldap4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-ldap4.0-cil. Preparing to unpack .../110-libmono-system-ldap4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-ldap4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-services4.0-cil. Preparing to unpack .../111-libmono-system-web-services4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-services4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web4.0-cil. Preparing to unpack .../112-libmono-system-web4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-runtime4.0-cil. Preparing to unpack .../113-libmono-system-runtime4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-runtime4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-identitymodel-selectors4.0-cil. Preparing to unpack .../114-libmono-system-identitymodel-selectors4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-identitymodel-selectors4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-messaging4.0-cil. Preparing to unpack .../115-libmono-messaging4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-messaging4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-messaging4.0-cil. Preparing to unpack .../116-libmono-system-messaging4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-messaging4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-servicemodel-activation4.0-cil. Preparing to unpack .../117-libmono-system-servicemodel-activation4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-servicemodel-activation4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-servicemodel4.0a-cil. Preparing to unpack .../118-libmono-system-servicemodel4.0a-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-servicemodel4.0a-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-serviceprocess4.0-cil. Preparing to unpack .../119-libmono-system-serviceprocess4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-serviceprocess4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-xml-linq4.0-cil. Preparing to unpack .../120-libmono-system-xml-linq4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-xml-linq4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-csharp4.0c-cil. Preparing to unpack .../121-libmono-csharp4.0c-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-csharp4.0c-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-microsoft-csharp4.0-cil. Preparing to unpack .../122-libmono-microsoft-csharp4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-microsoft-csharp4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package mono-mcs. Preparing to unpack .../123-mono-mcs_4.6.2.7+dfsg-2_all.deb ... Unpacking mono-mcs (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-microsoft-build-framework4.0-cil. Preparing to unpack .../124-libmono-microsoft-build-framework4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-microsoft-build-framework4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-microsoft-build-utilities-v4.0-4.0-cil. Preparing to unpack .../125-libmono-microsoft-build-utilities-v4.0-4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-microsoft-build-utilities-v4.0-4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-microsoft-build-engine4.0-cil. Preparing to unpack .../126-libmono-microsoft-build-engine4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-microsoft-build-engine4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-xbuild-tasks4.0-cil. Preparing to unpack .../127-libmono-xbuild-tasks4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-xbuild-tasks4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-microsoft-build-tasks-v4.0-4.0-cil. Preparing to unpack .../128-libmono-microsoft-build-tasks-v4.0-4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-microsoft-build-tasks-v4.0-4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package mono-xbuild. Preparing to unpack .../129-mono-xbuild_4.6.2.7+dfsg-2_all.deb ... Unpacking mono-xbuild (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-cairo4.0-cil. Preparing to unpack .../130-libmono-cairo4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-cairo4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-cscompmgd0.0-cil. Preparing to unpack .../131-libmono-cscompmgd0.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-cscompmgd0.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-custommarshalers4.0-cil. Preparing to unpack .../132-libmono-custommarshalers4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-custommarshalers4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-db2-1.0-cil. Preparing to unpack .../133-libmono-db2-1.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-db2-1.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-debugger-soft4.0a-cil. Preparing to unpack .../134-libmono-debugger-soft4.0a-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-debugger-soft4.0a-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-sharpzip4.84-cil. Preparing to unpack .../135-libmono-sharpzip4.84-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-sharpzip4.84-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-http4.0-cil. Preparing to unpack .../136-libmono-http4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-http4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-i18n-cjk4.0-cil. Preparing to unpack .../137-libmono-i18n-cjk4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-i18n-cjk4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-i18n-mideast4.0-cil. Preparing to unpack .../138-libmono-i18n-mideast4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-i18n-mideast4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-i18n-other4.0-cil. Preparing to unpack .../139-libmono-i18n-other4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-i18n-other4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-i18n-rare4.0-cil. Preparing to unpack .../140-libmono-i18n-rare4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-i18n-rare4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-i18n4.0-all. Preparing to unpack .../141-libmono-i18n4.0-all_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-i18n4.0-all (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-management4.0-cil. Preparing to unpack .../142-libmono-management4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-management4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-rabbitmq4.0-cil. Preparing to unpack .../143-libmono-rabbitmq4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-rabbitmq4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-messaging-rabbitmq4.0-cil. Preparing to unpack .../144-libmono-messaging-rabbitmq4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-messaging-rabbitmq4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-microsoft-build4.0-cil. Preparing to unpack .../145-libmono-microsoft-build4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-microsoft-build4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-microsoft-visualc10.0-cil. Preparing to unpack .../146-libmono-microsoft-visualc10.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-microsoft-visualc10.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-microsoft-web-infrastructure1.0-cil. Preparing to unpack .../147-libmono-microsoft-web-infrastructure1.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-microsoft-web-infrastructure1.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-oracle4.0-cil. Preparing to unpack .../148-libmono-oracle4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-oracle4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-parallel4.0-cil. Preparing to unpack .../149-libmono-parallel4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-parallel4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-simd4.0-cil. Preparing to unpack .../150-libmono-simd4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-simd4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-smdiagnostics0.0-cil. Preparing to unpack .../151-libmono-smdiagnostics0.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-smdiagnostics0.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-data-datasetextensions4.0-cil. Preparing to unpack .../152-libmono-system-data-datasetextensions4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-data-datasetextensions4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-data-entity4.0-cil. Preparing to unpack .../153-libmono-system-data-entity4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-data-entity4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-data-services-client4.0-cil. Preparing to unpack .../154-libmono-system-data-services-client4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-data-services-client4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-extensions4.0-cil. Preparing to unpack .../155-libmono-system-web-extensions4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-extensions4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-servicemodel-web4.0-cil. Preparing to unpack .../156-libmono-system-servicemodel-web4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-servicemodel-web4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-data-services4.0-cil. Preparing to unpack .../157-libmono-system-data-services4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-data-services4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-deployment4.0-cil. Preparing to unpack .../158-libmono-system-deployment4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-deployment4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-drawing-design4.0-cil. Preparing to unpack .../159-libmono-system-drawing-design4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-drawing-design4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-dynamic4.0-cil. Preparing to unpack .../160-libmono-system-dynamic4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-dynamic4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-json4.0-cil. Preparing to unpack .../161-libmono-system-json4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-json4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-json-microsoft4.0-cil. Preparing to unpack .../162-libmono-system-json-microsoft4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-json-microsoft4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-ldap-protocols4.0-cil. Preparing to unpack .../163-libmono-system-ldap-protocols4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-ldap-protocols4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-management4.0-cil. Preparing to unpack .../164-libmono-system-management4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-management4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-net4.0-cil. Preparing to unpack .../165-libmono-system-net4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-net4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-net-http4.0-cil. Preparing to unpack .../166-libmono-system-net-http4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-net-http4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-net-http-formatting4.0-cil. Preparing to unpack .../167-libmono-system-net-http-formatting4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-net-http-formatting4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-net-http-webrequest4.0-cil. Preparing to unpack .../168-libmono-system-net-http-webrequest4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-net-http-webrequest4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-numerics-vectors4.0-cil. Preparing to unpack .../169-libmono-system-numerics-vectors4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-numerics-vectors4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-reactive-interfaces2.2-cil. Preparing to unpack .../170-libmono-system-reactive-interfaces2.2-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-reactive-interfaces2.2-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-reactive-core2.2-cil. Preparing to unpack .../171-libmono-system-reactive-core2.2-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-reactive-core2.2-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-reactive-linq2.2-cil. Preparing to unpack .../172-libmono-system-reactive-linq2.2-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-reactive-linq2.2-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-reactive-debugger2.2-cil. Preparing to unpack .../173-libmono-system-reactive-debugger2.2-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-reactive-debugger2.2-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-reactive-experimental2.2-cil. Preparing to unpack .../174-libmono-system-reactive-experimental2.2-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-reactive-experimental2.2-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-reactive-providers2.2-cil. Preparing to unpack .../175-libmono-system-reactive-providers2.2-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-reactive-providers2.2-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-reactive-observable-aliases0.0-cil. Preparing to unpack .../176-libmono-system-reactive-observable-aliases0.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-reactive-observable-aliases0.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-reactive-platformservices2.2-cil. Preparing to unpack .../177-libmono-system-reactive-platformservices2.2-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-reactive-platformservices2.2-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-reactive-runtime-remoting2.2-cil. Preparing to unpack .../178-libmono-system-reactive-runtime-remoting2.2-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-reactive-runtime-remoting2.2-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-reactive-windows-forms2.2-cil. Preparing to unpack .../179-libmono-system-reactive-windows-forms2.2-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-reactive-windows-forms2.2-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-xaml4.0-cil. Preparing to unpack .../180-libmono-system-xaml4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-xaml4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-windowsbase4.0-cil. Preparing to unpack .../181-libmono-windowsbase4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-windowsbase4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-reactive-windows-threading2.2-cil. Preparing to unpack .../182-libmono-system-reactive-windows-threading2.2-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-reactive-windows-threading2.2-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-reflection-context4.0-cil. Preparing to unpack .../183-libmono-system-reflection-context4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-reflection-context4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-runtime-caching4.0-cil. Preparing to unpack .../184-libmono-system-runtime-caching4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-runtime-caching4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-runtime-durableinstancing4.0-cil. Preparing to unpack .../185-libmono-system-runtime-durableinstancing4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-runtime-durableinstancing4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-runtime-interopservices-runtimeinformation4.0-cil. Preparing to unpack .../186-libmono-system-runtime-interopservices-runtimeinformation4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-runtime-interopservices-runtimeinformation4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-servicemodel-discovery4.0-cil. Preparing to unpack .../187-libmono-system-servicemodel-discovery4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-servicemodel-discovery4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-servicemodel-routing4.0-cil. Preparing to unpack .../188-libmono-system-servicemodel-routing4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-servicemodel-routing4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-threading-tasks-dataflow4.0-cil. Preparing to unpack .../189-libmono-system-threading-tasks-dataflow4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-threading-tasks-dataflow4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-abstractions4.0-cil. Preparing to unpack .../190-libmono-system-web-abstractions4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-abstractions4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-dynamicdata4.0-cil. Preparing to unpack .../191-libmono-system-web-dynamicdata4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-dynamicdata4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-extensions-design4.0-cil. Preparing to unpack .../192-libmono-system-web-extensions-design4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-extensions-design4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-http4.0-cil. Preparing to unpack .../193-libmono-system-web-http4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-http4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-http-selfhost4.0-cil. Preparing to unpack .../194-libmono-system-web-http-selfhost4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-http-selfhost4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-http-webhost4.0-cil. Preparing to unpack .../195-libmono-system-web-http-webhost4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-http-webhost4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-mobile4.0-cil. Preparing to unpack .../196-libmono-system-web-mobile4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-mobile4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-razor2.0-cil. Preparing to unpack .../197-libmono-system-web-razor2.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-razor2.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-webpages-deployment2.0-cil. Preparing to unpack .../198-libmono-system-web-webpages-deployment2.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-webpages-deployment2.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-webpages2.0-cil. Preparing to unpack .../199-libmono-system-web-webpages2.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-webpages2.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-webpages-razor2.0-cil. Preparing to unpack .../200-libmono-system-web-webpages-razor2.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-webpages-razor2.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-mvc3.0-cil. Preparing to unpack .../201-libmono-system-web-mvc3.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-mvc3.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-regularexpressions4.0-cil. Preparing to unpack .../202-libmono-system-web-regularexpressions4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-regularexpressions4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-web-routing4.0-cil. Preparing to unpack .../203-libmono-system-web-routing4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-web-routing4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-windows4.0-cil. Preparing to unpack .../204-libmono-system-windows4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-windows4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-windows-forms-datavisualization4.0a-cil. Preparing to unpack .../205-libmono-system-windows-forms-datavisualization4.0a-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-windows-forms-datavisualization4.0a-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-workflow-activities4.0-cil. Preparing to unpack .../206-libmono-system-workflow-activities4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-workflow-activities4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-workflow-componentmodel4.0-cil. Preparing to unpack .../207-libmono-system-workflow-componentmodel4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-workflow-componentmodel4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-workflow-runtime4.0-cil. Preparing to unpack .../208-libmono-system-workflow-runtime4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-workflow-runtime4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-system-xml-serialization4.0-cil. Preparing to unpack .../209-libmono-system-xml-serialization4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-system-xml-serialization4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-tasklets4.0-cil. Preparing to unpack .../210-libmono-tasklets4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-tasklets4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-webmatrix-data4.0-cil. Preparing to unpack .../211-libmono-webmatrix-data4.0-cil_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-webmatrix-data4.0-cil (4.6.2.7+dfsg-2) ... Selecting previously unselected package libnunit-core-interfaces2.6.3-cil. Preparing to unpack .../212-libnunit-core-interfaces2.6.3-cil_2.6.4+dfsg-1_all.deb ... Unpacking libnunit-core-interfaces2.6.3-cil (2.6.4+dfsg-1) ... Selecting previously unselected package libnunit-core2.6.3-cil. Preparing to unpack .../213-libnunit-core2.6.3-cil_2.6.4+dfsg-1_all.deb ... Unpacking libnunit-core2.6.3-cil (2.6.4+dfsg-1) ... Selecting previously unselected package libnunit-util2.6.3-cil. Preparing to unpack .../214-libnunit-util2.6.3-cil_2.6.4+dfsg-1_all.deb ... Unpacking libnunit-util2.6.3-cil (2.6.4+dfsg-1) ... Selecting previously unselected package libnunit-console-runner2.6.3-cil. Preparing to unpack .../215-libnunit-console-runner2.6.3-cil_2.6.4+dfsg-1_all.deb ... Unpacking libnunit-console-runner2.6.3-cil (2.6.4+dfsg-1) ... Selecting previously unselected package libnunit-framework2.6.3-cil. Preparing to unpack .../216-libnunit-framework2.6.3-cil_2.6.4+dfsg-1_all.deb ... Unpacking libnunit-framework2.6.3-cil (2.6.4+dfsg-1) ... Selecting previously unselected package libnunit-mocks2.6.3-cil. Preparing to unpack .../217-libnunit-mocks2.6.3-cil_2.6.4+dfsg-1_all.deb ... Unpacking libnunit-mocks2.6.3-cil (2.6.4+dfsg-1) ... Selecting previously unselected package libnunit-cil-dev. Preparing to unpack .../218-libnunit-cil-dev_2.6.4+dfsg-1_all.deb ... Unpacking libnunit-cil-dev (2.6.4+dfsg-1) ... Selecting previously unselected package libmono-cil-dev. Preparing to unpack .../219-libmono-cil-dev_4.6.2.7+dfsg-2_all.deb ... Unpacking libmono-cil-dev (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmonosgen-2.0-1. Preparing to unpack .../220-libmonosgen-2.0-1_4.6.2.7+dfsg-2_armel.deb ... Unpacking libmonosgen-2.0-1 (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmonosgen-2.0-dev. Preparing to unpack .../221-libmonosgen-2.0-dev_4.6.2.7+dfsg-2_armel.deb ... Unpacking libmonosgen-2.0-dev (4.6.2.7+dfsg-2) ... Selecting previously unselected package libmono-2.0-dev. Preparing to unpack .../222-libmono-2.0-dev_4.6.2.7+dfsg-2_armel.deb ... Unpacking libmono-2.0-dev (4.6.2.7+dfsg-2) ... Selecting previously unselected package pkg-config. Preparing to unpack .../223-pkg-config_0.29-4+b1_armel.deb ... Unpacking pkg-config (0.29-4+b1) ... Selecting previously unselected package mono-devel. Preparing to unpack .../224-mono-devel_4.6.2.7+dfsg-2_all.deb ... Unpacking mono-devel (4.6.2.7+dfsg-2) ... Selecting previously unselected package libencode-locale-perl. Preparing to unpack .../225-libencode-locale-perl_1.05-1_all.deb ... Unpacking libencode-locale-perl (1.05-1) ... Selecting previously unselected package libhttp-date-perl. Preparing to unpack .../226-libhttp-date-perl_6.02-1_all.deb ... Unpacking libhttp-date-perl (6.02-1) ... Selecting previously unselected package libfile-listing-perl. Preparing to unpack .../227-libfile-listing-perl_6.04-1_all.deb ... Unpacking libfile-listing-perl (6.04-1) ... Selecting previously unselected package libhtml-tagset-perl. Preparing to unpack .../228-libhtml-tagset-perl_3.20-3_all.deb ... Unpacking libhtml-tagset-perl (3.20-3) ... Selecting previously unselected package liburi-perl. Preparing to unpack .../229-liburi-perl_1.74-1_all.deb ... Unpacking liburi-perl (1.74-1) ... Selecting previously unselected package libhtml-parser-perl. Preparing to unpack .../230-libhtml-parser-perl_3.72-3+b2_armel.deb ... Unpacking libhtml-parser-perl (3.72-3+b2) ... Selecting previously unselected package libhtml-tree-perl. Preparing to unpack .../231-libhtml-tree-perl_5.07-1_all.deb ... Unpacking libhtml-tree-perl (5.07-1) ... Selecting previously unselected package libio-html-perl. Preparing to unpack .../232-libio-html-perl_1.001-1_all.deb ... Unpacking libio-html-perl (1.001-1) ... Selecting previously unselected package liblwp-mediatypes-perl. Preparing to unpack .../233-liblwp-mediatypes-perl_6.02-1_all.deb ... Unpacking liblwp-mediatypes-perl (6.02-1) ... Selecting previously unselected package libhttp-message-perl. Preparing to unpack .../234-libhttp-message-perl_6.18-1_all.deb ... Unpacking libhttp-message-perl (6.18-1) ... Selecting previously unselected package libhttp-cookies-perl. Preparing to unpack .../235-libhttp-cookies-perl_6.04-1_all.deb ... Unpacking libhttp-cookies-perl (6.04-1) ... Selecting previously unselected package libhttp-negotiate-perl. Preparing to unpack .../236-libhttp-negotiate-perl_6.01-1_all.deb ... Unpacking libhttp-negotiate-perl (6.01-1) ... Selecting previously unselected package perl-openssl-defaults:armel. Preparing to unpack .../237-perl-openssl-defaults_3_armel.deb ... Unpacking perl-openssl-defaults:armel (3) ... Selecting previously unselected package libnet-ssleay-perl. Preparing to unpack .../238-libnet-ssleay-perl_1.85-1_armel.deb ... Unpacking libnet-ssleay-perl (1.85-1) ... Selecting previously unselected package libio-socket-ssl-perl. Preparing to unpack .../239-libio-socket-ssl-perl_2.059-1_all.deb ... Unpacking libio-socket-ssl-perl (2.059-1) ... Selecting previously unselected package libnet-http-perl. Preparing to unpack .../240-libnet-http-perl_6.18-1_all.deb ... Unpacking libnet-http-perl (6.18-1) ... Selecting previously unselected package liblwp-protocol-https-perl. Preparing to unpack .../241-liblwp-protocol-https-perl_6.07-2_all.deb ... Unpacking liblwp-protocol-https-perl (6.07-2) ... Selecting previously unselected package libtry-tiny-perl. Preparing to unpack .../242-libtry-tiny-perl_0.30-1_all.deb ... Unpacking libtry-tiny-perl (0.30-1) ... Selecting previously unselected package libwww-robotrules-perl. Preparing to unpack .../243-libwww-robotrules-perl_6.02-1_all.deb ... Unpacking libwww-robotrules-perl (6.02-1) ... Selecting previously unselected package libwww-perl. Preparing to unpack .../244-libwww-perl_6.35-2_all.deb ... Unpacking libwww-perl (6.35-2) ... Selecting previously unselected package libxml-parser-perl. Preparing to unpack .../245-libxml-parser-perl_2.44-2+b3_armel.deb ... Unpacking libxml-parser-perl (2.44-2+b3) ... Selecting previously unselected package libxml-perl. Preparing to unpack .../246-libxml-perl_0.08-3_all.deb ... Unpacking libxml-perl (0.08-3) ... Selecting previously unselected package libxml-regexp-perl. Preparing to unpack .../247-libxml-regexp-perl_0.04-1_all.deb ... Unpacking libxml-regexp-perl (0.04-1) ... Selecting previously unselected package libxml-dom-perl. Preparing to unpack .../248-libxml-dom-perl_1.44-2_all.deb ... Unpacking libxml-dom-perl (1.44-2) ... Selecting previously unselected package cli-common-dev. Preparing to unpack .../249-cli-common-dev_0.9+nmu1_all.deb ... Unpacking cli-common-dev (0.9+nmu1) ... Selecting previously unselected package libboogie-cil. Preparing to unpack .../250-libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb ... Unpacking libboogie-cil (2.3.0.61016+dfsg+3.gbp1f2d6c1-1) ... Selecting previously unselected package mono-reference-assemblies-4.0. Preparing to unpack .../251-mono-reference-assemblies-4.0_3.12.1+dfsg-2_all.deb ... Unpacking mono-reference-assemblies-4.0 (3.12.1+dfsg-2) ... Setting up libhtml-tagset-perl (3.20-3) ... Setting up libtry-tiny-perl (0.30-1) ... Setting up libexpat1:armel (2.2.6-1) ... Setting up libjpeg62-turbo:armel (1:1.5.2-2+b1) ... Setting up libarchive-zip-perl (1.62-2) ... Setting up libencode-locale-perl (1.05-1) ... Setting up libpng16-16:armel (1.6.34-2) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libjbig0:armel (2.1-3.1+b2) ... Setting up libsigsegv2:armel (2.12-2) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libmonosgen-2.0-1 (4.6.2.7+dfsg-2) ... Setting up libelf1:armel (0.170-0.5) ... Setting up groff-base (1.22.3-10) ... Setting up libglib2.0-0:armel (2.56.1-2) ... No schema files found: doing nothing. Setting up libio-html-perl (1.001-1) ... Setting up libtiff5:armel (4.0.9-6) ... Setting up gettext-base (0.19.8.1-7) ... Setting up libgif7:armel (5.1.4-3) ... Setting up libpipeline1:armel (1.5.0-1) ... Setting up m4 (1.4.18-1) ... Setting up libbsd0:armel (0.9.1-1) ... Setting up libfreetype6:armel (2.8.1-2) ... Setting up libmagic-mgc (1:5.34-2) ... Setting up libmagic1:armel (1:5.34-2) ... Setting up libgraphite2-3:armel (1.3.11-2) ... Setting up pkg-config (0.29-4+b1) ... Setting up sensible-utils (0.0.12) ... Setting up libpixman-1-0:armel (0.34.0-2) ... Setting up liblwp-mediatypes-perl (6.02-1) ... Processing triggers for libc-bin (2.27-5) ... Setting up dwz (0.12-2) ... Setting up libxml-regexp-perl (0.04-1) ... Setting up autotools-dev (20180224.1) ... Setting up liburi-perl (1.74-1) ... Setting up libssl1.1:armel (1.1.1~~pre9-1) ... Setting up libhtml-parser-perl (3.72-3+b2) ... Setting up openssl (1.1.1~~pre9-1) ... Setting up libnet-http-perl (6.18-1) ... Setting up libxdmcp6:armel (1:1.1.2-3) ... Setting up bsdmainutils (11.1.2+b1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libmonoboehm-2.0-1 (4.6.2.7+dfsg-2) ... Setting up ca-certificates (20180409) ... Updating certificates in /etc/ssl/certs... 133 added, 0 removed; done. Setting up libexif12:armel (0.6.21-5) ... Setting up cli-common (0.9+nmu1) ... Setting up libncurses6:armel (6.1+20180714-1) ... Setting up libwww-robotrules-perl (6.02-1) ... Setting up libx11-data (2:1.6.5-1) ... Setting up libxau6:armel (1:1.0.8-1+b2) ... Setting up autopoint (0.19.8.1-7) ... Setting up netbase (5.4) ... Setting up libfile-stripnondeterminism-perl (0.042-1) ... Setting up libmonosgen-2.0-dev (4.6.2.7+dfsg-2) ... Setting up libhttp-date-perl (6.02-1) ... Setting up perl-openssl-defaults:armel (3) ... Setting up libharfbuzz0b:armel (1.8.8-2) ... Setting up autoconf (2.69-11) ... Setting up file (1:5.34-2) ... Setting up ucf (3.0038) ... Setting up libmono-2.0-dev (4.6.2.7+dfsg-2) ... Setting up libhtml-tree-perl (5.07-1) ... Setting up automake (1:1.16.1-1) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-listing-perl (6.04-1) ... Setting up man-db (2.8.4-2) ... Building database of manual pages ... Setting up libhttp-message-perl (6.18-1) ... Setting up libxcb1:armel (1.13-2) ... Setting up libhttp-negotiate-perl (6.01-1) ... Setting up libtool (2.4.6-2.1) ... Setting up fontconfig-config (2.13.0-5) ... Setting up libxcb-render0:armel (1.13-2) ... Setting up libhttp-cookies-perl (6.04-1) ... Setting up libnet-ssleay-perl (1.85-1) ... Setting up libx11-6:armel (2:1.6.5-1) ... Setting up libio-socket-ssl-perl (2.059-1) ... Setting up libxcb-shm0:armel (1.13-2) ... Setting up libxrender1:armel (1:0.9.10-1) ... Setting up libfontconfig1:armel (2.13.0-5) ... Setting up libxext6:armel (2:1.3.3-1+b2) ... Setting up libcairo2:armel (1.15.10-3) ... Setting up libgdiplus (4.2-2) ... Setting up libmono-system-xml4.0-cil (4.6.2.7+dfsg-2) ... Setting up dh-autoreconf (19) ... Setting up libmono-system-security4.0-cil (4.6.2.7+dfsg-2) ... Setting up libicu-le-hb0:armel (1.0.3+git161113-5) ... Setting up liblwp-protocol-https-perl (6.07-2) ... Setting up dh-strip-nondeterminism (0.042-1) ... Setting up libmono-system-configuration4.0-cil (4.6.2.7+dfsg-2) ... Setting up libwww-perl (6.35-2) ... Setting up libicu60:armel (60.2-6) ... Setting up libxml2:armel (2.9.4+dfsg1-7+b1) ... Setting up libmono-system4.0-cil (4.6.2.7+dfsg-2) ... Setting up libcroco3:armel (0.6.12-2) ... Setting up libxml-parser-perl (2.44-2+b3) ... Setting up gettext (0.19.8.1-7) ... Setting up libmono-security4.0-cil (4.6.2.7+dfsg-2) ... Setting up mono-4.0-gac (4.6.2.7+dfsg-2) ... Setting up mono-gac (4.6.2.7+dfsg-2) ... update-alternatives: using /usr/bin/gacutil to provide /usr/bin/cli-gacutil (global-assembly-cache-tool) in auto mode Setting up libxml-perl (0.08-3) ... Setting up mono-runtime-common (4.6.2.7+dfsg-2) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up libxml-dom-perl (1.44-2) ... Setting up mono-reference-assemblies-4.0 (3.12.1+dfsg-2) ... Setting up po-debconf (1.0.20) ... Setting up mono-runtime-sgen (4.6.2.7+dfsg-2) ... Setting up mono-runtime (4.6.2.7+dfsg-2) ... update-alternatives: using /usr/bin/mono to provide /usr/bin/cli (cli) in auto mode Setting up debhelper (11.3.5) ... Setting up libmono-corlib4.5-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-drawing4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-rabbitmq4.0-cil (4.6.2.7+dfsg-2) ... Setting up mono-utils (4.6.2.7+dfsg-2) ... update-alternatives: using /usr/bin/monodis to provide /usr/bin/cli-ildasm (cil-disassembler) in auto mode Setting up libmono-system-runtime-serialization-formatters-soap4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-posix4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-peapi4.0a-cil (4.6.2.7+dfsg-2) ... Setting up libmono-cscompmgd0.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-numerics4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-webbrowser4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-windows4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-deployment4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-mobile4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-xbuild-tasks4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-sharpzip4.84-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-servicemodel-internals0.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-microsoft-build-framework4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-runtime-interopservices-runtimeinformation4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-relaxng4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-core4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-microsoft-build4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-data-tds4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-workflow-runtime4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-management4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-i18n4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-accessibility4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-messaging4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-servicemodel-activation4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-workflow-activities4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-cecil-private-cil (4.6.2.7+dfsg-2) ... Setting up libmono-cairo4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-parallel4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-reflection-context4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-ldap4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-threading-tasks-dataflow4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-dynamic4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-workflow-componentmodel4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-i18n-mideast4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-componentmodel-composition4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-regularexpressions4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-razor2.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-applicationservices4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-i18n-rare4.0-cil (4.6.2.7+dfsg-2) ... Setting up libnunit-framework2.6.3-cil (2.6.4+dfsg-1) ... * Installing 1 assembly from libnunit-framework2.6.3-cil into Mono Setting up libmono-compilerservices-symbolwriter4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-ldap4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-simd4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-configuration-install4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-ldap-protocols4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-tasklets4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-net-http4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-debugger-soft4.0a-cil (4.6.2.7+dfsg-2) ... Setting up libmono-custommarshalers4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-csharp4.0c-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-net4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-transactions4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-microsoft-visualc10.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-json4.0-cil (4.6.2.7+dfsg-2) ... Setting up libnunit-core-interfaces2.6.3-cil (2.6.4+dfsg-1) ... * Installing 1 assembly from libnunit-core-interfaces2.6.3-cil into Mono Setting up libmono-system-numerics-vectors4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-i18n-other4.0-cil (4.6.2.7+dfsg-2) ... Setting up libnunit-core2.6.3-cil (2.6.4+dfsg-1) ... * Installing 1 assembly from libnunit-core2.6.3-cil into Mono Setting up libmono-system-management4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-net-http-webrequest4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-i18n-cjk4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-reactive-interfaces2.2-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-runtime-serialization4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-io-compression4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-microsoft-build-utilities-v4.0-4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-enterpriseservices4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-data4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-io-compression-filesystem4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-identitymodel4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-db2-1.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-data-linq4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-smdiagnostics0.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-webmatrix-data4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-xaml4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-componentmodel-dataannotations4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-windowsbase4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-oracle4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-runtime-caching4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-i18n-west4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-messaging-rabbitmq4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-codecontracts4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-sqlite4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-i18n4.0-all (4.6.2.7+dfsg-2) ... Setting up libnunit-mocks2.6.3-cil (2.6.4+dfsg-1) ... * Installing 1 assembly from libnunit-mocks2.6.3-cil into Mono Setting up libmono-microsoft-csharp4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-identitymodel-selectors4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-json-microsoft4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-xml-linq4.0-cil (4.6.2.7+dfsg-2) ... Setting up mono-mcs (4.6.2.7+dfsg-2) ... Setting up libmono-system-reactive-core2.2-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-data-datasetextensions4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-data-entity4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-data-services-client4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-microsoft-build-engine4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-services4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-windows-forms4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-windows-forms-datavisualization4.0a-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-reactive-windows-forms2.2-cil (4.6.2.7+dfsg-2) ... Setting up libboogie-cil (2.3.0.61016+dfsg+3.gbp1f2d6c1-1) ... Setting up libmono-system-messaging4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-serviceprocess4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-reactive-runtime-remoting2.2-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-runtime-durableinstancing4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-drawing-design4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-reactive-windows-threading2.2-cil (4.6.2.7+dfsg-2) ... Setting up libmono-microsoft-build-tasks-v4.0-4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-net-http-formatting4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-reactive-linq2.2-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-http4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-reactive-experimental2.2-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-runtime4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-microsoft-web-infrastructure1.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-servicemodel4.0a-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-abstractions4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-http-webhost4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-reactive-debugger2.2-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-reactive-providers2.2-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-routing4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-servicemodel-discovery4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-servicemodel-routing4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-reactive-platformservices2.2-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-reactive-observable-aliases0.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-http4.0-cil (4.6.2.7+dfsg-2) ... Setting up mono-xbuild (4.6.2.7+dfsg-2) ... Setting up libmono-system-design4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-extensions-design4.0-cil (4.6.2.7+dfsg-2) ... Setting up libnunit-util2.6.3-cil (2.6.4+dfsg-1) ... * Installing 1 assembly from libnunit-util2.6.3-cil into Mono Setting up libmono-system-web-extensions4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-webpages-deployment2.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-webpages2.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-xml-serialization4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-http-selfhost4.0-cil (4.6.2.7+dfsg-2) ... Setting up libnunit-console-runner2.6.3-cil (2.6.4+dfsg-1) ... * Installing 1 assembly from libnunit-console-runner2.6.3-cil into Mono Setting up libmono-system-web-webpages-razor2.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-web-dynamicdata4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-servicemodel-web4.0-cil (4.6.2.7+dfsg-2) ... Setting up libnunit-cil-dev (2.6.4+dfsg-1) ... Setting up libmono-system-web-mvc3.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-system-data-services4.0-cil (4.6.2.7+dfsg-2) ... Setting up libmono-cil-dev (4.6.2.7+dfsg-2) ... Setting up mono-devel (4.6.2.7+dfsg-2) ... update-alternatives: using /usr/bin/mono-csc to provide /usr/bin/cli-csc (c-sharp-compiler) in auto mode update-alternatives: using /usr/bin/resgen to provide /usr/bin/cli-resgen (resource-file-generator) in auto mode update-alternatives: using /usr/bin/al to provide /usr/bin/cli-al (assembly-linker) in auto mode update-alternatives: using /usr/bin/sn to provide /usr/bin/cli-sn (strong-name-tool) in auto mode Setting up cli-common-dev (0.9+nmu1) ... Processing triggers for libc-bin (2.27-5) ... Processing triggers for ca-certificates (20180409) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libfakeroot The following NEW packages will be installed: fakeroot libfakeroot debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 2 newly installed, 0 to remove and 9 not upgraded. Need to get 0 B/129 kB of archives. After this operation, 348 kB of additional disk space will be used. Selecting previously unselected package libfakeroot:armel. (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 ... 17256 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.23-1_armel.deb ... Unpacking libfakeroot:armel (1.23-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.23-1_armel.deb ... Unpacking fakeroot (1.23-1) ... Processing triggers for libc-bin (2.27-5) ... Setting up libfakeroot:armel (1.23-1) ... Processing triggers for man-db (2.8.4-2) ... Setting up fakeroot (1.23-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.27-5) ... I: Copying back the cached apt archive contents I: new cache content 'libmono-2.0-dev_4.6.2.7+dfsg-2_armel.deb' added I: new cache content 'mono-utils_4.6.2.7+dfsg-2_armel.deb' added I: new cache content 'libmonosgen-2.0-1_4.6.2.7+dfsg-2_armel.deb' added I: new cache content 'libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb' added I: new cache content 'libgdiplus_4.2-2_armel.deb' added I: new cache content 'libmonosgen-2.0-dev_4.6.2.7+dfsg-2_armel.deb' added I: new cache content 'libmonoboehm-2.0-1_4.6.2.7+dfsg-2_armel.deb' added I: new cache content 'mono-reference-assemblies-4.0_3.12.1+dfsg-2_all.deb' added I: Building the package I: Running cd /build/dafny-1.9.7/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin" HOME="/nonexistent" dpkg-buildpackage -us -uc -rfakeroot dpkg-buildpackage: info: source package dafny dpkg-buildpackage: info: source version 1.9.7-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Benjamin Barenblat dpkg-source --before-build dafny-1.9.7 dpkg-buildpackage: info: host architecture armel fakeroot debian/rules clean dh clean --with cli dh_clean dpkg-source -b dafny-1.9.7 dpkg-source: info: using source format '3.0 (quilt)' dpkg-source: info: building dafny using existing ./dafny_1.9.7.orig.tar.gz dpkg-source: info: building dafny in dafny_1.9.7-1.debian.tar.xz dpkg-source: info: building dafny in dafny_1.9.7-1.dsc debian/rules build dh build --with cli dh_update_autotools_config debian/rules override_dh_auto_build make[1]: Entering directory '/build/dafny-1.9.7' cp -a /usr/lib/boogie/* Binaries mkdir -p Source/Dafny/bin/Checked cp -a /usr/lib/boogie/* Source/Dafny/bin/Checked xbuild Source/Dafny.sln XBuild Engine Version 14.0 Mono, Version 4.6.2.0 Copyright (C) 2005-2013 Various Mono authors Build started 08/23/2018 04:52:34. __________________________________________________ Project "/build/dafny-1.9.7/Source/Dafny.sln" (default target(s)): Target ValidateSolutionConfiguration: Building solution configuration "Checked|Mixed Platforms". Target Build: Project "/build/dafny-1.9.7/Source/Dafny/DafnyPipeline.csproj" (default target(s)): Target PrepareForBuild: Configuration: Checked Platform: AnyCPU Created directory "obj/Checked/" Target ResolveAssemblyReferences: /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets: warning : Reference 'Basetypes' not resolved For searchpath {CandidateAssemblyFiles} Warning: {CandidateAssemblyFiles} not supported currently For searchpath {HintPathFromItem} Considered ../../../boogie/Binaries/Basetypes.dll, but it does not exist. For searchpath {TargetFrameworkDirectory} Considered target framework dir /usr/lib/mono/4.0-api/, assembly named 'Basetypes' not found. For searchpath {PkgConfig} Considered Basetypes, but could not find in any pkg-config files. For searchpath {GAC} Considered Basetypes, but could not find in the GAC. For searchpath {RawFileName} Considered 'Basetypes' as a file, but the file does not exist For searchpath bin/Checked/ Considered '/build/dafny-1.9.7/Source/Dafny/bin/Checked/Basetypes' as a file, but the file does not exist Considered '/build/dafny-1.9.7/Source/Dafny/bin/Checked/Basetypes.exe' as a file, but the file does not exist Considered '/build/dafny-1.9.7/Source/Dafny/bin/Checked/Basetypes.dll' as a file, but the file does not exist /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets: warning : Reference 'Core' not resolved For searchpath {CandidateAssemblyFiles} Warning: {CandidateAssemblyFiles} not supported currently For searchpath {HintPathFromItem} Considered ../../../boogie/Binaries/Core.dll, but it does not exist. For searchpath {TargetFrameworkDirectory} Considered target framework dir /usr/lib/mono/4.0-api/, assembly named 'Core' not found. For searchpath {PkgConfig} Considered Core, but could not find in any pkg-config files. For searchpath {GAC} Considered Core, but could not find in the GAC. For searchpath {RawFileName} Considered 'Core' as a file, but the file does not exist For searchpath bin/Checked/ Considered '/build/dafny-1.9.7/Source/Dafny/bin/Checked/Core' as a file, but the file does not exist Considered '/build/dafny-1.9.7/Source/Dafny/bin/Checked/Core.exe' as a file, but the file does not exist Considered '/build/dafny-1.9.7/Source/Dafny/bin/Checked/Core.dll' as a file, but the file does not exist /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets: warning : Reference 'ParserHelper' not resolved For searchpath {CandidateAssemblyFiles} Warning: {CandidateAssemblyFiles} not supported currently For searchpath {HintPathFromItem} Considered ../../../boogie/Binaries/ParserHelper.dll, but it does not exist. For searchpath {TargetFrameworkDirectory} Considered target framework dir /usr/lib/mono/4.0-api/, assembly named 'ParserHelper' not found. For searchpath {PkgConfig} Considered ParserHelper, but could not find in any pkg-config files. For searchpath {GAC} Considered ParserHelper, but could not find in the GAC. For searchpath {RawFileName} Considered 'ParserHelper' as a file, but the file does not exist For searchpath bin/Checked/ Considered '/build/dafny-1.9.7/Source/Dafny/bin/Checked/ParserHelper' as a file, but the file does not exist Considered '/build/dafny-1.9.7/Source/Dafny/bin/Checked/ParserHelper.exe' as a file, but the file does not exist Considered '/build/dafny-1.9.7/Source/Dafny/bin/Checked/ParserHelper.dll' as a file, but the file does not exist 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+ /keyfile:../InterimKey.snk /out:obj/Checked/DafnyPipeline.dll Cloner.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,Profile=Client.AssemblyAttribute.cs /target:library /define:"TRACE;DEBUG;NO_ENABLE_IRONDAFNY" /nostdlib /platform:AnyCPU /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:/usr/lib/mono/4.0-api//mscorlib.dll Reporting.cs(1,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Triggers/QuantifiersCollection.cs(7,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Triggers/QuantifierSplitter.cs(1,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Triggers/QuantifiersCollector.cs(5,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Triggers/TriggersCollector.cs(5,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Util.cs(7,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? DafnyAst.cs(12,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Resolver.cs(11,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Translator.cs(14,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? cce.cs(5,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Parser.cs(3,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Scanner.cs(8,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Cloner.cs(6,26): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Compiler.cs(12,23): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? DafnyAst.cs(5364,40): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyMain.cs(10,23): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? DafnyOptions.cs(6,23): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? DafnyOptions.cs(10,35): error CS0426: The nested type `CommandLineOptions' does not exist in the type `' Printer.cs(12,23): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? RefinementTransformer.cs(19,26): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Rewriter.cs(4,23): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Rewriter.cs(5,26): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Translator.cs(11,23): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Translator.cs(12,29): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Translator.cs(14486,33): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? Reporting.cs(20,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(38,73): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(51,45): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(64,45): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(94,47): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(100,47): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(106,44): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(112,44): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(118,59): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(145,74): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(69,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(73,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(126,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(192,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1036,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1083,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1091,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1116,52): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1131,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1159,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(801,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(810,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(822,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1514,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1515,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1530,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1531,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1526,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1527,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1528,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1556,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1626,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1633,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1582,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2064,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1653,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1676,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1678,33): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1678,47): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1690,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1692,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1695,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1695,48): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1695,91): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1712,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1726,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1730,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1786,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1787,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1782,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1783,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1784,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1791,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1865,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1865,119): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2133,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2114,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2216,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2249,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2319,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2348,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2385,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2407,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2587,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2467,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2480,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2487,64): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2619,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2694,18): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2701,18): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2718,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2739,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2770,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2839,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2812,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2820,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2900,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2867,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2946,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2997,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3011,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3116,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3122,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3141,19): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3170,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3186,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3329,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3208,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3278,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3281,61): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3354,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3357,89): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3372,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3390,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3393,70): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3431,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3434,71): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3443,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3446,64): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3537,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3456,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3501,19): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3509,42): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3579,18): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3587,41): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3595,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3602,42): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3629,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3646,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3654,49): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3672,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3680,50): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3698,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3706,43): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3723,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3724,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3745,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3745,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3753,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3753,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3806,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3817,18): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3832,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3832,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3840,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3840,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3856,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3856,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3865,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3865,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3880,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3880,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3907,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3907,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3914,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3914,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3927,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3927,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3962,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3962,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3971,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3971,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3980,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4000,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4091,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4099,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4106,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4147,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4164,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4164,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4197,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4197,32): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4220,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4220,48): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4232,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4252,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4252,43): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4252,98): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4290,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4290,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4301,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4301,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4323,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4323,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4492,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4395,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4396,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4406,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4406,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4517,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4517,33): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4547,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4547,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4571,19): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4571,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4603,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4614,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4634,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4634,40): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4672,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4672,33): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4717,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4717,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4750,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4750,41): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4767,32): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4767,44): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4834,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4834,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4897,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4897,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5101,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5101,33): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5212,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5212,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7674,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7686,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7695,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5266,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5276,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5319,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5321,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5322,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5324,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5324,42): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5331,43): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5331,69): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5339,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5339,42): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5339,62): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5366,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5367,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5403,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5403,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5410,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5411,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5421,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5431,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5477,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5622,47): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5637,48): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5637,60): error CS0246: The type or namespace name `Basetypes' could not be found. Are you missing an assembly reference? DafnyAst.cs(5647,48): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5654,40): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5785,42): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5795,40): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5986,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5992,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5999,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5999,36): error CS0246: The type or namespace name `Basetypes' could not be found. Are you missing an assembly reference? DafnyAst.cs(6006,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6013,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6024,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5893,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5905,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5930,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6034,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6043,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6068,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6085,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6101,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6121,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6147,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6195,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6204,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6220,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6233,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6242,32): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6251,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6268,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6308,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6356,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6387,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6428,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6474,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6485,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6517,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6517,73): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6553,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6576,32): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6597,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6619,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6630,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6909,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6922,23): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? DafnyAst.cs(6943,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6976,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7012,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7014,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7019,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7019,82): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7232,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7284,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7342,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7348,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7368,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7374,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7396,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7411,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7429,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7461,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7482,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7532,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7565,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7613,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7622,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7630,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7713,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7722,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7842,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7857,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7874,37): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7889,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7898,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7917,32): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7918,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7918,71): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7954,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7980,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7994,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(8043,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(8055,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(8078,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(8100,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyMain.cs(116,63): error CS0426: The nested type `IToken' does not exist in the type `' DafnyOptions.cs(20,28): error CS0115: `Microsoft.Dafny.DafnyOptions.VersionNumber' is marked as an override but no suitable property found to override DafnyOptions.cs(29,28): error CS0115: `Microsoft.Dafny.DafnyOptions.VersionSuffix' is marked as an override but no suitable property found to override DafnyOptions.cs(83,58): error CS0426: The nested type `CommandLineOptionEngine' does not exist in the type `' DafnyOptions.cs(266,26): error CS0115: `Microsoft.Dafny.DafnyOptions.ApplyDefaultOptions()' is marked as an override but no suitable method found to override DafnyOptions.cs(274,26): error CS0115: `Microsoft.Dafny.DafnyOptions.AttributeUsage()' is marked as an override but no suitable method found to override DafnyOptions.cs(289,26): error CS0115: `Microsoft.Dafny.DafnyOptions.Usage()' is marked as an override but no suitable method found to override Printer.cs(596,43): error CS0426: The nested type `IToken' does not exist in the type `' Resolver.cs(950,66): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(1440,58): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(2197,57): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(2871,44): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(3394,41): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(4399,82): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(4932,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(4940,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(4968,49): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(5114,37): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(5598,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(6255,45): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? Resolver.cs(7070,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(7197,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(7300,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(7394,56): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(7525,47): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(7536,51): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(8316,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(8316,95): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(8552,40): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? Resolver.cs(9085,59): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(9379,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(845,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(853,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(2250,16): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(2253,53): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(2543,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(3311,43): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(3435,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(9448,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(9460,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Rewriter.cs(34,31): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? Rewriter.cs(608,28): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? Rewriter.cs(687,42): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? Rewriter.cs(1158,27): error CS0426: The nested type `IToken' does not exist in the type `' Unhandled Exception: Mono.CSharp.InternalErrorException: Rewriter.cs(1532,57): Microsoft.Dafny.MatchCaseToken.varList ---> System.NullReferenceException: Object reference not set to an instance of an object at IKVM.Reflection.Signature.WriteType (IKVM.Reflection.Emit.ModuleBuilder module, IKVM.Reflection.Writer.ByteBuffer bb, IKVM.Reflection.Type type) [0x000b6] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Signature.WriteGenericSignature (IKVM.Reflection.Emit.ModuleBuilder module, IKVM.Reflection.Writer.ByteBuffer bb, IKVM.Reflection.Type type) [0x00081] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Signature.WriteType (IKVM.Reflection.Emit.ModuleBuilder module, IKVM.Reflection.Writer.ByteBuffer bb, IKVM.Reflection.Type type) [0x0011b] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Signature.WriteGenericSignature (IKVM.Reflection.Emit.ModuleBuilder module, IKVM.Reflection.Writer.ByteBuffer bb, IKVM.Reflection.Type type) [0x00081] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Signature.WriteType (IKVM.Reflection.Emit.ModuleBuilder module, IKVM.Reflection.Writer.ByteBuffer bb, IKVM.Reflection.Type type) [0x0011b] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.FieldSignature.WriteSig (IKVM.Reflection.Emit.ModuleBuilder module, IKVM.Reflection.Writer.ByteBuffer bb) [0x00014] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Emit.FieldBuilder..ctor (IKVM.Reflection.Emit.TypeBuilder type, System.String name, IKVM.Reflection.Type fieldType, IKVM.Reflection.CustomModifiers customModifiers, IKVM.Reflection.FieldAttributes attribs) [0x00062] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Emit.TypeBuilder.__DefineField (System.String fieldName, IKVM.Reflection.Type type, IKVM.Reflection.CustomModifiers customModifiers, IKVM.Reflection.FieldAttributes attributes) [0x00000] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Emit.TypeBuilder.DefineField (System.String fieldName, IKVM.Reflection.Type type, IKVM.Reflection.Type[] requiredCustomModifiers, IKVM.Reflection.Type[] optionalCustomModifiers, IKVM.Reflection.FieldAttributes attributes) [0x0000b] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.Field.Define () [0x00076] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.TypeDefinition.DoDefineMembers () [0x0033a] in <9494102539fd45149c591ed0d231421b>:0 --- End of inner exception stack trace --- at Mono.CSharp.TypeDefinition.DoDefineMembers () [0x0035b] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.ClassOrStruct.DoDefineMembers () [0x000e9] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.Class.DoDefineMembers () [0x00222] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.TypeDefinition.Define () [0x00012] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.TypeContainer.Define () [0x00024] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.TypeContainer.Define () [0x00024] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.TypeContainer.Define () [0x00024] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.ModuleContainer.Define () [0x0000d] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.Driver.Compile () [0x0028f] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.Driver.Main (System.String[] args) [0x00052] in <9494102539fd45149c591ed0d231421b>:0 [ERROR] FATAL UNHANDLED EXCEPTION: Mono.CSharp.InternalErrorException: Rewriter.cs(1532,57): Microsoft.Dafny.MatchCaseToken.varList ---> System.NullReferenceException: Object reference not set to an instance of an object at IKVM.Reflection.Signature.WriteType (IKVM.Reflection.Emit.ModuleBuilder module, IKVM.Reflection.Writer.ByteBuffer bb, IKVM.Reflection.Type type) [0x000b6] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Signature.WriteGenericSignature (IKVM.Reflection.Emit.ModuleBuilder module, IKVM.Reflection.Writer.ByteBuffer bb, IKVM.Reflection.Type type) [0x00081] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Signature.WriteType (IKVM.Reflection.Emit.ModuleBuilder module, IKVM.Reflection.Writer.ByteBuffer bb, IKVM.Reflection.Type type) [0x0011b] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Signature.WriteGenericSignature (IKVM.Reflection.Emit.ModuleBuilder module, IKVM.Reflection.Writer.ByteBuffer bb, IKVM.Reflection.Type type) [0x00081] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Signature.WriteType (IKVM.Reflection.Emit.ModuleBuilder module, IKVM.Reflection.Writer.ByteBuffer bb, IKVM.Reflection.Type type) [0x0011b] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.FieldSignature.WriteSig (IKVM.Reflection.Emit.ModuleBuilder module, IKVM.Reflection.Writer.ByteBuffer bb) [0x00014] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Emit.FieldBuilder..ctor (IKVM.Reflection.Emit.TypeBuilder type, System.String name, IKVM.Reflection.Type fieldType, IKVM.Reflection.CustomModifiers customModifiers, IKVM.Reflection.FieldAttributes attribs) [0x00062] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Emit.TypeBuilder.__DefineField (System.String fieldName, IKVM.Reflection.Type type, IKVM.Reflection.CustomModifiers customModifiers, IKVM.Reflection.FieldAttributes attributes) [0x00000] in <9494102539fd45149c591ed0d231421b>:0 at IKVM.Reflection.Emit.TypeBuilder.DefineField (System.String fieldName, IKVM.Reflection.Type type, IKVM.Reflection.Type[] requiredCustomModifiers, IKVM.Reflection.Type[] optionalCustomModifiers, IKVM.Reflection.FieldAttributes attributes) [0x0000b] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.Field.Define () [0x00076] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.TypeDefinition.DoDefineMembers () [0x0033a] in <9494102539fd45149c591ed0d231421b>:0 --- End of inner exception stack trace --- at Mono.CSharp.TypeDefinition.DoDefineMembers () [0x0035b] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.ClassOrStruct.DoDefineMembers () [0x000e9] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.Class.DoDefineMembers () [0x00222] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.TypeDefinition.Define () [0x00012] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.TypeContainer.Define () [0x00024] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.TypeContainer.Define () [0x00024] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.TypeContainer.Define () [0x00024] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.ModuleContainer.Define () [0x0000d] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.Driver.Compile () [0x0028f] in <9494102539fd45149c591ed0d231421b>:0 at Mono.CSharp.Driver.Main (System.String[] args) [0x00052] in <9494102539fd45149c591ed0d231421b>:0 Task "Csc" execution -- FAILED Done building target "CoreCompile" in project "/build/dafny-1.9.7/Source/Dafny/DafnyPipeline.csproj".-- FAILED Done building project "/build/dafny-1.9.7/Source/Dafny/DafnyPipeline.csproj".-- FAILED Task "MSBuild" execution -- FAILED Done building target "Build" in project "/build/dafny-1.9.7/Source/Dafny.sln".-- FAILED Done building project "/build/dafny-1.9.7/Source/Dafny.sln".-- FAILED Build FAILED. Warnings: /build/dafny-1.9.7/Source/Dafny.sln (default targets) -> (Build target) -> /build/dafny-1.9.7/Source/Dafny/DafnyPipeline.csproj (default targets) -> /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets (ResolveAssemblyReferences target) -> /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets: warning : Reference 'Basetypes' not resolved /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets: warning : Reference 'Core' not resolved /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets: warning : Reference 'ParserHelper' not resolved Errors: /build/dafny-1.9.7/Source/Dafny.sln (default targets) -> (Build target) -> /build/dafny-1.9.7/Source/Dafny/DafnyPipeline.csproj (default targets) -> /usr/lib/mono/xbuild/14.0/bin/Microsoft.CSharp.targets (CoreCompile target) -> Reporting.cs(1,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Triggers/QuantifiersCollection.cs(7,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Triggers/QuantifierSplitter.cs(1,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Triggers/QuantifiersCollector.cs(5,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Triggers/TriggersCollector.cs(5,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Util.cs(7,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? DafnyAst.cs(12,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Resolver.cs(11,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Translator.cs(14,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? cce.cs(5,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Parser.cs(3,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Scanner.cs(8,17): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Cloner.cs(6,26): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Compiler.cs(12,23): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? DafnyAst.cs(5364,40): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyMain.cs(10,23): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? DafnyOptions.cs(6,23): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? DafnyOptions.cs(10,35): error CS0426: The nested type `CommandLineOptions' does not exist in the type `' Printer.cs(12,23): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? RefinementTransformer.cs(19,26): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Rewriter.cs(4,23): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Rewriter.cs(5,26): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Translator.cs(11,23): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Translator.cs(12,29): error CS0234: The type or namespace name `Boogie' does not exist in the namespace `Microsoft'. Are you missing an assembly reference? Translator.cs(14486,33): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? Reporting.cs(20,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(38,73): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(51,45): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(64,45): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(94,47): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(100,47): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(106,44): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(112,44): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(118,59): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Reporting.cs(145,74): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(69,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(73,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(126,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(192,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1036,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1083,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1091,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1116,52): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1131,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1159,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(801,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(810,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(822,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1514,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1515,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1530,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1531,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1526,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1527,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1528,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1556,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1626,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1633,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1582,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2064,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1653,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1676,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1678,33): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1678,47): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1690,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1692,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1695,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1695,48): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1695,91): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1712,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1726,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1730,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1786,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1787,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1782,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1783,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1784,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1791,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1865,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(1865,119): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2133,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2114,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2216,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2249,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2319,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2348,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2385,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2407,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2587,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2467,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2480,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2487,64): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2619,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2694,18): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2701,18): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2718,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2739,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2770,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2839,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2812,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2820,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2900,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2867,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2946,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(2997,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3011,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3116,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3122,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3141,19): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3170,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3186,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3329,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3208,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3278,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3281,61): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3354,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3357,89): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3372,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3390,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3393,70): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3431,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3434,71): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3443,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3446,64): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3537,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3456,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3501,19): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3509,42): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3579,18): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3587,41): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3595,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3602,42): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3629,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3646,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3654,49): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3672,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3680,50): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3698,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3706,43): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3723,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3724,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3745,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3745,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3753,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3753,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3806,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3817,18): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3832,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3832,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3840,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3840,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3856,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3856,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3865,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3865,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3880,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3880,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3907,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3907,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3914,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3914,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3927,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3927,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3962,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3962,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3971,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3971,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(3980,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4000,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4091,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4099,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4106,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4147,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4164,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4164,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4197,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4197,32): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4220,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4220,48): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4232,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4252,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4252,43): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4252,98): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4290,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4290,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4301,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4301,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4323,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4323,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4492,5): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4395,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4396,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4406,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4406,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4517,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4517,33): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4547,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4547,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4571,19): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4571,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4603,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4614,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4634,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4634,40): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4672,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4672,33): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4717,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4717,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4750,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4750,41): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4767,32): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4767,44): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4834,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4834,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4897,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(4897,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5101,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5101,33): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5212,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5212,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7674,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7686,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7695,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5266,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5276,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5319,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5321,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5322,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5324,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5324,42): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5331,43): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5331,69): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5339,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5339,42): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5339,62): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5366,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5367,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5403,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5403,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5410,12): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5411,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5421,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5431,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5477,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5622,47): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5637,48): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5637,60): error CS0246: The type or namespace name `Basetypes' could not be found. Are you missing an assembly reference? DafnyAst.cs(5647,48): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5654,40): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5785,42): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5795,40): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5986,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5992,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5999,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5999,36): error CS0246: The type or namespace name `Basetypes' could not be found. Are you missing an assembly reference? DafnyAst.cs(6006,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6013,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6024,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5893,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5905,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(5930,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6034,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6043,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6068,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6085,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6101,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6121,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6147,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6195,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6204,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6220,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6233,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6242,32): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6251,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6268,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6308,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6356,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6387,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6428,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6474,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6485,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6517,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6517,73): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6553,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6576,32): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6597,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6619,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6630,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6909,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6922,23): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? DafnyAst.cs(6943,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(6976,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7012,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7014,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7019,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7019,82): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7232,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7284,27): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7342,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7348,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7368,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7374,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7396,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7411,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7429,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7461,25): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7482,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7532,20): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7565,22): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7613,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7622,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7630,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7713,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7722,26): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7842,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7857,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7874,37): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7889,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7898,21): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7917,32): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7918,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7918,71): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7954,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7980,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(7994,31): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(8043,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(8055,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(8078,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyAst.cs(8100,24): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? DafnyMain.cs(116,63): error CS0426: The nested type `IToken' does not exist in the type `' DafnyOptions.cs(20,28): error CS0115: `Microsoft.Dafny.DafnyOptions.VersionNumber' is marked as an override but no suitable property found to override DafnyOptions.cs(29,28): error CS0115: `Microsoft.Dafny.DafnyOptions.VersionSuffix' is marked as an override but no suitable property found to override DafnyOptions.cs(83,58): error CS0426: The nested type `CommandLineOptionEngine' does not exist in the type `' DafnyOptions.cs(266,26): error CS0115: `Microsoft.Dafny.DafnyOptions.ApplyDefaultOptions()' is marked as an override but no suitable method found to override DafnyOptions.cs(274,26): error CS0115: `Microsoft.Dafny.DafnyOptions.AttributeUsage()' is marked as an override but no suitable method found to override DafnyOptions.cs(289,26): error CS0115: `Microsoft.Dafny.DafnyOptions.Usage()' is marked as an override but no suitable method found to override Printer.cs(596,43): error CS0426: The nested type `IToken' does not exist in the type `' Resolver.cs(950,66): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(1440,58): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(2197,57): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(2871,44): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(3394,41): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(4399,82): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(4932,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(4940,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(4968,49): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(5114,37): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(5598,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(6255,45): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? Resolver.cs(7070,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(7197,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(7300,30): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(7394,56): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(7525,47): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(7536,51): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(8316,38): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(8316,95): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(8552,40): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? Resolver.cs(9085,59): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(9379,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(845,29): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(853,35): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(2250,16): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(2253,53): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(2543,34): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(3311,43): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(3435,28): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(9448,23): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Resolver.cs(9460,36): error CS0246: The type or namespace name `IToken' could not be found. Are you missing an assembly reference? Rewriter.cs(34,31): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? Rewriter.cs(608,28): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? Rewriter.cs(687,42): error CS0246: The type or namespace name `Boogie' could not be found. Are you missing an assembly reference? Rewriter.cs(1158,27): error CS0426: The nested type `IToken' does not exist in the type `' 3 Warning(s) 373 Error(s) Time Elapsed 00:00:04.2328650 make[1]: *** [debian/rules:12: override_dh_auto_build] Error 1 make[1]: Leaving directory '/build/dafny-1.9.7' make: *** [debian/rules:5: build] Error 2 dpkg-buildpackage: error: debian/rules build subprocess returned exit status 2 I: Terminate timeout process I: copying local configuration /usr/lib/pbuilder/pbuilder-modules: line 1: 19022 Terminated ( : Timeout process; sleep "${TIMEOUT_TIME}"; log.i "Terminating build process due to timeout "; kill "${BUILD_PID}" || true ) E: Failed autobuilding of package I: user script /chroot/rebuildd/pbuilder/21004/tmp/hooks/C01kill-gpg-agent starting /tmp/hooks/C01kill-gpg-agent: 18: /tmp/hooks/C01kill-gpg-agent: ps: not found I: user script /chroot/rebuildd/pbuilder/21004/tmp/hooks/C01kill-gpg-agent finished I: unmounting /sys filesystem I: unmounting /proc filesystem I: unmounting /dev/pts filesystem I: unmounting /dev filesystem I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env  I: removing directory /chroot/rebuildd/pbuilder/21004 and its subdirectories FAILED to build: 1