Format: 1.0 Source: dafny Binary: dafny Architecture: all Version: 2.3.0+dfsg-0.1 Checksums-Md5: d0e6b5a1a420c046e6e191d2e83162ca 489744 dafny_2.3.0+dfsg-0.1_all.deb Checksums-Sha1: 5d4161fd3981d83e10dc94c4f373dd95d089ddc7 489744 dafny_2.3.0+dfsg-0.1_all.deb Checksums-Sha256: ec0ff6e5f7dae285badb2f0672f9cec71097f72ee4163b4f11fe0ef2fdc690b8 489744 dafny_2.3.0+dfsg-0.1_all.deb Build-Origin: Debian Build-Architecture: armhf Build-Kernel-Version: 6.1.0-10-armmp #1 SMP Debian 6.1.38-2 (2023-07-27) Build-Date: Sun, 06 Aug 2023 22:29:28 -1200 Build-Path: /build/1st/dafny-2.3.0+dfsg Installed-Build-Depends: autoconf (= 2.71-3), automake (= 1:1.16.5-1.3), autopoint (= 0.21-13), autotools-dev (= 20220109.1), base-files (= 13), base-passwd (= 3.6.1), bash (= 5.2.15-2+b4), binutils (= 2.41-3), binutils-arm-linux-gnueabihf (= 2.41-3), binutils-common (= 2.41-3), bsdextrautils (= 2.39.1-3), bsdutils (= 1:2.39.1-3), build-essential (= 12.10), bzip2 (= 1.0.8-5+b1), ca-certificates (= 20230311), ca-certificates-mono (= 6.8.0.105+dfsg-3.3), cli-common (= 0.10+nmu1), cli-common-dev (= 0.10+nmu1), coreutils (= 9.1-1), cpp (= 4:13.1.0-4), cpp-13 (= 13.2.0-1), dash (= 0.5.12-6), debconf (= 1.5.82), debhelper (= 13.11.4), debianutils (= 5.8-1), dh-autoreconf (= 20), dh-strip-nondeterminism (= 1.13.1-1), diffutils (= 1:3.8-4), dpkg (= 1.21.22), dpkg-dev (= 1.21.22), dwz (= 0.15-1), file (= 1:5.44-3), findutils (= 4.9.0-5), fontconfig (= 2.14.1-4), fontconfig-config (= 2.14.1-4), fonts-dejavu-core (= 2.37-6), g++ (= 4:13.1.0-4), g++-13 (= 13.2.0-1), gcc (= 4:13.1.0-4), gcc-13 (= 13.2.0-1), gcc-13-base (= 13.2.0-1), gettext (= 0.21-13), gettext-base (= 0.21-13), grep (= 3.11-2), groff-base (= 1.23.0-2), gzip (= 1.12-1), hostname (= 3.23+nmu1), init-system-helpers (= 1.65.2), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.1-3), libarchive-zip-perl (= 1.68-1), libasan8 (= 13.2.0-1), libatomic1 (= 13.2.0-1), libattr1 (= 1:2.5.1-4), libaudit-common (= 1:3.1.1-1), libaudit1 (= 1:3.1.1-1), libbinutils (= 2.41-3), libblkid1 (= 2.39.1-3), libboogie-cil (= 2.4.1+dfsg-0.1), libbrotli1 (= 1.0.9-2+b6), libbsd0 (= 0.11.7-4), libbz2-1.0 (= 1.0.8-5+b1), libc-bin (= 2.37-7), libc-dev-bin (= 2.37-7), libc6 (= 2.37-7), libc6-dev (= 2.37-7), libcairo2 (= 1.16.0-7), libcap-ng0 (= 0.8.3-1+b3), libcap2 (= 1:2.66-4), libcc1-0 (= 13.2.0-1), libclone-perl (= 0.46-1), libcom-err2 (= 1.47.0-2), libcrypt-dev (= 1:4.4.36-2), libcrypt1 (= 1:4.4.36-2), libctf-nobfd0 (= 2.41-3), libctf0 (= 2.41-3), libdatrie1 (= 0.2.13-2+b1), libdb5.3 (= 5.3.28+dfsg2-2), libdebconfclient0 (= 0.270), libdebhelper-perl (= 13.11.4), libdeflate0 (= 1.14-1), libdpkg-perl (= 1.21.22), libelf1 (= 0.189-4), libencode-locale-perl (= 1.05-3), libexif12 (= 0.6.24-1+b1), libexpat1 (= 2.5.0-2), libffi8 (= 3.4.4-1), libfile-listing-perl (= 6.15-1), libfile-stripnondeterminism-perl (= 1.13.1-1), libfontconfig1 (= 2.14.1-4), libfreetype6 (= 2.13.0+dfsg-1), libfribidi0 (= 1.0.13-3), libgcc-13-dev (= 13.2.0-1), libgcc-s1 (= 13.2.0-1), libgcrypt20 (= 1.10.2-2), libgdbm-compat4 (= 1.23-3), libgdbm6 (= 1.23-3), libgdiplus (= 6.1+dfsg-1+b1), libgif7 (= 5.2.1-2.5), libglib2.0-0 (= 2.77.1-2), libgmp10 (= 2:6.3.0+dfsg-2), libgomp1 (= 13.2.0-1), libgpg-error0 (= 1.46-1), libgraphite2-3 (= 1.3.14-1), libgssapi-krb5-2 (= 1.20.1-2), libharfbuzz0b (= 8.0.1-1), libhtml-parser-perl (= 3.81-1), libhtml-tagset-perl (= 3.20-6), libhtml-tree-perl (= 5.07-3), libhttp-cookies-perl (= 6.10-1), libhttp-date-perl (= 6.05-2), libhttp-message-perl (= 6.44-2), libhttp-negotiate-perl (= 6.01-2), libicu72 (= 72.1-3), libio-html-perl (= 1.004-3), libio-socket-ssl-perl (= 2.083-1), libisl23 (= 0.26-3), libjansson4 (= 2.14-2), libjbig0 (= 2.1-6.1), libjpeg62-turbo (= 1:2.1.5-2), libk5crypto3 (= 1.20.1-2), libkeyutils1 (= 1.6.3-2), libkrb5-3 (= 1.20.1-2), libkrb5support0 (= 1.20.1-2), liblerc4 (= 4.0.0+ds-2), liblwp-mediatypes-perl (= 6.04-2), liblwp-protocol-https-perl (= 6.11-1), liblz4-1 (= 1.9.4-1), liblzma5 (= 5.4.1-0.2), libmagic-mgc (= 1:5.44-3), libmagic1 (= 1:5.44-3), libmd0 (= 1.1.0-1), libmono-2.0-dev (= 6.8.0.105+dfsg-3.3), libmono-accessibility4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-cairo4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-cecil-private-cil (= 6.8.0.105+dfsg-3.3), libmono-cil-dev (= 6.8.0.105+dfsg-3.3), libmono-codecontracts4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-compilerservices-symbolwriter4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-corlib4.5-cil (= 6.8.0.105+dfsg-3.3), libmono-corlib4.5-dll (= 6.8.0.105+dfsg-3.3), libmono-cscompmgd0.0-cil (= 6.8.0.105+dfsg-3.3), libmono-csharp4.0c-cil (= 6.8.0.105+dfsg-3.3), libmono-custommarshalers4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-data-tds4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-db2-1.0-cil (= 6.8.0.105+dfsg-3.3), libmono-debugger-soft4.0a-cil (= 6.8.0.105+dfsg-3.3), libmono-http4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-i18n-cjk4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-i18n-mideast4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-i18n-other4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-i18n-rare4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-i18n-west4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-i18n4.0-all (= 6.8.0.105+dfsg-3.3), libmono-i18n4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-ldap4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-management4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-messaging-rabbitmq4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-messaging4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-microsoft-build-engine4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-microsoft-build-framework4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-microsoft-build-tasks-v4.0-4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-microsoft-build-utilities-v4.0-4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-microsoft-build4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-microsoft-csharp4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-microsoft-visualc10.0-cil (= 6.8.0.105+dfsg-3.3), libmono-microsoft-web-infrastructure1.0-cil (= 6.8.0.105+dfsg-3.3), libmono-oracle4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-parallel4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-peapi4.0a-cil (= 6.8.0.105+dfsg-3.3), libmono-posix4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-rabbitmq4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-relaxng4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-security4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-sharpzip4.84-cil (= 6.8.0.105+dfsg-3.3), libmono-simd4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-smdiagnostics0.0-cil (= 6.8.0.105+dfsg-3.3), libmono-sqlite4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-componentmodel-composition4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-componentmodel-dataannotations4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-configuration-install4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-configuration4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-core4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-data-datasetextensions4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-data-entity4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-data-linq4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-data-services-client4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-data-services4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-data4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-deployment4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-design4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-drawing-design4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-drawing4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-dynamic4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-enterpriseservices4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-identitymodel-selectors4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-identitymodel4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-io-compression-filesystem4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-io-compression4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-json-microsoft4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-json4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-ldap-protocols4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-ldap4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-management4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-messaging4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-net-http-formatting4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-net-http-webrequest4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-net-http4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-net4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-numerics-vectors4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-numerics4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-reactive-core2.2-cil (= 6.8.0.105+dfsg-3.3), libmono-system-reactive-debugger2.2-cil (= 6.8.0.105+dfsg-3.3), libmono-system-reactive-experimental2.2-cil (= 6.8.0.105+dfsg-3.3), libmono-system-reactive-interfaces2.2-cil (= 6.8.0.105+dfsg-3.3), libmono-system-reactive-linq2.2-cil (= 6.8.0.105+dfsg-3.3), libmono-system-reactive-observable-aliases0.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-reactive-platformservices2.2-cil (= 6.8.0.105+dfsg-3.3), libmono-system-reactive-providers2.2-cil (= 6.8.0.105+dfsg-3.3), libmono-system-reactive-runtime-remoting2.2-cil (= 6.8.0.105+dfsg-3.3), libmono-system-reactive-windows-forms2.2-cil (= 6.8.0.105+dfsg-3.3), libmono-system-reactive-windows-threading2.2-cil (= 6.8.0.105+dfsg-3.3), libmono-system-reflection-context4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-runtime-caching4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-runtime-durableinstancing4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-runtime-serialization-formatters-soap4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-runtime-serialization4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-runtime4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-security4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-servicemodel-activation4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-servicemodel-discovery4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-servicemodel-internals0.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-servicemodel-routing4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-servicemodel-web4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-servicemodel4.0a-cil (= 6.8.0.105+dfsg-3.3), libmono-system-serviceprocess4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-threading-tasks-dataflow4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-transactions4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-abstractions4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-applicationservices4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-dynamicdata4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-extensions-design4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-extensions4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-http-selfhost4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-http-webhost4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-http4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-mobile4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-mvc3.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-razor2.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-regularexpressions4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-routing4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-services4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-webpages-deployment2.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-webpages-razor2.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web-webpages2.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-web4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-windows-forms-datavisualization4.0a-cil (= 6.8.0.105+dfsg-3.3), libmono-system-windows-forms4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-windows4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-workflow-activities4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-workflow-componentmodel4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-workflow-runtime4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-xaml4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-xml-linq4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-xml-serialization4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system-xml4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-system4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-tasklets4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-webbrowser4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-webmatrix-data4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-windowsbase4.0-cil (= 6.8.0.105+dfsg-3.3), libmono-xbuild-tasks4.0-cil (= 6.8.0.105+dfsg-3.3), libmonoboehm-2.0-1 (= 6.8.0.105+dfsg-3.3), libmonosgen-2.0-1 (= 6.8.0.105+dfsg-3.3), libmonosgen-2.0-dev (= 6.8.0.105+dfsg-3.3), libmount1 (= 2.39.1-3), libmpc3 (= 1.3.1-1), libmpfr6 (= 4.2.0-1), libnet-http-perl (= 6.22-1), libnet-ssleay-perl (= 1.92-2+b1), libnsl-dev (= 1.3.0-2), libnsl2 (= 1.3.0-2), libnunit-cil-dev (= 2.6.4+dfsg-1.1), libnunit-console-runner2.6.3-cil (= 2.6.4+dfsg-1.1), libnunit-core-interfaces2.6.3-cil (= 2.6.4+dfsg-1.1), libnunit-core2.6.3-cil (= 2.6.4+dfsg-1.1), libnunit-framework2.6.3-cil (= 2.6.4+dfsg-1.1), libnunit-mocks2.6.3-cil (= 2.6.4+dfsg-1.1), libnunit-util2.6.3-cil (= 2.6.4+dfsg-1.1), libpam-modules (= 1.5.2-6), libpam-modules-bin (= 1.5.2-6), libpam-runtime (= 1.5.2-6), libpam0g (= 1.5.2-6), libpango-1.0-0 (= 1.50.14+ds-1), libpangocairo-1.0-0 (= 1.50.14+ds-1), libpangoft2-1.0-0 (= 1.50.14+ds-1), libpcre2-8-0 (= 10.42-2), libperl5.36 (= 5.36.0-7), libpipeline1 (= 1.5.7-1), libpixman-1-0 (= 0.42.2-1), libpkgconf3 (= 1.8.1-1), libpng16-16 (= 1.6.40-1), libseccomp2 (= 2.5.4-1+b3), libselinux1 (= 3.5-1), libsframe1 (= 2.41-3), libsmartcols1 (= 2.39.1-3), libsqlite3-0 (= 3.42.0-1), libssl3 (= 3.0.10-1), libstdc++-13-dev (= 13.2.0-1), libstdc++6 (= 13.2.0-1), libsub-override-perl (= 0.09-4), libsystemd0 (= 254-1), libthai-data (= 0.1.29-1), libthai0 (= 0.1.29-1), libtiff6 (= 4.5.1+git230720-1), libtimedate-perl (= 2.3300-2), libtinfo6 (= 6.4+20230625-2), libtirpc-common (= 1.3.3+ds-1), libtirpc-dev (= 1.3.3+ds-1), libtirpc3 (= 1.3.3+ds-1), libtool (= 2.4.7-7), libtry-tiny-perl (= 0.31-2), libubsan1 (= 13.2.0-1), libuchardet0 (= 0.0.7-1), libudev1 (= 254-1), libunistring2 (= 1.0-2), liburi-perl (= 5.19-2), libuuid1 (= 2.39.1-3), libwebp7 (= 1.2.4-0.2), libwww-perl (= 6.72-1), libwww-robotrules-perl (= 6.02-1), libx11-6 (= 2:1.8.6-1), libx11-data (= 2:1.8.6-1), libxau6 (= 1:1.0.9-1), libxcb-render0 (= 1.15-1), libxcb-shm0 (= 1.15-1), libxcb1 (= 1.15-1), libxdmcp6 (= 1:1.1.2-3), libxext6 (= 2:1.3.4-1+b1), libxml-dom-perl (= 1.46-2), libxml-parser-perl (= 2.46-4), libxml-perl (= 0.08-4), libxml-regexp-perl (= 0.04-1.1), libxml2 (= 2.9.14+dfsg-1.3), libxrender1 (= 1:0.9.10-1.1), libzstd1 (= 1.5.5+dfsg2-1), linux-libc-dev (= 6.4.4-2), login (= 1:4.13+dfsg1-1+b1), m4 (= 1.4.19-3), make (= 4.3-4.1), man-db (= 2.11.2-3), mawk (= 1.3.4.20230730-1), mono-4.0-gac (= 6.8.0.105+dfsg-3.3), mono-devel (= 6.8.0.105+dfsg-3.3), mono-gac (= 6.8.0.105+dfsg-3.3), mono-mcs (= 6.8.0.105+dfsg-3.3), mono-runtime (= 6.8.0.105+dfsg-3.3), mono-runtime-common (= 6.8.0.105+dfsg-3.3), mono-runtime-sgen (= 6.8.0.105+dfsg-3.3), mono-utils (= 6.8.0.105+dfsg-3.3), mono-xbuild (= 6.8.0.105+dfsg-3.3), ncurses-base (= 6.4+20230625-2), ncurses-bin (= 6.4+20230625-2), netbase (= 6.4), openssl (= 3.0.10-1), patch (= 2.7.6-7), perl (= 5.36.0-7), perl-base (= 5.36.0-7), perl-modules-5.36 (= 5.36.0-7), perl-openssl-defaults (= 7+b1), pkg-config (= 1.8.1-1), pkgconf (= 1.8.1-1), pkgconf-bin (= 1.8.1-1), po-debconf (= 1.0.21+nmu1), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-1), sensible-utils (= 0.0.20), sysvinit-utils (= 3.07-1), tar (= 1.34+dfsg-1.2), tzdata (= 2023c-7), usr-is-merged (= 35), util-linux (= 2.39.1-3), xz-utils (= 5.4.1-0.2), zlib1g (= 1:1.2.13.dfsg-1) Environment: DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3 " LANG="C" LC_ALL="C" SOURCE_DATE_EPOCH="1579033634"