# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = dafny-bin-debug
pkgbase = dafny-bin
xdata = pkgtype=debug
pkgver = 4.11.0-1
pkgdesc = Detached debugging symbols for dafny-bin
url = https://github.com/dafny-lang/dafny
builddate = 1790157277
packager = Andreas Baumann <mail@andreasbaumann.cc>
size = 53344
arch = x86_64
license = MIT
