dsc_fields:
Architecture: all
Binary: dafny
Build-Depends: debhelper-compat (= 12), cli-common-dev, libboogie-cil, mono-devel
Checksums-Sha1:
- name: dafny_2.3.0+dfsg.orig.tar.xz
sha1: 4337332e9556890b531535556565fa57f6248b0f
size: '2167124'
- name: dafny_2.3.0+dfsg-0.1.debian.tar.xz
sha1: f6d54cf238ce937ea47beab41f5bc0c705ba2813
size: '10412'
Checksums-Sha256:
- name: dafny_2.3.0+dfsg.orig.tar.xz
sha256: 239664cd32619a6fe3f4c5695d7f82015d430eefceaa524846566ef80c93a50d
size: '2167124'
- name: dafny_2.3.0+dfsg-0.1.debian.tar.xz
sha256: 3ef40a8130cc1772871e56a335311a2e8407a86da4cab82b660d300ef17f1839
size: '10412'
Files:
- md5sum: 9106c3f8985bfa66fa641791c7ae5699
name: dafny_2.3.0+dfsg.orig.tar.xz
size: '2167124'
- md5sum: 17e393f6a9c52ca18b4d67afb86c17f0
name: dafny_2.3.0+dfsg-0.1.debian.tar.xz
size: '10412'
Format: 3.0 (quilt)
Homepage: https://research.microsoft.com/en-us/projects/dafny/
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Package-List: |2-
dafny deb devel optional arch=all
Source: dafny
Standards-Version: 4.4.1
Testsuite: autopkgtest
Vcs-Browser: https://salsa.debian.org/debian/dafny
Vcs-Git: https://salsa.debian.org/debian/dafny.git
Version: 2.3.0+dfsg-0.1
name: dafny
type: dpkg
version: 2.3.0+dfsg-0.1