architecture: all component: main package: dafny priority: optional section: devel srcpkg_name: dafny srcpkg_version: 2.3.0+dfsg-0.1 version: 2.3.0+dfsg-0.1