dafny-bin

Build times (auto-updated)

• x86_64: 1m31s (2026-09-23 09:56 UTC, MAKEFLAGS=-j6)

---

• Vendored under adapted/ 2026-09-23, user request (“build a local package dafny-git and publish it”). dafny-git’s actual AUR PKGBUILD turned out unusable – orphaned since 2021, built via mono+msbuild+nuget.exe against an ancient Dafny release; msbuild doesn’t even exist as a package anymore, and modern Dafny has long since moved to a plain dotnet-based build (Dafny.sln, DafnyCore, DafnyDriver, etc). Its build() also did raw git clone/wget calls outside source=(), which wouldn’t work in an isolated chroot regardless.
• Used dafny-bin instead (actively maintained on AUR, last updated 2025-08) – just unpacks a precompiled upstream release zip (dafny-4.11.0-x64-ubuntu-22.04.zip) and depends on dotnet-runtime, so none of dafny-git’s toolchain problems apply. Built + published cleanly first try, 4.11.0-1, x86_64.