https://launchpad.net/ubuntu/+archive/test-rebuild-20180408/+build/14557066
RUN: /usr/share/launchpad-buildd/slavebin/slave-prep 
Forking launchpad-buildd slave process...
Kernel version: Linux lgw01-amd64-007 4.4.0-121-generic #145-Ubuntu SMP Fri Apr 13 13:47:23 UTC 2018 x86_64
Buildd toolchain package versions: launchpad-buildd_161 python-lpbuildd_161 sbuild_0.67.0-2ubuntu7.1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3.1 git-build-recipe_0.3.4~git201611291343.dcee459~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.3 dpkg-dev_1.18.4ubuntu1.4 python-debian_0.1.27ubuntu2.
Syncing the system clock with the buildd NTP service...
27 Apr 06:43:24 ntpdate[1802]: adjust time server 10.211.37.1 offset 0.000346 sec
RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-14557066 /home/buildd/filecache-default/b7d07d6b68ae68badf26a018a3a0291d50e41e42
Creating target for build PACKAGEBUILD-14557066
RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-14557066
Starting target for build PACKAGEBUILD-14557066
RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-14557066 'deb http://ftpmaster.internal/ubuntu bionic main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu bionic-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu bionic-updates main restricted universe multiverse'
Overriding sources.list in build-PACKAGEBUILD-14557066
RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-14557066
Updating target for build PACKAGEBUILD-14557066
Get:1 http://ftpmaster.internal/ubuntu bionic InRelease [242 kB]
Get:2 http://ftpmaster.internal/ubuntu bionic-security InRelease [65.4 kB]
Get:3 http://ftpmaster.internal/ubuntu bionic-updates InRelease [65.4 kB]
Get:4 http://ftpmaster.internal/ubuntu bionic/main amd64 Packages [1019 kB]
Get:5 http://ftpmaster.internal/ubuntu bionic/main Translation-en [516 kB]
Get:6 http://ftpmaster.internal/ubuntu bionic/universe amd64 Packages [8570 kB]
Get:7 http://ftpmaster.internal/ubuntu bionic/universe Translation-en [4941 kB]
Get:8 http://ftpmaster.internal/ubuntu bionic/multiverse amd64 Packages [151 kB]
Fetched 15.6 MB in 4s (3958 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
Calculating upgrade...
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package PACKAGEBUILD-14557066 amd64 bionic -c chroot:build-PACKAGEBUILD-14557066 --arch=amd64 --dist=bionic --nolog -A dafny_1.9.7-1.dsc
Initiating build PACKAGEBUILD-14557066 with 4 jobs across 4 processor cores.
Kernel reported to sbuild: 4.4.0-121-generic #145-Ubuntu SMP Fri Apr 13 13:47:23 UTC 2018 x86_64
sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on lgw01-amd64-007.buildd

+==============================================================================+
| dafny 1.9.7-1 (amd64)                                      27 Apr 2018 06:43 |
+==============================================================================+

Package: dafny
Version: 1.9.7-1
Source Version: 1.9.7-1
Distribution: bionic
Machine Architecture: amd64
Host Architecture: amd64
Build Architecture: amd64

I: NOTICE: Log filtering will replace 'build/dafny-yRFxIJ/dafny-1.9.7' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/dafny-yRFxIJ' with '<<BUILDDIR>>'
I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-14557066/chroot-autobuild' with '<<CHROOT>>'

+------------------------------------------------------------------------------+
| Fetch source files                                                           |
+------------------------------------------------------------------------------+


Local sources
-------------

dafny_1.9.7-1.dsc exists in .; copying to chroot

Check architectures
-------------------


Check dependencies
------------------

Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-xC1u5X/apt_archive/sbuild-build-depends-core-dummy.deb'.
Ign:1 copy:/<<BUILDDIR>>/resolver-xC1u5X/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-xC1u5X/apt_archive ./ Release [2119 B]
Ign:3 copy:/<<BUILDDIR>>/resolver-xC1u5X/apt_archive ./ Release.gpg
Get:4 copy:/<<BUILDDIR>>/resolver-xC1u5X/apt_archive ./ Sources [214 B]
Get:5 copy:/<<BUILDDIR>>/resolver-xC1u5X/apt_archive ./ Packages [526 B]
Fetched 2859 B in 0s (232 kB/s)
Reading package lists...
Reading package lists...

+------------------------------------------------------------------------------+
| Install core build dependencies (apt-based resolver)                         |
+------------------------------------------------------------------------------+

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
Need to get 852 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-xC1u5X/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 852 B in 0s (0 B/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12637 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_amd64.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
Merged Build-Depends: debhelper (>= 9), cli-common-dev (>= 0.8), libboogie-cil, mono-devel (>= 2.4.2.3), mono-reference-assemblies-4.0
Filtered Build-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 'sbuild-build-depends-dafny-dummy' in '/<<BUILDDIR>>/resolver-atKWSf/apt_archive/sbuild-build-depends-dafny-dummy.deb'.
Ign:1 copy:/<<BUILDDIR>>/resolver-atKWSf/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-atKWSf/apt_archive ./ Release [2119 B]
Ign:3 copy:/<<BUILDDIR>>/resolver-atKWSf/apt_archive ./ Release.gpg
Get:4 copy:/<<BUILDDIR>>/resolver-atKWSf/apt_archive ./ Sources [273 B]
Get:5 copy:/<<BUILDDIR>>/resolver-atKWSf/apt_archive ./ Packages [582 B]
Fetched 2974 B in 0s (264 kB/s)
Reading package lists...
Reading package lists...

+------------------------------------------------------------------------------+
| Install dafny build dependencies (apt-based resolver)                        |
+------------------------------------------------------------------------------+

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
  autoconf automake autopoint autotools-dev bsdmainutils cli-common
  cli-common-dev debhelper dh-autoreconf dh-strip-nondeterminism file
  fontconfig-config fonts-dejavu-core gettext gettext-base groff-base
  intltool-debian libarchive-zip-perl libboogie-cil libbsd0 libcairo2
  libcroco3 libencode-locale-perl libexif12 libexpat1 libfile-listing-perl
  libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libgdiplus
  libgif7 libglib2.0-0 libhtml-parser-perl libhtml-tagset-perl
  libhtml-tree-perl libhttp-cookies-perl libhttp-date-perl
  libhttp-message-perl libhttp-negotiate-perl libicu60 libio-html-perl
  libio-socket-ssl-perl libjbig0 libjpeg-turbo8 libjpeg8
  liblwp-mediatypes-perl liblwp-protocol-https-perl libmagic-mgc libmagic1
  libmono-2.0-dev libmono-accessibility4.0-cil libmono-cairo4.0-cil
  libmono-cecil-private-cil libmono-cil-dev libmono-codecontracts4.0-cil
  libmono-compilerservices-symbolwriter4.0-cil libmono-corlib4.5-cil
  libmono-cscompmgd0.0-cil libmono-csharp4.0c-cil
  libmono-custommarshalers4.0-cil libmono-data-tds4.0-cil libmono-db2-1.0-cil
  libmono-debugger-soft4.0a-cil libmono-http4.0-cil libmono-i18n-cjk4.0-cil
  libmono-i18n-mideast4.0-cil libmono-i18n-other4.0-cil
  libmono-i18n-rare4.0-cil libmono-i18n-west4.0-cil libmono-i18n4.0-all
  libmono-i18n4.0-cil libmono-ldap4.0-cil libmono-management4.0-cil
  libmono-messaging-rabbitmq4.0-cil libmono-messaging4.0-cil
  libmono-microsoft-build-engine4.0-cil
  libmono-microsoft-build-framework4.0-cil
  libmono-microsoft-build-tasks-v4.0-4.0-cil
  libmono-microsoft-build-utilities-v4.0-4.0-cil
  libmono-microsoft-build4.0-cil libmono-microsoft-csharp4.0-cil
  libmono-microsoft-visualc10.0-cil
  libmono-microsoft-web-infrastructure1.0-cil libmono-oracle4.0-cil
  libmono-parallel4.0-cil libmono-peapi4.0a-cil libmono-posix4.0-cil
  libmono-rabbitmq4.0-cil libmono-relaxng4.0-cil libmono-security4.0-cil
  libmono-sharpzip4.84-cil libmono-simd4.0-cil libmono-smdiagnostics0.0-cil
  libmono-sqlite4.0-cil libmono-system-componentmodel-composition4.0-cil
  libmono-system-componentmodel-dataannotations4.0-cil
  libmono-system-configuration-install4.0-cil
  libmono-system-configuration4.0-cil libmono-system-core4.0-cil
  libmono-system-data-datasetextensions4.0-cil
  libmono-system-data-entity4.0-cil libmono-system-data-linq4.0-cil
  libmono-system-data-services-client4.0-cil
  libmono-system-data-services4.0-cil libmono-system-data4.0-cil
  libmono-system-deployment4.0-cil libmono-system-design4.0-cil
  libmono-system-drawing-design4.0-cil libmono-system-drawing4.0-cil
  libmono-system-dynamic4.0-cil libmono-system-enterpriseservices4.0-cil
  libmono-system-identitymodel-selectors4.0-cil
  libmono-system-identitymodel4.0-cil
  libmono-system-io-compression-filesystem4.0-cil
  libmono-system-io-compression4.0-cil libmono-system-json-microsoft4.0-cil
  libmono-system-json4.0-cil libmono-system-ldap-protocols4.0-cil
  libmono-system-ldap4.0-cil libmono-system-management4.0-cil
  libmono-system-messaging4.0-cil libmono-system-net-http-formatting4.0-cil
  libmono-system-net-http-webrequest4.0-cil libmono-system-net-http4.0-cil
  libmono-system-net4.0-cil libmono-system-numerics-vectors4.0-cil
  libmono-system-numerics4.0-cil libmono-system-reactive-core2.2-cil
  libmono-system-reactive-debugger2.2-cil
  libmono-system-reactive-experimental2.2-cil
  libmono-system-reactive-interfaces2.2-cil
  libmono-system-reactive-linq2.2-cil
  libmono-system-reactive-observable-aliases0.0-cil
  libmono-system-reactive-platformservices2.2-cil
  libmono-system-reactive-providers2.2-cil
  libmono-system-reactive-runtime-remoting2.2-cil
  libmono-system-reactive-windows-forms2.2-cil
  libmono-system-reactive-windows-threading2.2-cil
  libmono-system-reflection-context4.0-cil
  libmono-system-runtime-caching4.0-cil
  libmono-system-runtime-durableinstancing4.0-cil
  libmono-system-runtime-interopservices-runtimeinformation4.0-cil
  libmono-system-runtime-serialization-formatters-soap4.0-cil
  libmono-system-runtime-serialization4.0-cil libmono-system-runtime4.0-cil
  libmono-system-security4.0-cil libmono-system-servicemodel-activation4.0-cil
  libmono-system-servicemodel-discovery4.0-cil
  libmono-system-servicemodel-internals0.0-cil
  libmono-system-servicemodel-routing4.0-cil
  libmono-system-servicemodel-web4.0-cil libmono-system-servicemodel4.0a-cil
  libmono-system-serviceprocess4.0-cil
  libmono-system-threading-tasks-dataflow4.0-cil
  libmono-system-transactions4.0-cil libmono-system-web-abstractions4.0-cil
  libmono-system-web-applicationservices4.0-cil
  libmono-system-web-dynamicdata4.0-cil
  libmono-system-web-extensions-design4.0-cil
  libmono-system-web-extensions4.0-cil libmono-system-web-http-selfhost4.0-cil
  libmono-system-web-http-webhost4.0-cil libmono-system-web-http4.0-cil
  libmono-system-web-mobile4.0-cil libmono-system-web-mvc3.0-cil
  libmono-system-web-razor2.0-cil libmono-system-web-regularexpressions4.0-cil
  libmono-system-web-routing4.0-cil libmono-system-web-services4.0-cil
  libmono-system-web-webpages-deployment2.0-cil
  libmono-system-web-webpages-razor2.0-cil libmono-system-web-webpages2.0-cil
  libmono-system-web4.0-cil
  libmono-system-windows-forms-datavisualization4.0a-cil
  libmono-system-windows-forms4.0-cil libmono-system-windows4.0-cil
  libmono-system-workflow-activities4.0-cil
  libmono-system-workflow-componentmodel4.0-cil
  libmono-system-workflow-runtime4.0-cil libmono-system-xaml4.0-cil
  libmono-system-xml-linq4.0-cil libmono-system-xml-serialization4.0-cil
  libmono-system-xml4.0-cil libmono-system4.0-cil libmono-tasklets4.0-cil
  libmono-webbrowser4.0-cil libmono-webmatrix-data4.0-cil
  libmono-windowsbase4.0-cil libmono-xbuild-tasks4.0-cil libmonoboehm-2.0-1
  libmonosgen-2.0-1 libmonosgen-2.0-dev libnet-http-perl libnet-ssleay-perl
  libnunit-cil-dev libnunit-console-runner2.6.3-cil
  libnunit-core-interfaces2.6.3-cil libnunit-core2.6.3-cil
  libnunit-framework2.6.3-cil libnunit-mocks2.6.3-cil libnunit-util2.6.3-cil
  libpipeline1 libpixman-1-0 libsigsegv2 libtiff5 libtimedate-perl libtool
  libtry-tiny-perl liburi-perl libwww-perl libwww-robotrules-perl libx11-6
  libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6
  libxml-dom-perl libxml-parser-perl libxml-perl libxml-regexp-perl libxml2
  libxrender1 m4 man-db mono-4.0-gac mono-devel mono-gac mono-mcs
  mono-reference-assemblies-4.0 mono-runtime mono-runtime-common
  mono-runtime-sgen mono-utils mono-xbuild netbase perl-openssl-defaults
  pkg-config po-debconf ucf
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois
  vacation dh-make dwz gettext-doc libasprintf-dev libgettextpo-dev groff
  libdata-dump-perl libcrypt-ssleay-perl libcups2 libgnomeui-0 libgtk2.0-0
  librsvg2-2 shared-mime-info libasound2 libgamin0 libnunit-doc
  monodoc-nunit-manual libtool-doc gfortran | fortran95-compiler gcj-jdk
  libauthen-ntlm-perl m4-doc apparmor less www-browser xdg-utils | libgnome2-0
  | konqueror libmail-box-perl
Recommended packages:
  curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info
  xdg-user-dirs libhtml-format-perl ca-certificates-mono libgluezilla
  libltdl-dev libdata-dump-perl libhtml-form-perl libhttp-daemon-perl
  libmailtools-perl mono-csharp-shell binfmt-support libmail-sendmail-perl
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdmainutils cli-common
  cli-common-dev debhelper dh-autoreconf dh-strip-nondeterminism file
  fontconfig-config fonts-dejavu-core gettext gettext-base groff-base
  intltool-debian libarchive-zip-perl libboogie-cil libbsd0 libcairo2
  libcroco3 libencode-locale-perl libexif12 libexpat1 libfile-listing-perl
  libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libgdiplus
  libgif7 libglib2.0-0 libhtml-parser-perl libhtml-tagset-perl
  libhtml-tree-perl libhttp-cookies-perl libhttp-date-perl
  libhttp-message-perl libhttp-negotiate-perl libicu60 libio-html-perl
  libio-socket-ssl-perl libjbig0 libjpeg-turbo8 libjpeg8
  liblwp-mediatypes-perl liblwp-protocol-https-perl libmagic-mgc libmagic1
  libmono-2.0-dev libmono-accessibility4.0-cil libmono-cairo4.0-cil
  libmono-cecil-private-cil libmono-cil-dev libmono-codecontracts4.0-cil
  libmono-compilerservices-symbolwriter4.0-cil libmono-corlib4.5-cil
  libmono-cscompmgd0.0-cil libmono-csharp4.0c-cil
  libmono-custommarshalers4.0-cil libmono-data-tds4.0-cil libmono-db2-1.0-cil
  libmono-debugger-soft4.0a-cil libmono-http4.0-cil libmono-i18n-cjk4.0-cil
  libmono-i18n-mideast4.0-cil libmono-i18n-other4.0-cil
  libmono-i18n-rare4.0-cil libmono-i18n-west4.0-cil libmono-i18n4.0-all
  libmono-i18n4.0-cil libmono-ldap4.0-cil libmono-management4.0-cil
  libmono-messaging-rabbitmq4.0-cil libmono-messaging4.0-cil
  libmono-microsoft-build-engine4.0-cil
  libmono-microsoft-build-framework4.0-cil
  libmono-microsoft-build-tasks-v4.0-4.0-cil
  libmono-microsoft-build-utilities-v4.0-4.0-cil
  libmono-microsoft-build4.0-cil libmono-microsoft-csharp4.0-cil
  libmono-microsoft-visualc10.0-cil
  libmono-microsoft-web-infrastructure1.0-cil libmono-oracle4.0-cil
  libmono-parallel4.0-cil libmono-peapi4.0a-cil libmono-posix4.0-cil
  libmono-rabbitmq4.0-cil libmono-relaxng4.0-cil libmono-security4.0-cil
  libmono-sharpzip4.84-cil libmono-simd4.0-cil libmono-smdiagnostics0.0-cil
  libmono-sqlite4.0-cil libmono-system-componentmodel-composition4.0-cil
  libmono-system-componentmodel-dataannotations4.0-cil
  libmono-system-configuration-install4.0-cil
  libmono-system-configuration4.0-cil libmono-system-core4.0-cil
  libmono-system-data-datasetextensions4.0-cil
  libmono-system-data-entity4.0-cil libmono-system-data-linq4.0-cil
  libmono-system-data-services-client4.0-cil
  libmono-system-data-services4.0-cil libmono-system-data4.0-cil
  libmono-system-deployment4.0-cil libmono-system-design4.0-cil
  libmono-system-drawing-design4.0-cil libmono-system-drawing4.0-cil
  libmono-system-dynamic4.0-cil libmono-system-enterpriseservices4.0-cil
  libmono-system-identitymodel-selectors4.0-cil
  libmono-system-identitymodel4.0-cil
  libmono-system-io-compression-filesystem4.0-cil
  libmono-system-io-compression4.0-cil libmono-system-json-microsoft4.0-cil
  libmono-system-json4.0-cil libmono-system-ldap-protocols4.0-cil
  libmono-system-ldap4.0-cil libmono-system-management4.0-cil
  libmono-system-messaging4.0-cil libmono-system-net-http-formatting4.0-cil
  libmono-system-net-http-webrequest4.0-cil libmono-system-net-http4.0-cil
  libmono-system-net4.0-cil libmono-system-numerics-vectors4.0-cil
  libmono-system-numerics4.0-cil libmono-system-reactive-core2.2-cil
  libmono-system-reactive-debugger2.2-cil
  libmono-system-reactive-experimental2.2-cil
  libmono-system-reactive-interfaces2.2-cil
  libmono-system-reactive-linq2.2-cil
  libmono-system-reactive-observable-aliases0.0-cil
  libmono-system-reactive-platformservices2.2-cil
  libmono-system-reactive-providers2.2-cil
  libmono-system-reactive-runtime-remoting2.2-cil
  libmono-system-reactive-windows-forms2.2-cil
  libmono-system-reactive-windows-threading2.2-cil
  libmono-system-reflection-context4.0-cil
  libmono-system-runtime-caching4.0-cil
  libmono-system-runtime-durableinstancing4.0-cil
  libmono-system-runtime-interopservices-runtimeinformation4.0-cil
  libmono-system-runtime-serialization-formatters-soap4.0-cil
  libmono-system-runtime-serialization4.0-cil libmono-system-runtime4.0-cil
  libmono-system-security4.0-cil libmono-system-servicemodel-activation4.0-cil
  libmono-system-servicemodel-discovery4.0-cil
  libmono-system-servicemodel-internals0.0-cil
  libmono-system-servicemodel-routing4.0-cil
  libmono-system-servicemodel-web4.0-cil libmono-system-servicemodel4.0a-cil
  libmono-system-serviceprocess4.0-cil
  libmono-system-threading-tasks-dataflow4.0-cil
  libmono-system-transactions4.0-cil libmono-system-web-abstractions4.0-cil
  libmono-system-web-applicationservices4.0-cil
  libmono-system-web-dynamicdata4.0-cil
  libmono-system-web-extensions-design4.0-cil
  libmono-system-web-extensions4.0-cil libmono-system-web-http-selfhost4.0-cil
  libmono-system-web-http-webhost4.0-cil libmono-system-web-http4.0-cil
  libmono-system-web-mobile4.0-cil libmono-system-web-mvc3.0-cil
  libmono-system-web-razor2.0-cil libmono-system-web-regularexpressions4.0-cil
  libmono-system-web-routing4.0-cil libmono-system-web-services4.0-cil
  libmono-system-web-webpages-deployment2.0-cil
  libmono-system-web-webpages-razor2.0-cil libmono-system-web-webpages2.0-cil
  libmono-system-web4.0-cil
  libmono-system-windows-forms-datavisualization4.0a-cil
  libmono-system-windows-forms4.0-cil libmono-system-windows4.0-cil
  libmono-system-workflow-activities4.0-cil
  libmono-system-workflow-componentmodel4.0-cil
  libmono-system-workflow-runtime4.0-cil libmono-system-xaml4.0-cil
  libmono-system-xml-linq4.0-cil libmono-system-xml-serialization4.0-cil
  libmono-system-xml4.0-cil libmono-system4.0-cil libmono-tasklets4.0-cil
  libmono-webbrowser4.0-cil libmono-webmatrix-data4.0-cil
  libmono-windowsbase4.0-cil libmono-xbuild-tasks4.0-cil libmonoboehm-2.0-1
  libmonosgen-2.0-1 libmonosgen-2.0-dev libnet-http-perl libnet-ssleay-perl
  libnunit-cil-dev libnunit-console-runner2.6.3-cil
  libnunit-core-interfaces2.6.3-cil libnunit-core2.6.3-cil
  libnunit-framework2.6.3-cil libnunit-mocks2.6.3-cil libnunit-util2.6.3-cil
  libpipeline1 libpixman-1-0 libsigsegv2 libtiff5 libtimedate-perl libtool
  libtry-tiny-perl liburi-perl libwww-perl libwww-robotrules-perl libx11-6
  libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6
  libxml-dom-perl libxml-parser-perl libxml-perl libxml-regexp-perl libxml2
  libxrender1 m4 man-db mono-4.0-gac mono-devel mono-gac mono-mcs
  mono-reference-assemblies-4.0 mono-runtime mono-runtime-common
  mono-runtime-sgen mono-utils mono-xbuild netbase perl-openssl-defaults
  pkg-config po-debconf sbuild-build-depends-dafny-dummy ucf
0 upgraded, 243 newly installed, 0 to remove and 0 not upgraded.
Need to get 52.1 MB of archives.
After this operation, 205 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-atKWSf/apt_archive ./ sbuild-build-depends-dafny-dummy 0.invalid.0 [912 B]
Get:2 http://ftpmaster.internal/ubuntu bionic/main amd64 libxau6 amd64 1:1.0.8-1 [8376 B]
Get:3 http://ftpmaster.internal/ubuntu bionic/main amd64 libbsd0 amd64 0.8.7-1 [41.5 kB]
Get:4 http://ftpmaster.internal/ubuntu bionic/main amd64 libxdmcp6 amd64 1:1.1.2-3 [10.7 kB]
Get:5 http://ftpmaster.internal/ubuntu bionic/main amd64 libxcb1 amd64 1.13-1 [45.6 kB]
Get:6 http://ftpmaster.internal/ubuntu bionic/main amd64 libx11-data all 2:1.6.4-3 [114 kB]
Get:7 http://ftpmaster.internal/ubuntu bionic/main amd64 libx11-6 amd64 2:1.6.4-3 [572 kB]
Get:8 http://ftpmaster.internal/ubuntu bionic/main amd64 libxext6 amd64 2:1.3.3-1 [29.4 kB]
Get:9 http://ftpmaster.internal/ubuntu bionic/main amd64 bsdmainutils amd64 11.1.2ubuntu1 [181 kB]
Get:10 http://ftpmaster.internal/ubuntu bionic/main amd64 groff-base amd64 1.22.3-10 [1153 kB]
Get:11 http://ftpmaster.internal/ubuntu bionic/main amd64 libpipeline1 amd64 1.5.0-1 [25.3 kB]
Get:12 http://ftpmaster.internal/ubuntu bionic/main amd64 man-db amd64 2.8.3-2 [1019 kB]
Get:13 http://ftpmaster.internal/ubuntu bionic/main amd64 libjpeg-turbo8 amd64 1.5.2-0ubuntu5 [110 kB]
Get:14 http://ftpmaster.internal/ubuntu bionic/main amd64 libmagic-mgc amd64 1:5.32-2 [184 kB]
Get:15 http://ftpmaster.internal/ubuntu bionic/main amd64 libmagic1 amd64 1:5.32-2 [68.5 kB]
Get:16 http://ftpmaster.internal/ubuntu bionic/main amd64 file amd64 1:5.32-2 [22.1 kB]
Get:17 http://ftpmaster.internal/ubuntu bionic/main amd64 libexpat1 amd64 2.2.5-3 [80.2 kB]
Get:18 http://ftpmaster.internal/ubuntu bionic/main amd64 libglib2.0-0 amd64 2.56.1-2ubuntu1 [1167 kB]
Get:19 http://ftpmaster.internal/ubuntu bionic/main amd64 libicu60 amd64 60.2-3ubuntu3 [8054 kB]
Get:20 http://ftpmaster.internal/ubuntu bionic/main amd64 libxml2 amd64 2.9.4+dfsg1-6.1ubuntu1 [662 kB]
Get:21 http://ftpmaster.internal/ubuntu bionic/main amd64 netbase all 5.4 [12.7 kB]
Get:22 http://ftpmaster.internal/ubuntu bionic/main amd64 ucf all 3.0038 [50.5 kB]
Get:23 http://ftpmaster.internal/ubuntu bionic/main amd64 gettext-base amd64 0.19.8.1-6 [50.0 kB]
Get:24 http://ftpmaster.internal/ubuntu bionic/main amd64 libsigsegv2 amd64 2.12-1 [14.7 kB]
Get:25 http://ftpmaster.internal/ubuntu bionic/main amd64 m4 amd64 1.4.18-1 [197 kB]
Get:26 http://ftpmaster.internal/ubuntu bionic/main amd64 autoconf all 2.69-11 [322 kB]
Get:27 http://ftpmaster.internal/ubuntu bionic/main amd64 autotools-dev all 20180224.1 [39.6 kB]
Get:28 http://ftpmaster.internal/ubuntu bionic/main amd64 automake all 1:1.15.1-3ubuntu2 [509 kB]
Get:29 http://ftpmaster.internal/ubuntu bionic/main amd64 autopoint all 0.19.8.1-6 [412 kB]
Get:30 http://ftpmaster.internal/ubuntu bionic/universe amd64 cli-common all 0.9+nmu1 [171 kB]
Get:31 http://ftpmaster.internal/ubuntu bionic/main amd64 libtool all 2.4.6-2 [194 kB]
Get:32 http://ftpmaster.internal/ubuntu bionic/main amd64 dh-autoreconf all 17 [15.8 kB]
Get:33 http://ftpmaster.internal/ubuntu bionic/main amd64 libarchive-zip-perl all 1.60-1 [83.9 kB]
Get:34 http://ftpmaster.internal/ubuntu bionic/main amd64 libfile-stripnondeterminism-perl all 0.040-1.1~build1 [13.8 kB]
Get:35 http://ftpmaster.internal/ubuntu bionic/main amd64 libtimedate-perl all 2.3000-2 [37.5 kB]
Get:36 http://ftpmaster.internal/ubuntu bionic/main amd64 dh-strip-nondeterminism all 0.040-1.1~build1 [5208 B]
Get:37 http://ftpmaster.internal/ubuntu bionic/main amd64 libcroco3 amd64 0.6.12-2 [81.3 kB]
Get:38 http://ftpmaster.internal/ubuntu bionic/main amd64 gettext amd64 0.19.8.1-6 [895 kB]
Get:39 http://ftpmaster.internal/ubuntu bionic/main amd64 intltool-debian all 0.35.0+20060710.4 [24.9 kB]
Get:40 http://ftpmaster.internal/ubuntu bionic/main amd64 po-debconf all 1.0.20 [232 kB]
Get:41 http://ftpmaster.internal/ubuntu bionic/main amd64 debhelper all 11.1.6ubuntu1 [902 kB]
Get:42 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmonoboehm-2.0-1 amd64 4.6.2.7+dfsg-1ubuntu1 [1325 kB]
Get:43 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-xml4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [811 kB]
Get:44 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-security4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [53.3 kB]
Get:45 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-configuration4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [52.4 kB]
Get:46 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [707 kB]
Get:47 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-security4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [226 kB]
Get:48 http://ftpmaster.internal/ubuntu bionic/universe amd64 mono-4.0-gac all 4.6.2.7+dfsg-1ubuntu1 [20.6 kB]
Get:49 http://ftpmaster.internal/ubuntu bionic/universe amd64 mono-gac all 4.6.2.7+dfsg-1ubuntu1 [16.3 kB]
Get:50 http://ftpmaster.internal/ubuntu bionic/universe amd64 mono-runtime-common amd64 4.6.2.7+dfsg-1ubuntu1 [211 kB]
Get:51 http://ftpmaster.internal/ubuntu bionic/universe amd64 mono-runtime-sgen amd64 4.6.2.7+dfsg-1ubuntu1 [1361 kB]
Get:52 http://ftpmaster.internal/ubuntu bionic/universe amd64 mono-runtime amd64 4.6.2.7+dfsg-1ubuntu1 [12.3 kB]
Get:53 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-corlib4.5-cil all 4.6.2.7+dfsg-1ubuntu1 [1025 kB]
Get:54 http://ftpmaster.internal/ubuntu bionic/universe amd64 mono-utils amd64 4.6.2.7+dfsg-1ubuntu1 [3151 kB]
Get:55 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-cecil-private-cil all 4.6.2.7+dfsg-1ubuntu1 [104 kB]
Get:56 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-posix4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [79.4 kB]
Get:57 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-core4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [250 kB]
Get:58 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-codecontracts4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [200 kB]
Get:59 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-compilerservices-symbolwriter4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [26.1 kB]
Get:60 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-peapi4.0a-cil all 4.6.2.7+dfsg-1ubuntu1 [45.1 kB]
Get:61 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-relaxng4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [77.9 kB]
Get:62 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-componentmodel-composition4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [94.7 kB]
Get:63 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-componentmodel-dataannotations4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [34.9 kB]
Get:64 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-configuration-install4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [17.5 kB]
Get:65 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-data-tds4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [43.6 kB]
Get:66 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-transactions4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [20.9 kB]
Get:67 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-enterpriseservices4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [24.5 kB]
Get:68 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-numerics4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [39.2 kB]
Get:69 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-data4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [533 kB]
Get:70 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-servicemodel-internals0.0-cil all 4.6.2.7+dfsg-1ubuntu1 [79.5 kB]
Get:71 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-runtime-serialization4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [247 kB]
Get:72 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-data-linq4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [150 kB]
Get:73 http://ftpmaster.internal/ubuntu bionic/main amd64 libfreetype6 amd64 2.8.1-2ubuntu2 [335 kB]
Get:74 http://ftpmaster.internal/ubuntu bionic/main amd64 fonts-dejavu-core all 2.37-1 [1041 kB]
Get:75 http://ftpmaster.internal/ubuntu bionic/main amd64 fontconfig-config all 2.12.6-0ubuntu2 [55.8 kB]
Get:76 http://ftpmaster.internal/ubuntu bionic/main amd64 libfontconfig1 amd64 2.12.6-0ubuntu2 [137 kB]
Get:77 http://ftpmaster.internal/ubuntu bionic/main amd64 libpixman-1-0 amd64 0.34.0-2 [229 kB]
Get:78 http://ftpmaster.internal/ubuntu bionic/main amd64 libxcb-render0 amd64 1.13-1 [14.7 kB]
Get:79 http://ftpmaster.internal/ubuntu bionic/main amd64 libxcb-shm0 amd64 1.13-1 [5572 B]
Get:80 http://ftpmaster.internal/ubuntu bionic/main amd64 libxrender1 amd64 1:0.9.10-1 [18.7 kB]
Get:81 http://ftpmaster.internal/ubuntu bionic/main amd64 libcairo2 amd64 1.15.10-2 [580 kB]
Get:82 http://ftpmaster.internal/ubuntu bionic/main amd64 libexif12 amd64 0.6.21-4 [77.2 kB]
Get:83 http://ftpmaster.internal/ubuntu bionic/main amd64 libgif7 amd64 5.1.4-2 [30.6 kB]
Get:84 http://ftpmaster.internal/ubuntu bionic/main amd64 libjpeg8 amd64 8c-2ubuntu8 [2194 B]
Get:85 http://ftpmaster.internal/ubuntu bionic/main amd64 libjbig0 amd64 2.1-3.1build1 [26.7 kB]
Get:86 http://ftpmaster.internal/ubuntu bionic/main amd64 libtiff5 amd64 4.0.9-5 [152 kB]
Get:87 http://ftpmaster.internal/ubuntu bionic/universe amd64 libgdiplus amd64 4.2-2 [140 kB]
Get:88 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-drawing4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [130 kB]
Get:89 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-applicationservices4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [20.8 kB]
Get:90 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-identitymodel4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [50.5 kB]
Get:91 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-io-compression4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [43.8 kB]
Get:92 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-io-compression-filesystem4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [15.0 kB]
Get:93 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-runtime-serialization-formatters-soap4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [24.6 kB]
Get:94 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-sqlite4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [55.8 kB]
Get:95 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-accessibility4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [13.4 kB]
Get:96 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-webbrowser4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [56.3 kB]
Get:97 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-i18n4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [20.5 kB]
Get:98 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-i18n-west4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [23.6 kB]
Get:99 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-windows-forms4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [801 kB]
Get:100 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-design4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [103 kB]
Get:101 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-ldap4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [90.4 kB]
Get:102 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-ldap4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [39.3 kB]
Get:103 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-services4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [165 kB]
Get:104 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [751 kB]
Get:105 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-runtime4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [53.4 kB]
Get:106 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-identitymodel-selectors4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [14.9 kB]
Get:107 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-messaging4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [21.2 kB]
Get:108 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-messaging4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [33.2 kB]
Get:109 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-servicemodel-activation4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [13.8 kB]
Get:110 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-servicemodel4.0a-cil all 4.6.2.7+dfsg-1ubuntu1 [392 kB]
Get:111 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-serviceprocess4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [26.4 kB]
Get:112 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-xml-linq4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [50.2 kB]
Get:113 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-csharp4.0c-cil all 4.6.2.7+dfsg-1ubuntu1 [385 kB]
Get:114 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-microsoft-csharp4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [20.9 kB]
Get:115 http://ftpmaster.internal/ubuntu bionic/universe amd64 mono-mcs all 4.6.2.7+dfsg-1ubuntu1 [519 kB]
Get:116 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-microsoft-build-framework4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [19.8 kB]
Get:117 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-microsoft-build-utilities-v4.0-4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [30.0 kB]
Get:118 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-microsoft-build-engine4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [88.6 kB]
Get:119 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-xbuild-tasks4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [23.6 kB]
Get:120 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-microsoft-build-tasks-v4.0-4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [67.2 kB]
Get:121 http://ftpmaster.internal/ubuntu bionic/universe amd64 mono-xbuild all 4.6.2.7+dfsg-1ubuntu1 [444 kB]
Get:122 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-cairo4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [28.6 kB]
Get:123 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-cscompmgd0.0-cil all 4.6.2.7+dfsg-1ubuntu1 [16.1 kB]
Get:124 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-custommarshalers4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [14.0 kB]
Get:125 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-db2-1.0-cil all 4.6.2.7+dfsg-1ubuntu1 [34.5 kB]
Get:126 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-debugger-soft4.0a-cil all 4.6.2.7+dfsg-1ubuntu1 [62.6 kB]
Get:127 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-sharpzip4.84-cil all 4.6.2.7+dfsg-1ubuntu1 [58.3 kB]
Get:128 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-http4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [20.4 kB]
Get:129 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-i18n-cjk4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [238 kB]
Get:130 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-i18n-mideast4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [17.6 kB]
Get:131 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-i18n-other4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [19.0 kB]
Get:132 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-i18n-rare4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [34.2 kB]
Get:133 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-i18n4.0-all all 4.6.2.7+dfsg-1ubuntu1 [10.1 kB]
Get:134 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-management4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [14.4 kB]
Get:135 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-rabbitmq4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [92.5 kB]
Get:136 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-messaging-rabbitmq4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [22.1 kB]
Get:137 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-microsoft-build4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [97.7 kB]
Get:138 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-microsoft-visualc10.0-cil all 4.6.2.7+dfsg-1ubuntu1 [12.9 kB]
Get:139 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-microsoft-web-infrastructure1.0-cil all 4.6.2.7+dfsg-1ubuntu1 [15.3 kB]
Get:140 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-oracle4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [62.3 kB]
Get:141 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-parallel4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [21.0 kB]
Get:142 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-simd4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [24.9 kB]
Get:143 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-smdiagnostics0.0-cil all 4.6.2.7+dfsg-1ubuntu1 [26.4 kB]
Get:144 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-data-datasetextensions4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [22.3 kB]
Get:145 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-data-entity4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [835 kB]
Get:146 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-data-services-client4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [137 kB]
Get:147 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-extensions4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [162 kB]
Get:148 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-servicemodel-web4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [39.4 kB]
Get:149 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-data-services4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [25.3 kB]
Get:150 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-deployment4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [12.8 kB]
Get:151 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-drawing-design4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [20.0 kB]
Get:152 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-dynamic4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [41.9 kB]
Get:153 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-json4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [20.1 kB]
Get:154 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-json-microsoft4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [29.7 kB]
Get:155 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-ldap-protocols4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [28.7 kB]
Get:156 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-management4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [24.4 kB]
Get:157 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-net4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [13.7 kB]
Get:158 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-net-http4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [49.8 kB]
Get:159 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-net-http-formatting4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [171 kB]
Get:160 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-net-http-webrequest4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [14.3 kB]
Get:161 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-numerics-vectors4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [13.4 kB]
Get:162 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-reactive-interfaces2.2-cil all 4.6.2.7+dfsg-1ubuntu1 [13.1 kB]
Get:163 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-reactive-core2.2-cil all 4.6.2.7+dfsg-1ubuntu1 [44.2 kB]
Get:164 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-reactive-linq2.2-cil all 4.6.2.7+dfsg-1ubuntu1 [157 kB]
Get:165 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-reactive-debugger2.2-cil all 4.6.2.7+dfsg-1ubuntu1 [12.1 kB]
Get:166 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-reactive-experimental2.2-cil all 4.6.2.7+dfsg-1ubuntu1 [20.4 kB]
Get:167 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-reactive-providers2.2-cil all 4.6.2.7+dfsg-1ubuntu1 [48.8 kB]
Get:168 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-reactive-observable-aliases0.0-cil all 4.6.2.7+dfsg-1ubuntu1 [13.0 kB]
Get:169 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-reactive-platformservices2.2-cil all 4.6.2.7+dfsg-1ubuntu1 [19.6 kB]
Get:170 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-reactive-runtime-remoting2.2-cil all 4.6.2.7+dfsg-1ubuntu1 [13.9 kB]
Get:171 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-reactive-windows-forms2.2-cil all 4.6.2.7+dfsg-1ubuntu1 [14.0 kB]
Get:172 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-xaml4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [71.9 kB]
Get:173 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-windowsbase4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [61.0 kB]
Get:174 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-reactive-windows-threading2.2-cil all 4.6.2.7+dfsg-1ubuntu1 [15.3 kB]
Get:175 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-reflection-context4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [13.6 kB]
Get:176 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-runtime-caching4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [35.8 kB]
Get:177 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-runtime-durableinstancing4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [45.5 kB]
Get:178 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-runtime-interopservices-runtimeinformation4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [14.4 kB]
Get:179 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-servicemodel-discovery4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [50.8 kB]
Get:180 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-servicemodel-routing4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [21.2 kB]
Get:181 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-threading-tasks-dataflow4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [64.6 kB]
Get:182 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-abstractions4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [13.2 kB]
Get:183 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-dynamicdata4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [34.8 kB]
Get:184 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-extensions-design4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [14.2 kB]
Get:185 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-http4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [120 kB]
Get:186 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-http-selfhost4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [40.1 kB]
Get:187 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-http-webhost4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [31.8 kB]
Get:188 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-mobile4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [12.8 kB]
Get:189 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-razor2.0-cil all 4.6.2.7+dfsg-1ubuntu1 [93.8 kB]
Get:190 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-webpages-deployment2.0-cil all 4.6.2.7+dfsg-1ubuntu1 [24.0 kB]
Get:191 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-webpages2.0-cil all 4.6.2.7+dfsg-1ubuntu1 [77.0 kB]
Get:192 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-webpages-razor2.0-cil all 4.6.2.7+dfsg-1ubuntu1 [23.4 kB]
Get:193 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-mvc3.0-cil all 4.6.2.7+dfsg-1ubuntu1 [140 kB]
Get:194 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-regularexpressions4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [12.8 kB]
Get:195 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-web-routing4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [13.1 kB]
Get:196 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-windows4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [12.9 kB]
Get:197 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-windows-forms-datavisualization4.0a-cil all 4.6.2.7+dfsg-1ubuntu1 [47.1 kB]
Get:198 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-workflow-activities4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [12.8 kB]
Get:199 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-workflow-componentmodel4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [12.9 kB]
Get:200 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-workflow-runtime4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [12.8 kB]
Get:201 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-system-xml-serialization4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [12.7 kB]
Get:202 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-tasklets4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [13.2 kB]
Get:203 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-webmatrix-data4.0-cil all 4.6.2.7+dfsg-1ubuntu1 [16.0 kB]
Get:204 http://ftpmaster.internal/ubuntu bionic/universe amd64 libnunit-core-interfaces2.6.3-cil all 2.6.4+dfsg-1 [23.3 kB]
Get:205 http://ftpmaster.internal/ubuntu bionic/universe amd64 libnunit-core2.6.3-cil all 2.6.4+dfsg-1 [52.7 kB]
Get:206 http://ftpmaster.internal/ubuntu bionic/universe amd64 libnunit-util2.6.3-cil all 2.6.4+dfsg-1 [48.4 kB]
Get:207 http://ftpmaster.internal/ubuntu bionic/universe amd64 libnunit-console-runner2.6.3-cil all 2.6.4+dfsg-1 [13.5 kB]
Get:208 http://ftpmaster.internal/ubuntu bionic/universe amd64 libnunit-framework2.6.3-cil all 2.6.4+dfsg-1 [46.4 kB]
Get:209 http://ftpmaster.internal/ubuntu bionic/universe amd64 libnunit-mocks2.6.3-cil all 2.6.4+dfsg-1 [10.5 kB]
Get:210 http://ftpmaster.internal/ubuntu bionic/universe amd64 libnunit-cil-dev all 2.6.4+dfsg-1 [4924 B]
Get:211 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-cil-dev all 4.6.2.7+dfsg-1ubuntu1 [12.8 kB]
Get:212 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmonosgen-2.0-1 amd64 4.6.2.7+dfsg-1ubuntu1 [1378 kB]
Get:213 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmonosgen-2.0-dev amd64 4.6.2.7+dfsg-1ubuntu1 [1584 kB]
Get:214 http://ftpmaster.internal/ubuntu bionic/universe amd64 libmono-2.0-dev amd64 4.6.2.7+dfsg-1ubuntu1 [42.1 kB]
Get:215 http://ftpmaster.internal/ubuntu bionic/main amd64 pkg-config amd64 0.29.1-0ubuntu2 [45.0 kB]
Get:216 http://ftpmaster.internal/ubuntu bionic/universe amd64 mono-devel all 4.6.2.7+dfsg-1ubuntu1 [1967 kB]
Get:217 http://ftpmaster.internal/ubuntu bionic/main amd64 libencode-locale-perl all 1.05-1 [12.3 kB]
Get:218 http://ftpmaster.internal/ubuntu bionic/main amd64 libhttp-date-perl all 6.02-1 [10.4 kB]
Get:219 http://ftpmaster.internal/ubuntu bionic/main amd64 libfile-listing-perl all 6.04-1 [9774 B]
Get:220 http://ftpmaster.internal/ubuntu bionic/main amd64 libhtml-tagset-perl all 3.20-3 [12.1 kB]
Get:221 http://ftpmaster.internal/ubuntu bionic/main amd64 liburi-perl all 1.73-1 [77.2 kB]
Get:222 http://ftpmaster.internal/ubuntu bionic/main amd64 libhtml-parser-perl amd64 3.72-3build1 [85.9 kB]
Get:223 http://ftpmaster.internal/ubuntu bionic/main amd64 libhtml-tree-perl all 5.07-1 [200 kB]
Get:224 http://ftpmaster.internal/ubuntu bionic/main amd64 libio-html-perl all 1.001-1 [14.9 kB]
Get:225 http://ftpmaster.internal/ubuntu bionic/main amd64 liblwp-mediatypes-perl all 6.02-1 [21.7 kB]
Get:226 http://ftpmaster.internal/ubuntu bionic/main amd64 libhttp-message-perl all 6.14-1 [72.1 kB]
Get:227 http://ftpmaster.internal/ubuntu bionic/main amd64 libhttp-cookies-perl all 6.04-1 [17.2 kB]
Get:228 http://ftpmaster.internal/ubuntu bionic/main amd64 libhttp-negotiate-perl all 6.00-2 [13.4 kB]
Get:229 http://ftpmaster.internal/ubuntu bionic/main amd64 perl-openssl-defaults amd64 3build1 [7012 B]
Get:230 http://ftpmaster.internal/ubuntu bionic/main amd64 libnet-ssleay-perl amd64 1.84-1build1 [282 kB]
Get:231 http://ftpmaster.internal/ubuntu bionic/main amd64 libio-socket-ssl-perl all 2.056-1 [172 kB]
Get:232 http://ftpmaster.internal/ubuntu bionic/main amd64 libnet-http-perl all 6.17-1 [22.7 kB]
Get:233 http://ftpmaster.internal/ubuntu bionic/main amd64 liblwp-protocol-https-perl all 6.07-2 [8284 B]
Get:234 http://ftpmaster.internal/ubuntu bionic/main amd64 libtry-tiny-perl all 0.30-1 [20.5 kB]
Get:235 http://ftpmaster.internal/ubuntu bionic/main amd64 libwww-robotrules-perl all 6.01-1 [14.1 kB]
Get:236 http://ftpmaster.internal/ubuntu bionic/main amd64 libwww-perl all 6.31-1 [137 kB]
Get:237 http://ftpmaster.internal/ubuntu bionic/main amd64 libxml-parser-perl amd64 2.44-2build3 [199 kB]
Get:238 http://ftpmaster.internal/ubuntu bionic/universe amd64 libxml-perl all 0.08-2 [113 kB]
Get:239 http://ftpmaster.internal/ubuntu bionic/universe amd64 libxml-regexp-perl all 0.04-1 [8072 B]
Get:240 http://ftpmaster.internal/ubuntu bionic/universe amd64 libxml-dom-perl all 1.44-2 [169 kB]
Get:241 http://ftpmaster.internal/ubuntu bionic/universe amd64 cli-common-dev all 0.9+nmu1 [39.4 kB]
Get:242 http://ftpmaster.internal/ubuntu bionic/universe amd64 mono-reference-assemblies-4.0 all 3.12.1+dfsg-2 [4102 kB]
Get:243 http://ftpmaster.internal/ubuntu bionic/universe amd64 libboogie-cil all 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 [559 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 52.1 MB in 3s (15.9 MB/s)
Selecting previously unselected package libxau6:amd64.
(Reading database ... 12637 files and directories currently installed.)
Preparing to unpack .../000-libxau6_1%3a1.0.8-1_amd64.deb ...
Unpacking libxau6:amd64 (1:1.0.8-1) ...
Selecting previously unselected package libbsd0:amd64.
Preparing to unpack .../001-libbsd0_0.8.7-1_amd64.deb ...
Unpacking libbsd0:amd64 (0.8.7-1) ...
Selecting previously unselected package libxdmcp6:amd64.
Preparing to unpack .../002-libxdmcp6_1%3a1.1.2-3_amd64.deb ...
Unpacking libxdmcp6:amd64 (1:1.1.2-3) ...
Selecting previously unselected package libxcb1:amd64.
Preparing to unpack .../003-libxcb1_1.13-1_amd64.deb ...
Unpacking libxcb1:amd64 (1.13-1) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../004-libx11-data_2%3a1.6.4-3_all.deb ...
Unpacking libx11-data (2:1.6.4-3) ...
Selecting previously unselected package libx11-6:amd64.
Preparing to unpack .../005-libx11-6_2%3a1.6.4-3_amd64.deb ...
Unpacking libx11-6:amd64 (2:1.6.4-3) ...
Selecting previously unselected package libxext6:amd64.
Preparing to unpack .../006-libxext6_2%3a1.3.3-1_amd64.deb ...
Unpacking libxext6:amd64 (2:1.3.3-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../007-bsdmainutils_11.1.2ubuntu1_amd64.deb ...
Unpacking bsdmainutils (11.1.2ubuntu1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../008-groff-base_1.22.3-10_amd64.deb ...
Unpacking groff-base (1.22.3-10) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../009-libpipeline1_1.5.0-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.0-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../010-man-db_2.8.3-2_amd64.deb ...
Unpacking man-db (2.8.3-2) ...
Selecting previously unselected package libjpeg-turbo8:amd64.
Preparing to unpack .../011-libjpeg-turbo8_1.5.2-0ubuntu5_amd64.deb ...
Unpacking libjpeg-turbo8:amd64 (1.5.2-0ubuntu5) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../012-libmagic-mgc_1%3a5.32-2_amd64.deb ...
Unpacking libmagic-mgc (1:5.32-2) ...
Selecting previously unselected package libmagic1:amd64.
Preparing to unpack .../013-libmagic1_1%3a5.32-2_amd64.deb ...
Unpacking libmagic1:amd64 (1:5.32-2) ...
Selecting previously unselected package file.
Preparing to unpack .../014-file_1%3a5.32-2_amd64.deb ...
Unpacking file (1:5.32-2) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../015-libexpat1_2.2.5-3_amd64.deb ...
Unpacking libexpat1:amd64 (2.2.5-3) ...
Selecting previously unselected package libglib2.0-0:amd64.
Preparing to unpack .../016-libglib2.0-0_2.56.1-2ubuntu1_amd64.deb ...
Unpacking libglib2.0-0:amd64 (2.56.1-2ubuntu1) ...
Selecting previously unselected package libicu60:amd64.
Preparing to unpack .../017-libicu60_60.2-3ubuntu3_amd64.deb ...
Unpacking libicu60:amd64 (60.2-3ubuntu3) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../018-libxml2_2.9.4+dfsg1-6.1ubuntu1_amd64.deb ...
Unpacking libxml2:amd64 (2.9.4+dfsg1-6.1ubuntu1) ...
Selecting previously unselected package netbase.
Preparing to unpack .../019-netbase_5.4_all.deb ...
Unpacking netbase (5.4) ...
Selecting previously unselected package ucf.
Preparing to unpack .../020-ucf_3.0038_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0038) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../021-gettext-base_0.19.8.1-6_amd64.deb ...
Unpacking gettext-base (0.19.8.1-6) ...
Selecting previously unselected package libsigsegv2:amd64.
Preparing to unpack .../022-libsigsegv2_2.12-1_amd64.deb ...
Unpacking libsigsegv2:amd64 (2.12-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../023-m4_1.4.18-1_amd64.deb ...
Unpacking m4 (1.4.18-1) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../024-autoconf_2.69-11_all.deb ...
Unpacking autoconf (2.69-11) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../025-autotools-dev_20180224.1_all.deb ...
Unpacking autotools-dev (20180224.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../026-automake_1%3a1.15.1-3ubuntu2_all.deb ...
Unpacking automake (1:1.15.1-3ubuntu2) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../027-autopoint_0.19.8.1-6_all.deb ...
Unpacking autopoint (0.19.8.1-6) ...
Selecting previously unselected package cli-common.
Preparing to unpack .../028-cli-common_0.9+nmu1_all.deb ...
Unpacking cli-common (0.9+nmu1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../029-libtool_2.4.6-2_all.deb ...
Unpacking libtool (2.4.6-2) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../030-dh-autoreconf_17_all.deb ...
Unpacking dh-autoreconf (17) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../031-libarchive-zip-perl_1.60-1_all.deb ...
Unpacking libarchive-zip-perl (1.60-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../032-libfile-stripnondeterminism-perl_0.040-1.1~build1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (0.040-1.1~build1) ...
Selecting previously unselected package libtimedate-perl.
Preparing to unpack .../033-libtimedate-perl_2.3000-2_all.deb ...
Unpacking libtimedate-perl (2.3000-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../034-dh-strip-nondeterminism_0.040-1.1~build1_all.deb ...
Unpacking dh-strip-nondeterminism (0.040-1.1~build1) ...
Selecting previously unselected package libcroco3:amd64.
Preparing to unpack .../035-libcroco3_0.6.12-2_amd64.deb ...
Unpacking libcroco3:amd64 (0.6.12-2) ...
Selecting previously unselected package gettext.
Preparing to unpack .../036-gettext_0.19.8.1-6_amd64.deb ...
Unpacking gettext (0.19.8.1-6) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../037-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 .../038-po-debconf_1.0.20_all.deb ...
Unpacking po-debconf (1.0.20) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../039-debhelper_11.1.6ubuntu1_all.deb ...
Unpacking debhelper (11.1.6ubuntu1) ...
Selecting previously unselected package libmonoboehm-2.0-1.
Preparing to unpack .../040-libmonoboehm-2.0-1_4.6.2.7+dfsg-1ubuntu1_amd64.deb ...
Unpacking libmonoboehm-2.0-1 (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-xml4.0-cil.
Preparing to unpack .../041-libmono-system-xml4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-xml4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-security4.0-cil.
Preparing to unpack .../042-libmono-system-security4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-security4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-configuration4.0-cil.
Preparing to unpack .../043-libmono-system-configuration4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-configuration4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system4.0-cil.
Preparing to unpack .../044-libmono-system4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-security4.0-cil.
Preparing to unpack .../045-libmono-security4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-security4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package mono-4.0-gac.
Preparing to unpack .../046-mono-4.0-gac_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking mono-4.0-gac (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package mono-gac.
Preparing to unpack .../047-mono-gac_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking mono-gac (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package mono-runtime-common.
Preparing to unpack .../048-mono-runtime-common_4.6.2.7+dfsg-1ubuntu1_amd64.deb ...
Unpacking mono-runtime-common (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package mono-runtime-sgen.
Preparing to unpack .../049-mono-runtime-sgen_4.6.2.7+dfsg-1ubuntu1_amd64.deb ...
Unpacking mono-runtime-sgen (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package mono-runtime.
Preparing to unpack .../050-mono-runtime_4.6.2.7+dfsg-1ubuntu1_amd64.deb ...
Unpacking mono-runtime (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-corlib4.5-cil.
Preparing to unpack .../051-libmono-corlib4.5-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-corlib4.5-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package mono-utils.
Preparing to unpack .../052-mono-utils_4.6.2.7+dfsg-1ubuntu1_amd64.deb ...
Unpacking mono-utils (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-cecil-private-cil.
Preparing to unpack .../053-libmono-cecil-private-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-cecil-private-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-posix4.0-cil.
Preparing to unpack .../054-libmono-posix4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-posix4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-core4.0-cil.
Preparing to unpack .../055-libmono-system-core4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-core4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-codecontracts4.0-cil.
Preparing to unpack .../056-libmono-codecontracts4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-codecontracts4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-compilerservices-symbolwriter4.0-cil.
Preparing to unpack .../057-libmono-compilerservices-symbolwriter4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-compilerservices-symbolwriter4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-peapi4.0a-cil.
Preparing to unpack .../058-libmono-peapi4.0a-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-peapi4.0a-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-relaxng4.0-cil.
Preparing to unpack .../059-libmono-relaxng4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-relaxng4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-componentmodel-composition4.0-cil.
Preparing to unpack .../060-libmono-system-componentmodel-composition4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-componentmodel-composition4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-componentmodel-dataannotations4.0-cil.
Preparing to unpack .../061-libmono-system-componentmodel-dataannotations4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-componentmodel-dataannotations4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-configuration-install4.0-cil.
Preparing to unpack .../062-libmono-system-configuration-install4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-configuration-install4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-data-tds4.0-cil.
Preparing to unpack .../063-libmono-data-tds4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-data-tds4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-transactions4.0-cil.
Preparing to unpack .../064-libmono-system-transactions4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-transactions4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-enterpriseservices4.0-cil.
Preparing to unpack .../065-libmono-system-enterpriseservices4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-enterpriseservices4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-numerics4.0-cil.
Preparing to unpack .../066-libmono-system-numerics4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-numerics4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-data4.0-cil.
Preparing to unpack .../067-libmono-system-data4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-data4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-servicemodel-internals0.0-cil.
Preparing to unpack .../068-libmono-system-servicemodel-internals0.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-servicemodel-internals0.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-runtime-serialization4.0-cil.
Preparing to unpack .../069-libmono-system-runtime-serialization4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-runtime-serialization4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-data-linq4.0-cil.
Preparing to unpack .../070-libmono-system-data-linq4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-data-linq4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libfreetype6:amd64.
Preparing to unpack .../071-libfreetype6_2.8.1-2ubuntu2_amd64.deb ...
Unpacking libfreetype6:amd64 (2.8.1-2ubuntu2) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../072-fonts-dejavu-core_2.37-1_all.deb ...
Unpacking fonts-dejavu-core (2.37-1) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../073-fontconfig-config_2.12.6-0ubuntu2_all.deb ...
Unpacking fontconfig-config (2.12.6-0ubuntu2) ...
Selecting previously unselected package libfontconfig1:amd64.
Preparing to unpack .../074-libfontconfig1_2.12.6-0ubuntu2_amd64.deb ...
Unpacking libfontconfig1:amd64 (2.12.6-0ubuntu2) ...
Selecting previously unselected package libpixman-1-0:amd64.
Preparing to unpack .../075-libpixman-1-0_0.34.0-2_amd64.deb ...
Unpacking libpixman-1-0:amd64 (0.34.0-2) ...
Selecting previously unselected package libxcb-render0:amd64.
Preparing to unpack .../076-libxcb-render0_1.13-1_amd64.deb ...
Unpacking libxcb-render0:amd64 (1.13-1) ...
Selecting previously unselected package libxcb-shm0:amd64.
Preparing to unpack .../077-libxcb-shm0_1.13-1_amd64.deb ...
Unpacking libxcb-shm0:amd64 (1.13-1) ...
Selecting previously unselected package libxrender1:amd64.
Preparing to unpack .../078-libxrender1_1%3a0.9.10-1_amd64.deb ...
Unpacking libxrender1:amd64 (1:0.9.10-1) ...
Selecting previously unselected package libcairo2:amd64.
Preparing to unpack .../079-libcairo2_1.15.10-2_amd64.deb ...
Unpacking libcairo2:amd64 (1.15.10-2) ...
Selecting previously unselected package libexif12:amd64.
Preparing to unpack .../080-libexif12_0.6.21-4_amd64.deb ...
Unpacking libexif12:amd64 (0.6.21-4) ...
Selecting previously unselected package libgif7:amd64.
Preparing to unpack .../081-libgif7_5.1.4-2_amd64.deb ...
Unpacking libgif7:amd64 (5.1.4-2) ...
Selecting previously unselected package libjpeg8:amd64.
Preparing to unpack .../082-libjpeg8_8c-2ubuntu8_amd64.deb ...
Unpacking libjpeg8:amd64 (8c-2ubuntu8) ...
Selecting previously unselected package libjbig0:amd64.
Preparing to unpack .../083-libjbig0_2.1-3.1build1_amd64.deb ...
Unpacking libjbig0:amd64 (2.1-3.1build1) ...
Selecting previously unselected package libtiff5:amd64.
Preparing to unpack .../084-libtiff5_4.0.9-5_amd64.deb ...
Unpacking libtiff5:amd64 (4.0.9-5) ...
Selecting previously unselected package libgdiplus.
Preparing to unpack .../085-libgdiplus_4.2-2_amd64.deb ...
Unpacking libgdiplus (4.2-2) ...
Selecting previously unselected package libmono-system-drawing4.0-cil.
Preparing to unpack .../086-libmono-system-drawing4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-drawing4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-applicationservices4.0-cil.
Preparing to unpack .../087-libmono-system-web-applicationservices4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-applicationservices4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-identitymodel4.0-cil.
Preparing to unpack .../088-libmono-system-identitymodel4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-identitymodel4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-io-compression4.0-cil.
Preparing to unpack .../089-libmono-system-io-compression4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-io-compression4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-io-compression-filesystem4.0-cil.
Preparing to unpack .../090-libmono-system-io-compression-filesystem4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-io-compression-filesystem4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-runtime-serialization-formatters-soap4.0-cil.
Preparing to unpack .../091-libmono-system-runtime-serialization-formatters-soap4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-runtime-serialization-formatters-soap4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-sqlite4.0-cil.
Preparing to unpack .../092-libmono-sqlite4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-sqlite4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-accessibility4.0-cil.
Preparing to unpack .../093-libmono-accessibility4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-accessibility4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-webbrowser4.0-cil.
Preparing to unpack .../094-libmono-webbrowser4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-webbrowser4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-i18n4.0-cil.
Preparing to unpack .../095-libmono-i18n4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-i18n4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-i18n-west4.0-cil.
Preparing to unpack .../096-libmono-i18n-west4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-i18n-west4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-windows-forms4.0-cil.
Preparing to unpack .../097-libmono-system-windows-forms4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-windows-forms4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-design4.0-cil.
Preparing to unpack .../098-libmono-system-design4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-design4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-ldap4.0-cil.
Preparing to unpack .../099-libmono-ldap4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-ldap4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-ldap4.0-cil.
Preparing to unpack .../100-libmono-system-ldap4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-ldap4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-services4.0-cil.
Preparing to unpack .../101-libmono-system-web-services4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-services4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web4.0-cil.
Preparing to unpack .../102-libmono-system-web4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-runtime4.0-cil.
Preparing to unpack .../103-libmono-system-runtime4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-runtime4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-identitymodel-selectors4.0-cil.
Preparing to unpack .../104-libmono-system-identitymodel-selectors4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-identitymodel-selectors4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-messaging4.0-cil.
Preparing to unpack .../105-libmono-messaging4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-messaging4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-messaging4.0-cil.
Preparing to unpack .../106-libmono-system-messaging4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-messaging4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-servicemodel-activation4.0-cil.
Preparing to unpack .../107-libmono-system-servicemodel-activation4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-servicemodel-activation4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-servicemodel4.0a-cil.
Preparing to unpack .../108-libmono-system-servicemodel4.0a-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-servicemodel4.0a-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-serviceprocess4.0-cil.
Preparing to unpack .../109-libmono-system-serviceprocess4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-serviceprocess4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-xml-linq4.0-cil.
Preparing to unpack .../110-libmono-system-xml-linq4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-xml-linq4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-csharp4.0c-cil.
Preparing to unpack .../111-libmono-csharp4.0c-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-csharp4.0c-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-microsoft-csharp4.0-cil.
Preparing to unpack .../112-libmono-microsoft-csharp4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-microsoft-csharp4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package mono-mcs.
Preparing to unpack .../113-mono-mcs_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking mono-mcs (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-microsoft-build-framework4.0-cil.
Preparing to unpack .../114-libmono-microsoft-build-framework4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-microsoft-build-framework4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-microsoft-build-utilities-v4.0-4.0-cil.
Preparing to unpack .../115-libmono-microsoft-build-utilities-v4.0-4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-microsoft-build-utilities-v4.0-4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-microsoft-build-engine4.0-cil.
Preparing to unpack .../116-libmono-microsoft-build-engine4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-microsoft-build-engine4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-xbuild-tasks4.0-cil.
Preparing to unpack .../117-libmono-xbuild-tasks4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-xbuild-tasks4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-microsoft-build-tasks-v4.0-4.0-cil.
Preparing to unpack .../118-libmono-microsoft-build-tasks-v4.0-4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-microsoft-build-tasks-v4.0-4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package mono-xbuild.
Preparing to unpack .../119-mono-xbuild_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking mono-xbuild (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-cairo4.0-cil.
Preparing to unpack .../120-libmono-cairo4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-cairo4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-cscompmgd0.0-cil.
Preparing to unpack .../121-libmono-cscompmgd0.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-cscompmgd0.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-custommarshalers4.0-cil.
Preparing to unpack .../122-libmono-custommarshalers4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-custommarshalers4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-db2-1.0-cil.
Preparing to unpack .../123-libmono-db2-1.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-db2-1.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-debugger-soft4.0a-cil.
Preparing to unpack .../124-libmono-debugger-soft4.0a-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-debugger-soft4.0a-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-sharpzip4.84-cil.
Preparing to unpack .../125-libmono-sharpzip4.84-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-sharpzip4.84-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-http4.0-cil.
Preparing to unpack .../126-libmono-http4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-http4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-i18n-cjk4.0-cil.
Preparing to unpack .../127-libmono-i18n-cjk4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-i18n-cjk4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-i18n-mideast4.0-cil.
Preparing to unpack .../128-libmono-i18n-mideast4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-i18n-mideast4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-i18n-other4.0-cil.
Preparing to unpack .../129-libmono-i18n-other4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-i18n-other4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-i18n-rare4.0-cil.
Preparing to unpack .../130-libmono-i18n-rare4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-i18n-rare4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-i18n4.0-all.
Preparing to unpack .../131-libmono-i18n4.0-all_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-i18n4.0-all (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-management4.0-cil.
Preparing to unpack .../132-libmono-management4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-management4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-rabbitmq4.0-cil.
Preparing to unpack .../133-libmono-rabbitmq4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-rabbitmq4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-messaging-rabbitmq4.0-cil.
Preparing to unpack .../134-libmono-messaging-rabbitmq4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-messaging-rabbitmq4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-microsoft-build4.0-cil.
Preparing to unpack .../135-libmono-microsoft-build4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-microsoft-build4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-microsoft-visualc10.0-cil.
Preparing to unpack .../136-libmono-microsoft-visualc10.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-microsoft-visualc10.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-microsoft-web-infrastructure1.0-cil.
Preparing to unpack .../137-libmono-microsoft-web-infrastructure1.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-microsoft-web-infrastructure1.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-oracle4.0-cil.
Preparing to unpack .../138-libmono-oracle4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-oracle4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-parallel4.0-cil.
Preparing to unpack .../139-libmono-parallel4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-parallel4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-simd4.0-cil.
Preparing to unpack .../140-libmono-simd4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-simd4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-smdiagnostics0.0-cil.
Preparing to unpack .../141-libmono-smdiagnostics0.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-smdiagnostics0.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-data-datasetextensions4.0-cil.
Preparing to unpack .../142-libmono-system-data-datasetextensions4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-data-datasetextensions4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-data-entity4.0-cil.
Preparing to unpack .../143-libmono-system-data-entity4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-data-entity4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-data-services-client4.0-cil.
Preparing to unpack .../144-libmono-system-data-services-client4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-data-services-client4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-extensions4.0-cil.
Preparing to unpack .../145-libmono-system-web-extensions4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-extensions4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-servicemodel-web4.0-cil.
Preparing to unpack .../146-libmono-system-servicemodel-web4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-servicemodel-web4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-data-services4.0-cil.
Preparing to unpack .../147-libmono-system-data-services4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-data-services4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-deployment4.0-cil.
Preparing to unpack .../148-libmono-system-deployment4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-deployment4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-drawing-design4.0-cil.
Preparing to unpack .../149-libmono-system-drawing-design4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-drawing-design4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-dynamic4.0-cil.
Preparing to unpack .../150-libmono-system-dynamic4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-dynamic4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-json4.0-cil.
Preparing to unpack .../151-libmono-system-json4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-json4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-json-microsoft4.0-cil.
Preparing to unpack .../152-libmono-system-json-microsoft4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-json-microsoft4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-ldap-protocols4.0-cil.
Preparing to unpack .../153-libmono-system-ldap-protocols4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-ldap-protocols4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-management4.0-cil.
Preparing to unpack .../154-libmono-system-management4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-management4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-net4.0-cil.
Preparing to unpack .../155-libmono-system-net4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-net4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-net-http4.0-cil.
Preparing to unpack .../156-libmono-system-net-http4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-net-http4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-net-http-formatting4.0-cil.
Preparing to unpack .../157-libmono-system-net-http-formatting4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-net-http-formatting4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-net-http-webrequest4.0-cil.
Preparing to unpack .../158-libmono-system-net-http-webrequest4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-net-http-webrequest4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-numerics-vectors4.0-cil.
Preparing to unpack .../159-libmono-system-numerics-vectors4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-numerics-vectors4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-reactive-interfaces2.2-cil.
Preparing to unpack .../160-libmono-system-reactive-interfaces2.2-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-reactive-interfaces2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-reactive-core2.2-cil.
Preparing to unpack .../161-libmono-system-reactive-core2.2-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-reactive-core2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-reactive-linq2.2-cil.
Preparing to unpack .../162-libmono-system-reactive-linq2.2-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-reactive-linq2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-reactive-debugger2.2-cil.
Preparing to unpack .../163-libmono-system-reactive-debugger2.2-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-reactive-debugger2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-reactive-experimental2.2-cil.
Preparing to unpack .../164-libmono-system-reactive-experimental2.2-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-reactive-experimental2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-reactive-providers2.2-cil.
Preparing to unpack .../165-libmono-system-reactive-providers2.2-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-reactive-providers2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-reactive-observable-aliases0.0-cil.
Preparing to unpack .../166-libmono-system-reactive-observable-aliases0.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-reactive-observable-aliases0.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-reactive-platformservices2.2-cil.
Preparing to unpack .../167-libmono-system-reactive-platformservices2.2-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-reactive-platformservices2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-reactive-runtime-remoting2.2-cil.
Preparing to unpack .../168-libmono-system-reactive-runtime-remoting2.2-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-reactive-runtime-remoting2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-reactive-windows-forms2.2-cil.
Preparing to unpack .../169-libmono-system-reactive-windows-forms2.2-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-reactive-windows-forms2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-xaml4.0-cil.
Preparing to unpack .../170-libmono-system-xaml4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-xaml4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-windowsbase4.0-cil.
Preparing to unpack .../171-libmono-windowsbase4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-windowsbase4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-reactive-windows-threading2.2-cil.
Preparing to unpack .../172-libmono-system-reactive-windows-threading2.2-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-reactive-windows-threading2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-reflection-context4.0-cil.
Preparing to unpack .../173-libmono-system-reflection-context4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-reflection-context4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-runtime-caching4.0-cil.
Preparing to unpack .../174-libmono-system-runtime-caching4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-runtime-caching4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-runtime-durableinstancing4.0-cil.
Preparing to unpack .../175-libmono-system-runtime-durableinstancing4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-runtime-durableinstancing4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-runtime-interopservices-runtimeinformation4.0-cil.
Preparing to unpack .../176-libmono-system-runtime-interopservices-runtimeinformation4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-runtime-interopservices-runtimeinformation4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-servicemodel-discovery4.0-cil.
Preparing to unpack .../177-libmono-system-servicemodel-discovery4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-servicemodel-discovery4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-servicemodel-routing4.0-cil.
Preparing to unpack .../178-libmono-system-servicemodel-routing4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-servicemodel-routing4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-threading-tasks-dataflow4.0-cil.
Preparing to unpack .../179-libmono-system-threading-tasks-dataflow4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-threading-tasks-dataflow4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-abstractions4.0-cil.
Preparing to unpack .../180-libmono-system-web-abstractions4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-abstractions4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-dynamicdata4.0-cil.
Preparing to unpack .../181-libmono-system-web-dynamicdata4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-dynamicdata4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-extensions-design4.0-cil.
Preparing to unpack .../182-libmono-system-web-extensions-design4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-extensions-design4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-http4.0-cil.
Preparing to unpack .../183-libmono-system-web-http4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-http4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-http-selfhost4.0-cil.
Preparing to unpack .../184-libmono-system-web-http-selfhost4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-http-selfhost4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-http-webhost4.0-cil.
Preparing to unpack .../185-libmono-system-web-http-webhost4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-http-webhost4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-mobile4.0-cil.
Preparing to unpack .../186-libmono-system-web-mobile4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-mobile4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-razor2.0-cil.
Preparing to unpack .../187-libmono-system-web-razor2.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-razor2.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-webpages-deployment2.0-cil.
Preparing to unpack .../188-libmono-system-web-webpages-deployment2.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-webpages-deployment2.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-webpages2.0-cil.
Preparing to unpack .../189-libmono-system-web-webpages2.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-webpages2.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-webpages-razor2.0-cil.
Preparing to unpack .../190-libmono-system-web-webpages-razor2.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-webpages-razor2.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-mvc3.0-cil.
Preparing to unpack .../191-libmono-system-web-mvc3.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-mvc3.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-regularexpressions4.0-cil.
Preparing to unpack .../192-libmono-system-web-regularexpressions4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-regularexpressions4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-web-routing4.0-cil.
Preparing to unpack .../193-libmono-system-web-routing4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-web-routing4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-windows4.0-cil.
Preparing to unpack .../194-libmono-system-windows4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-windows4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-windows-forms-datavisualization4.0a-cil.
Preparing to unpack .../195-libmono-system-windows-forms-datavisualization4.0a-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-windows-forms-datavisualization4.0a-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-workflow-activities4.0-cil.
Preparing to unpack .../196-libmono-system-workflow-activities4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-workflow-activities4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-workflow-componentmodel4.0-cil.
Preparing to unpack .../197-libmono-system-workflow-componentmodel4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-workflow-componentmodel4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-workflow-runtime4.0-cil.
Preparing to unpack .../198-libmono-system-workflow-runtime4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-workflow-runtime4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-system-xml-serialization4.0-cil.
Preparing to unpack .../199-libmono-system-xml-serialization4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-system-xml-serialization4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-tasklets4.0-cil.
Preparing to unpack .../200-libmono-tasklets4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-tasklets4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-webmatrix-data4.0-cil.
Preparing to unpack .../201-libmono-webmatrix-data4.0-cil_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-webmatrix-data4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libnunit-core-interfaces2.6.3-cil.
Preparing to unpack .../202-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 .../203-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 .../204-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 .../205-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 .../206-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 .../207-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 .../208-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 .../209-libmono-cil-dev_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking libmono-cil-dev (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmonosgen-2.0-1.
Preparing to unpack .../210-libmonosgen-2.0-1_4.6.2.7+dfsg-1ubuntu1_amd64.deb ...
Unpacking libmonosgen-2.0-1 (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmonosgen-2.0-dev.
Preparing to unpack .../211-libmonosgen-2.0-dev_4.6.2.7+dfsg-1ubuntu1_amd64.deb ...
Unpacking libmonosgen-2.0-dev (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libmono-2.0-dev.
Preparing to unpack .../212-libmono-2.0-dev_4.6.2.7+dfsg-1ubuntu1_amd64.deb ...
Unpacking libmono-2.0-dev (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package pkg-config.
Preparing to unpack .../213-pkg-config_0.29.1-0ubuntu2_amd64.deb ...
Unpacking pkg-config (0.29.1-0ubuntu2) ...
Selecting previously unselected package mono-devel.
Preparing to unpack .../214-mono-devel_4.6.2.7+dfsg-1ubuntu1_all.deb ...
Unpacking mono-devel (4.6.2.7+dfsg-1ubuntu1) ...
Selecting previously unselected package libencode-locale-perl.
Preparing to unpack .../215-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 .../216-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 .../217-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 .../218-libhtml-tagset-perl_3.20-3_all.deb ...
Unpacking libhtml-tagset-perl (3.20-3) ...
Selecting previously unselected package liburi-perl.
Preparing to unpack .../219-liburi-perl_1.73-1_all.deb ...
Unpacking liburi-perl (1.73-1) ...
Selecting previously unselected package libhtml-parser-perl.
Preparing to unpack .../220-libhtml-parser-perl_3.72-3build1_amd64.deb ...
Unpacking libhtml-parser-perl (3.72-3build1) ...
Selecting previously unselected package libhtml-tree-perl.
Preparing to unpack .../221-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 .../222-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 .../223-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 .../224-libhttp-message-perl_6.14-1_all.deb ...
Unpacking libhttp-message-perl (6.14-1) ...
Selecting previously unselected package libhttp-cookies-perl.
Preparing to unpack .../225-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 .../226-libhttp-negotiate-perl_6.00-2_all.deb ...
Unpacking libhttp-negotiate-perl (6.00-2) ...
Selecting previously unselected package perl-openssl-defaults:amd64.
Preparing to unpack .../227-perl-openssl-defaults_3build1_amd64.deb ...
Unpacking perl-openssl-defaults:amd64 (3build1) ...
Selecting previously unselected package libnet-ssleay-perl.
Preparing to unpack .../228-libnet-ssleay-perl_1.84-1build1_amd64.deb ...
Unpacking libnet-ssleay-perl (1.84-1build1) ...
Selecting previously unselected package libio-socket-ssl-perl.
Preparing to unpack .../229-libio-socket-ssl-perl_2.056-1_all.deb ...
Unpacking libio-socket-ssl-perl (2.056-1) ...
Selecting previously unselected package libnet-http-perl.
Preparing to unpack .../230-libnet-http-perl_6.17-1_all.deb ...
Unpacking libnet-http-perl (6.17-1) ...
Selecting previously unselected package liblwp-protocol-https-perl.
Preparing to unpack .../231-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 .../232-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 .../233-libwww-robotrules-perl_6.01-1_all.deb ...
Unpacking libwww-robotrules-perl (6.01-1) ...
Selecting previously unselected package libwww-perl.
Preparing to unpack .../234-libwww-perl_6.31-1_all.deb ...
Unpacking libwww-perl (6.31-1) ...
Selecting previously unselected package libxml-parser-perl.
Preparing to unpack .../235-libxml-parser-perl_2.44-2build3_amd64.deb ...
Unpacking libxml-parser-perl (2.44-2build3) ...
Selecting previously unselected package libxml-perl.
Preparing to unpack .../236-libxml-perl_0.08-2_all.deb ...
Unpacking libxml-perl (0.08-2) ...
Selecting previously unselected package libxml-regexp-perl.
Preparing to unpack .../237-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 .../238-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 .../239-cli-common-dev_0.9+nmu1_all.deb ...
Unpacking cli-common-dev (0.9+nmu1) ...
Selecting previously unselected package mono-reference-assemblies-4.0.
Preparing to unpack .../240-mono-reference-assemblies-4.0_3.12.1+dfsg-2_all.deb ...
Unpacking mono-reference-assemblies-4.0 (3.12.1+dfsg-2) ...
Selecting previously unselected package libboogie-cil.
Preparing to unpack .../241-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 sbuild-build-depends-dafny-dummy.
Preparing to unpack .../242-sbuild-build-depends-dafny-dummy_0.invalid.0_amd64.deb ...
Unpacking sbuild-build-depends-dafny-dummy (0.invalid.0) ...
Setting up libhtml-tagset-perl (3.20-3) ...
Setting up libtry-tiny-perl (0.30-1) ...
Setting up libexpat1:amd64 (2.2.5-3) ...
Setting up libicu60:amd64 (60.2-3ubuntu3) ...
Setting up libarchive-zip-perl (1.60-1) ...
Setting up libencode-locale-perl (1.05-1) ...
Setting up libtimedate-perl (2.3000-2) ...
Setting up libjbig0:amd64 (2.1-3.1build1) ...
Setting up libsigsegv2:amd64 (2.12-1) ...
Setting up fonts-dejavu-core (2.37-1) ...
Setting up libmonosgen-2.0-1 (4.6.2.7+dfsg-1ubuntu1) ...
Setting up perl-openssl-defaults:amd64 (3build1) ...
Setting up groff-base (1.22.3-10) ...
Setting up libglib2.0-0:amd64 (2.56.1-2ubuntu1) ...
No schema files found: doing nothing.
Setting up libio-html-perl (1.001-1) ...
Setting up gettext-base (0.19.8.1-6) ...
Setting up libgif7:amd64 (5.1.4-2) ...
Setting up libjpeg-turbo8:amd64 (1.5.2-0ubuntu5) ...
Setting up libpipeline1:amd64 (1.5.0-1) ...
Setting up m4 (1.4.18-1) ...
Setting up libbsd0:amd64 (0.8.7-1) ...
Setting up ucf (3.0038) ...
Setting up libxml2:amd64 (2.9.4+dfsg1-6.1ubuntu1) ...
Setting up libfreetype6:amd64 (2.8.1-2ubuntu2) ...
Setting up libmagic-mgc (1:5.32-2) ...
Setting up libmagic1:amd64 (1:5.32-2) ...
Setting up libcroco3:amd64 (0.6.12-2) ...
Setting up pkg-config (0.29.1-0ubuntu2) ...
Setting up libpixman-1-0:amd64 (0.34.0-2) ...
Setting up liblwp-mediatypes-perl (6.02-1) ...
Processing triggers for libc-bin (2.27-3ubuntu1) ...
Setting up libxml-regexp-perl (0.04-1) ...
Setting up autotools-dev (20180224.1) ...
Setting up liburi-perl (1.73-1) ...
Setting up libhtml-parser-perl (3.72-3build1) ...
Setting up libnet-http-perl (6.17-1) ...
Setting up libxdmcp6:amd64 (1:1.1.2-3) ...
Setting up bsdmainutils (11.1.2ubuntu1) ...
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-1ubuntu1) ...
Setting up libexif12:amd64 (0.6.21-4) ...
Setting up cli-common (0.9+nmu1) ...
Setting up libwww-robotrules-perl (6.01-1) ...
Setting up libx11-data (2:1.6.4-3) ...
Setting up libxau6:amd64 (1:1.0.8-1) ...
Setting up autopoint (0.19.8.1-6) ...
Setting up netbase (5.4) ...
Setting up libfile-stripnondeterminism-perl (0.040-1.1~build1) ...
Setting up libjpeg8:amd64 (8c-2ubuntu8) ...
Setting up libmonosgen-2.0-dev (4.6.2.7+dfsg-1ubuntu1) ...
Setting up fontconfig-config (2.12.6-0ubuntu2) ...
Setting up libhttp-date-perl (6.02-1) ...
Setting up gettext (0.19.8.1-6) ...
Setting up libnet-ssleay-perl (1.84-1build1) ...
Setting up libtiff5:amd64 (4.0.9-5) ...
Setting up autoconf (2.69-11) ...
Setting up file (1:5.32-2) ...
Setting up libio-socket-ssl-perl (2.056-1) ...
Setting up libmono-2.0-dev (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libhtml-tree-perl (5.07-1) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up automake (1:1.15.1-3ubuntu2) ...
update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-listing-perl (6.04-1) ...
Setting up man-db (2.8.3-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libhttp-message-perl (6.14-1) ...
Setting up libxcb1:amd64 (1.13-1) ...
Setting up libhttp-negotiate-perl (6.00-2) ...
Setting up libtool (2.4.6-2) ...
Setting up libfontconfig1:amd64 (2.12.6-0ubuntu2) ...
Setting up libxcb-render0:amd64 (1.13-1) ...
Setting up po-debconf (1.0.20) ...
Setting up libhttp-cookies-perl (6.04-1) ...
Setting up libx11-6:amd64 (2:1.6.4-3) ...
Setting up libxcb-shm0:amd64 (1.13-1) ...
Setting up libxrender1:amd64 (1:0.9.10-1) ...
Setting up libxext6:amd64 (2:1.3.3-1) ...
Setting up libcairo2:amd64 (1.15.10-2) ...
Setting up libgdiplus (4.2-2) ...
Setting up libmono-system-xml4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up dh-autoreconf (17) ...
Setting up libmono-system-security4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up liblwp-protocol-https-perl (6.07-2) ...
Setting up dh-strip-nondeterminism (0.040-1.1~build1) ...
Setting up libmono-system-configuration4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libwww-perl (6.31-1) ...
Setting up debhelper (11.1.6ubuntu1) ...
Setting up libmono-system4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libxml-parser-perl (2.44-2build3) ...
Setting up libmono-security4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up mono-4.0-gac (4.6.2.7+dfsg-1ubuntu1) ...
Setting up mono-gac (4.6.2.7+dfsg-1ubuntu1) ...
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-2) ...
Setting up mono-runtime-common (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libxml-dom-perl (1.44-2) ...
Setting up mono-reference-assemblies-4.0 (3.12.1+dfsg-2) ...
Setting up mono-runtime-sgen (4.6.2.7+dfsg-1ubuntu1) ...
Setting up mono-runtime (4.6.2.7+dfsg-1ubuntu1) ...
update-alternatives: using /usr/bin/mono to provide /usr/bin/cli (cli) in auto mode
Setting up libmono-corlib4.5-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-drawing4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-rabbitmq4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up mono-utils (4.6.2.7+dfsg-1ubuntu1) ...
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-1ubuntu1) ...
Setting up libmono-posix4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-peapi4.0a-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-cscompmgd0.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-numerics4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-webbrowser4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-windows4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-deployment4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web-mobile4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-xbuild-tasks4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-sharpzip4.84-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-servicemodel-internals0.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-microsoft-build-framework4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-runtime-interopservices-runtimeinformation4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-relaxng4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-core4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-microsoft-build4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-data-tds4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-workflow-runtime4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-management4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-i18n4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-accessibility4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-messaging4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-servicemodel-activation4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-workflow-activities4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-cecil-private-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-cairo4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-parallel4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-reflection-context4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-ldap4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-threading-tasks-dataflow4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-dynamic4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-workflow-componentmodel4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-i18n-mideast4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-componentmodel-composition4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web-regularexpressions4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web-razor2.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web-applicationservices4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-i18n-rare4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
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-1ubuntu1) ...
Setting up libmono-system-ldap4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-simd4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-configuration-install4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-ldap-protocols4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-tasklets4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-net-http4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-debugger-soft4.0a-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-custommarshalers4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-csharp4.0c-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-net4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-transactions4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-microsoft-visualc10.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-json4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
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-1ubuntu1) ...
Setting up libmono-i18n-other4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
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-1ubuntu1) ...
Setting up libmono-system-net-http-webrequest4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-i18n-cjk4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-reactive-interfaces2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-runtime-serialization4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-io-compression4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-microsoft-build-utilities-v4.0-4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-enterpriseservices4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-data4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-io-compression-filesystem4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-identitymodel4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-db2-1.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-data-linq4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-smdiagnostics0.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-webmatrix-data4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-xaml4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-componentmodel-dataannotations4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-windowsbase4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-oracle4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-runtime-caching4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-i18n-west4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-messaging-rabbitmq4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-codecontracts4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-sqlite4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-i18n4.0-all (4.6.2.7+dfsg-1ubuntu1) ...
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-1ubuntu1) ...
Setting up libmono-system-identitymodel-selectors4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-json-microsoft4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-xml-linq4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up mono-mcs (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-reactive-core2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-data-datasetextensions4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-data-entity4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-data-services-client4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-microsoft-build-engine4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web-services4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-windows-forms4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-windows-forms-datavisualization4.0a-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-reactive-windows-forms2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libboogie-cil (2.3.0.61016+dfsg+3.gbp1f2d6c1-1) ...
Setting up libmono-system-messaging4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-serviceprocess4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-reactive-runtime-remoting2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-runtime-durableinstancing4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-drawing-design4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-reactive-windows-threading2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-microsoft-build-tasks-v4.0-4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-net-http-formatting4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-reactive-linq2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web-http4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-reactive-experimental2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-runtime4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-microsoft-web-infrastructure1.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-servicemodel4.0a-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web-abstractions4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web-http-webhost4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-reactive-debugger2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-reactive-providers2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web-routing4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-servicemodel-discovery4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-servicemodel-routing4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-reactive-platformservices2.2-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-reactive-observable-aliases0.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-http4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up mono-xbuild (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-design4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web-extensions-design4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
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-1ubuntu1) ...
Setting up libmono-system-web-webpages-deployment2.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web-webpages2.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-xml-serialization4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-web-http-selfhost4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
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-1ubuntu1) ...
Setting up libmono-system-web-dynamicdata4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-servicemodel-web4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libnunit-cil-dev (2.6.4+dfsg-1) ...
Setting up libmono-system-web-mvc3.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-system-data-services4.0-cil (4.6.2.7+dfsg-1ubuntu1) ...
Setting up libmono-cil-dev (4.6.2.7+dfsg-1ubuntu1) ...
Setting up mono-devel (4.6.2.7+dfsg-1ubuntu1) ...
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) ...
Setting up sbuild-build-depends-dafny-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.27-3ubuntu1) ...

+------------------------------------------------------------------------------+
| Build environment                                                            |
+------------------------------------------------------------------------------+

Kernel: Linux 4.4.0-121-generic amd64 (x86_64)
Toolchain package versions: binutils_2.30-15ubuntu1 dpkg-dev_1.19.0.5ubuntu2 g++-7_7.3.0-16ubuntu3 gcc-7_7.3.0-16ubuntu3 libc6-dev_2.27-3ubuntu1 libstdc++-7-dev_7.3.0-16ubuntu3 libstdc++6_8-20180414-1ubuntu2 linux-libc-dev_4.15.0-20.21
Package versions: adduser_3.116ubuntu1 advancecomp_2.1-1 apt_1.6.1 autoconf_2.69-11 automake_1:1.15.1-3ubuntu2 autopoint_0.19.8.1-6 autotools-dev_20180224.1 base-files_10.1ubuntu2 base-passwd_3.5.44 bash_4.4.18-2ubuntu1 binutils_2.30-15ubuntu1 binutils-common_2.30-15ubuntu1 binutils-x86-64-linux-gnu_2.30-15ubuntu1 bsdmainutils_11.1.2ubuntu1 bsdutils_1:2.31.1-0.4ubuntu3 build-essential_12.4ubuntu1 bzip2_1.0.6-8.1 ca-certificates_20180409 cli-common_0.9+nmu1 cli-common-dev_0.9+nmu1 coreutils_8.28-1ubuntu1 cpp_4:7.3.0-3ubuntu2 cpp-7_7.3.0-16ubuntu3 dash_0.5.8-2.10 debconf_1.5.66 debhelper_11.1.6ubuntu1 debianutils_4.8.4 dh-autoreconf_17 dh-strip-nondeterminism_0.040-1.1~build1 diffutils_1:3.6-1 dmsetup_2:1.02.145-4.1ubuntu3 dpkg_1.19.0.5ubuntu2 dpkg-dev_1.19.0.5ubuntu2 e2fslibs_1.44.1-1 e2fsprogs_1.44.1-1 fakeroot_1.22-2ubuntu1 fdisk_2.31.1-0.4ubuntu3 file_1:5.32-2 findutils_4.6.0+git+20170828-2 fontconfig-config_2.12.6-0ubuntu2 fonts-dejavu-core_2.37-1 g++_4:7.3.0-3ubuntu2 g++-7_7.3.0-16ubuntu3 gcc_4:7.3.0-3ubuntu2 gcc-7_7.3.0-16ubuntu3 gcc-7-base_7.3.0-16ubuntu3 gcc-8-base_8-20180414-1ubuntu2 gettext_0.19.8.1-6 gettext-base_0.19.8.1-6 gpg_2.2.4-1ubuntu1 gpg-agent_2.2.4-1ubuntu1 gpgconf_2.2.4-1ubuntu1 gpgv_2.2.4-1ubuntu1 grep_3.1-2 groff-base_1.22.3-10 gzip_1.6-5ubuntu1 hostname_3.20 init_1.51 init-system-helpers_1.51 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3build1 libapparmor1_2.12-4ubuntu5 libapt-pkg5.0_1.6.1 libarchive-zip-perl_1.60-1 libargon2-0_0~20161029-1.1 libasan4_7.3.0-16ubuntu3 libassuan0_2.5.1-2 libatomic1_8-20180414-1ubuntu2 libattr1_1:2.4.47-2build1 libaudit-common_1:2.8.2-1ubuntu1 libaudit1_1:2.8.2-1ubuntu1 libbinutils_2.30-15ubuntu1 libblkid1_2.31.1-0.4ubuntu3 libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1 libbsd0_0.8.7-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.27-3ubuntu1 libc-dev-bin_2.27-3ubuntu1 libc6_2.27-3ubuntu1 libc6-dev_2.27-3ubuntu1 libcairo2_1.15.10-2 libcap-ng0_0.7.7-3.1 libcap2_1:2.25-1.2 libcc1-0_8-20180414-1ubuntu2 libcilkrts5_7.3.0-16ubuntu3 libcom-err2_1.44.1-1 libcomerr2_1.44.1-1 libcroco3_0.6.12-2 libcryptsetup12_2:2.0.2-1ubuntu1 libdb5.3_5.3.28-13.1ubuntu1 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.145-4.1ubuntu3 libdpkg-perl_1.19.0.5ubuntu2 libencode-locale-perl_1.05-1 libexif12_0.6.21-4 libexpat1_2.2.5-3 libext2fs2_1.44.1-1 libfakeroot_1.22-2ubuntu1 libfdisk1_2.31.1-0.4ubuntu3 libffi6_3.2.1-8 libfile-listing-perl_6.04-1 libfile-stripnondeterminism-perl_0.040-1.1~build1 libfontconfig1_2.12.6-0ubuntu2 libfreetype6_2.8.1-2ubuntu2 libgcc-7-dev_7.3.0-16ubuntu3 libgcc1_1:8-20180414-1ubuntu2 libgcrypt20_1.8.1-4ubuntu1 libgdbm-compat4_1.14.1-6 libgdbm5_1.14.1-6 libgdiplus_4.2-2 libgif7_5.1.4-2 libglib2.0-0_2.56.1-2ubuntu1 libgmp10_2:6.1.2+dfsg-2 libgnutls30_3.5.18-1ubuntu1 libgomp1_8-20180414-1ubuntu2 libgpg-error0_1.27-6 libhogweed4_3.4-1 libhtml-parser-perl_3.72-3build1 libhtml-tagset-perl_3.20-3 libhtml-tree-perl_5.07-1 libhttp-cookies-perl_6.04-1 libhttp-date-perl_6.02-1 libhttp-message-perl_6.14-1 libhttp-negotiate-perl_6.00-2 libicu60_60.2-3ubuntu3 libidn11_1.33-2.1ubuntu1 libidn2-0_2.0.4-1.1build2 libio-html-perl_1.001-1 libio-socket-ssl-perl_2.056-1 libip4tc0_1.6.1-2ubuntu2 libisl19_0.19-1 libitm1_8-20180414-1ubuntu2 libjbig0_2.1-3.1build1 libjpeg-turbo8_1.5.2-0ubuntu5 libjpeg8_8c-2ubuntu8 libjson-c3_0.12.1-1.3 libkmod2_24-1ubuntu3 liblockfile-bin_1.14-1.1 liblockfile1_1.14-1.1 liblsan0_8-20180414-1ubuntu2 liblwp-mediatypes-perl_6.02-1 liblwp-protocol-https-perl_6.07-2 liblz4-1_0.0~r131-2ubuntu3 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.32-2 libmagic1_1:5.32-2 libmono-2.0-dev_4.6.2.7+dfsg-1ubuntu1 libmono-accessibility4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-cairo4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-cecil-private-cil_4.6.2.7+dfsg-1ubuntu1 libmono-cil-dev_4.6.2.7+dfsg-1ubuntu1 libmono-codecontracts4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-compilerservices-symbolwriter4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-corlib4.5-cil_4.6.2.7+dfsg-1ubuntu1 libmono-cscompmgd0.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-csharp4.0c-cil_4.6.2.7+dfsg-1ubuntu1 libmono-custommarshalers4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-data-tds4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-db2-1.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-debugger-soft4.0a-cil_4.6.2.7+dfsg-1ubuntu1 libmono-http4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-i18n-cjk4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-i18n-mideast4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-i18n-other4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-i18n-rare4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-i18n-west4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-i18n4.0-all_4.6.2.7+dfsg-1ubuntu1 libmono-i18n4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-ldap4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-management4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-messaging-rabbitmq4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-messaging4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-microsoft-build-engine4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-microsoft-build-framework4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-microsoft-build-tasks-v4.0-4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-microsoft-build-utilities-v4.0-4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-microsoft-build4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-microsoft-csharp4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-microsoft-visualc10.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-microsoft-web-infrastructure1.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-oracle4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-parallel4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-peapi4.0a-cil_4.6.2.7+dfsg-1ubuntu1 libmono-posix4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-rabbitmq4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-relaxng4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-security4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-sharpzip4.84-cil_4.6.2.7+dfsg-1ubuntu1 libmono-simd4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-smdiagnostics0.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-sqlite4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-componentmodel-composition4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-componentmodel-dataannotations4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-configuration-install4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-configuration4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-core4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-data-datasetextensions4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-data-entity4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-data-linq4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-data-services-client4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-data-services4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-data4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-deployment4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-design4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-drawing-design4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-drawing4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-dynamic4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-enterpriseservices4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-identitymodel-selectors4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-identitymodel4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-io-compression-filesystem4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-io-compression4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-json-microsoft4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-json4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-ldap-protocols4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-ldap4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-management4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-messaging4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-net-http-formatting4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-net-http-webrequest4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-net-http4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-net4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-numerics-vectors4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-numerics4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-reactive-core2.2-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-reactive-debugger2.2-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-reactive-experimental2.2-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-reactive-interfaces2.2-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-reactive-linq2.2-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-reactive-observable-aliases0.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-reactive-platformservices2.2-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-reactive-providers2.2-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-reactive-runtime-remoting2.2-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-reactive-windows-forms2.2-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-reactive-windows-threading2.2-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-reflection-context4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-runtime-caching4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-runtime-durableinstancing4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-runtime-interopservices-runtimeinformation4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-runtime-serialization-formatters-soap4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-runtime-serialization4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-runtime4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-security4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-servicemodel-activation4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-servicemodel-discovery4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-servicemodel-internals0.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-servicemodel-routing4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-servicemodel-web4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-servicemodel4.0a-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-serviceprocess4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-threading-tasks-dataflow4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-transactions4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-abstractions4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-applicationservices4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-dynamicdata4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-extensions-design4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-extensions4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-http-selfhost4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-http-webhost4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-http4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-mobile4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-mvc3.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-razor2.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-regularexpressions4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-routing4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-services4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-webpages-deployment2.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-webpages-razor2.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web-webpages2.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-web4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-windows-forms-datavisualization4.0a-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-windows-forms4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-windows4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-workflow-activities4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-workflow-componentmodel4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-workflow-runtime4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-xaml4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-xml-linq4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-xml-serialization4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system-xml4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-system4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-tasklets4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-webbrowser4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-webmatrix-data4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-windowsbase4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmono-xbuild-tasks4.0-cil_4.6.2.7+dfsg-1ubuntu1 libmonoboehm-2.0-1_4.6.2.7+dfsg-1ubuntu1 libmonosgen-2.0-1_4.6.2.7+dfsg-1ubuntu1 libmonosgen-2.0-dev_4.6.2.7+dfsg-1ubuntu1 libmount1_2.31.1-0.4ubuntu3 libmpc3_1.1.0-1 libmpfr6_4.0.1-1 libmpx2_8-20180414-1ubuntu2 libncurses5_6.1-1ubuntu1 libncursesw5_6.1-1ubuntu1 libnet-http-perl_6.17-1 libnet-ssleay-perl_1.84-1build1 libnettle6_3.4-1 libnpth0_1.5-3 libnunit-cil-dev_2.6.4+dfsg-1 libnunit-console-runner2.6.3-cil_2.6.4+dfsg-1 libnunit-core-interfaces2.6.3-cil_2.6.4+dfsg-1 libnunit-core2.6.3-cil_2.6.4+dfsg-1 libnunit-framework2.6.3-cil_2.6.4+dfsg-1 libnunit-mocks2.6.3-cil_2.6.4+dfsg-1 libnunit-util2.6.3-cil_2.6.4+dfsg-1 libp11-kit0_0.23.9-2 libpam-modules_1.1.8-3.6ubuntu2 libpam-modules-bin_1.1.8-3.6ubuntu2 libpam-runtime_1.1.8-3.6ubuntu2 libpam0g_1.1.8-3.6ubuntu2 libpcre3_2:8.39-9 libperl5.26_5.26.1-6 libpipeline1_1.5.0-1 libpixman-1-0_0.34.0-2 libpng16-16_1.6.34-1 libprocps6_2:3.3.12-3ubuntu1 libquadmath0_8-20180414-1ubuntu2 libreadline7_7.0-3 libseccomp2_2.3.1-2.1ubuntu4 libselinux1_2.7-2build2 libsemanage-common_2.7-2build2 libsemanage1_2.7-2build2 libsepol1_2.7-1 libsigsegv2_2.12-1 libslang2_2.3.1a-3ubuntu1 libsmartcols1_2.31.1-0.4ubuntu3 libsqlite3-0_3.22.0-1 libss2_1.44.1-1 libssl1.1_1.1.0g-2ubuntu4 libstdc++-7-dev_7.3.0-16ubuntu3 libstdc++6_8-20180414-1ubuntu2 libsystemd0_237-3ubuntu10 libtasn1-6_4.13-2 libtiff5_4.0.9-5 libtimedate-perl_2.3000-2 libtinfo5_6.1-1ubuntu1 libtool_2.4.6-2 libtry-tiny-perl_0.30-1 libtsan0_8-20180414-1ubuntu2 libubsan0_7.3.0-16ubuntu3 libudev1_237-3ubuntu10 libunistring2_0.9.9-0ubuntu1 liburi-perl_1.73-1 libusb-0.1-4_2:0.1.12-31 libuuid1_2.31.1-0.4ubuntu3 libwww-perl_6.31-1 libwww-robotrules-perl_6.01-1 libx11-6_2:1.6.4-3 libx11-data_2:1.6.4-3 libxau6_1:1.0.8-1 libxcb-render0_1.13-1 libxcb-shm0_1.13-1 libxcb1_1.13-1 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.3-1 libxml-dom-perl_1.44-2 libxml-parser-perl_2.44-2build3 libxml-perl_0.08-2 libxml-regexp-perl_0.04-1 libxml2_2.9.4+dfsg1-6.1ubuntu1 libxrender1_1:0.9.10-1 libzstd1_1.3.3+dfsg-2ubuntu1 linux-libc-dev_4.15.0-20.21 lockfile-progs_0.1.17build1 login_1:4.5-1ubuntu1 lsb-base_9.20170808ubuntu1 m4_1.4.18-1 make_4.1-9.1ubuntu1 man-db_2.8.3-2 mawk_1.3.3-17ubuntu3 mono-4.0-gac_4.6.2.7+dfsg-1ubuntu1 mono-devel_4.6.2.7+dfsg-1ubuntu1 mono-gac_4.6.2.7+dfsg-1ubuntu1 mono-mcs_4.6.2.7+dfsg-1ubuntu1 mono-reference-assemblies-4.0_3.12.1+dfsg-2 mono-runtime_4.6.2.7+dfsg-1ubuntu1 mono-runtime-common_4.6.2.7+dfsg-1ubuntu1 mono-runtime-sgen_4.6.2.7+dfsg-1ubuntu1 mono-utils_4.6.2.7+dfsg-1ubuntu1 mono-xbuild_4.6.2.7+dfsg-1ubuntu1 mount_2.31.1-0.4ubuntu3 multiarch-support_2.27-3ubuntu1 ncurses-base_6.1-1ubuntu1 ncurses-bin_6.1-1ubuntu1 netbase_5.4 openssl_1.1.0g-2ubuntu4 optipng_0.7.6-1.1 passwd_1:4.5-1ubuntu1 patch_2.7.6-2ubuntu1 perl_5.26.1-6 perl-base_5.26.1-6 perl-modules-5.26_5.26.1-6 perl-openssl-defaults_3build1 pinentry-curses_1.1.0-1 pkg-config_0.29.1-0ubuntu2 pkgbinarymangler_138 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 procps_2:3.3.12-3ubuntu1 readline-common_7.0-3 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-dafny-dummy_0.invalid.0 sed_4.4-2 sensible-utils_0.0.12 systemd_237-3ubuntu10 systemd-sysv_237-3ubuntu10 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.10ubuntu1 tar_1.29b-2 tzdata_2018d-1 ubuntu-keyring_2018.02.28 ucf_3.0038 util-linux_2.31.1-0.4ubuntu3 xz-utils_5.2.2-1.3 zlib1g_1:1.2.11.dfsg-0ubuntu2

+------------------------------------------------------------------------------+
| Build                                                                        |
+------------------------------------------------------------------------------+


Unpack source
-------------

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

Check disc space
----------------

Sufficient free space for build

User Environment
----------------

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=noautodbgsym parallel=4
HOME=/sbuild-nonexistent
LANG=C.UTF-8
LC_ALL=C.UTF-8
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-14557066
SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-14557066
SCHROOT_COMMAND=env
SCHROOT_GID=2501
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=build-PACKAGEBUILD-14557066
SCHROOT_UID=2001
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=unknown
USER=buildd
V=1

dpkg-buildpackage
-----------------

dpkg-buildpackage: info: source package dafny
dpkg-buildpackage: info: source version 1.9.7-1
dpkg-buildpackage: info: source distribution unstable
 dpkg-source --before-build dafny-1.9.7
dpkg-buildpackage: info: host architecture amd64
 fakeroot debian/rules clean
dh clean --with cli
   dh_clean
 debian/rules build
dh build --with cli
   dh_update_autotools_config
   debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
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 04/27/2018 06:44:30.
__________________________________________________
Project "/<<PKGBUILDDIR>>/Source/Dafny.sln" (default target(s)):
	Target ValidateSolutionConfiguration:
		Building solution configuration "Checked|Mixed Platforms".
	Target Build:
		Project "/<<PKGBUILDDIR>>/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 '/<<PKGBUILDDIR>>/Source/Dafny/bin/Checked/Basetypes' as a file, but the file does not exist
				Considered '/<<PKGBUILDDIR>>/Source/Dafny/bin/Checked/Basetypes.exe' as a file, but the file does not exist
				Considered '/<<PKGBUILDDIR>>/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 '/<<PKGBUILDDIR>>/Source/Dafny/bin/Checked/Core' as a file, but the file does not exist
				Considered '/<<PKGBUILDDIR>>/Source/Dafny/bin/Checked/Core.exe' as a file, but the file does not exist
				Considered '/<<PKGBUILDDIR>>/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 '/<<PKGBUILDDIR>>/Source/Dafny/bin/Checked/ParserHelper' as a file, but the file does not exist
				Considered '/<<PKGBUILDDIR>>/Source/Dafny/bin/Checked/ParserHelper.exe' as a file, but the file does not exist
				Considered '/<<PKGBUILDDIR>>/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 `<error>'
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 `<error>'
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 `<error>'
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 `<error>'
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 `<error>'
				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 "/<<PKGBUILDDIR>>/Source/Dafny/DafnyPipeline.csproj".-- FAILED
		Done building project "/<<PKGBUILDDIR>>/Source/Dafny/DafnyPipeline.csproj".-- FAILED
	Task "MSBuild" execution -- FAILED
	Done building target "Build" in project "/<<PKGBUILDDIR>>/Source/Dafny.sln".-- FAILED
Done building project "/<<PKGBUILDDIR>>/Source/Dafny.sln".-- FAILED

Build FAILED.

Warnings:

/<<PKGBUILDDIR>>/Source/Dafny.sln (default targets) ->
(Build target) ->
/<<PKGBUILDDIR>>/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:

/<<PKGBUILDDIR>>/Source/Dafny.sln (default targets) ->
(Build target) ->
/<<PKGBUILDDIR>>/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 `<error>'
	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 `<error>'
	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 `<error>'
	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 `<error>'
	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 `<error>'

	 3 Warning(s)
	 373 Error(s)

Time Elapsed 00:00:02.4759990
debian/rules:9: recipe for target 'override_dh_auto_build' failed
make[1]: *** [override_dh_auto_build] Error 1
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
debian/rules:5: recipe for target 'build' failed
make: *** [build] Error 2
dpkg-buildpackage: error: debian/rules build subprocess returned exit status 2
--------------------------------------------------------------------------------
Build finished at 20180427-0644

Finished
--------

E: Build failure (dpkg-buildpackage died)

+------------------------------------------------------------------------------+
| Cleanup                                                                      |
+------------------------------------------------------------------------------+

Purging /<<BUILDDIR>>
Not removing build depends: as requested

+------------------------------------------------------------------------------+
| Summary                                                                      |
+------------------------------------------------------------------------------+

Build Architecture: amd64
Build-Space: 24268
Build-Time: 4
Distribution: bionic
Fail-Stage: build
Host Architecture: amd64
Install-Time: 50
Job: dafny_1.9.7-1.dsc
Machine Architecture: amd64
Package: dafny
Package-Time: 56
Source-Version: 1.9.7-1
Space: 24268
Status: attempted
Version: 1.9.7-1
--------------------------------------------------------------------------------
Finished at 20180427-0644
Build needed 00:00:56, 24268k disc space
RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-14557066
Scanning for processes to kill in build PACKAGEBUILD-14557066
RUN: /usr/share/launchpad-buildd/slavebin/in-target umount-chroot --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-14557066
Stopping target for build PACKAGEBUILD-14557066
RUN: /usr/share/launchpad-buildd/slavebin/in-target remove-build --backend=chroot --series=bionic --arch=amd64 PACKAGEBUILD-14557066
Removing build PACKAGEBUILD-14557066