Source package dafny/2.3.0+dfsg-0.1 in crimson @ pureos

dafny - 2.3.0+dfsg-0.1 main

Versions in crimson: 2.3.0+dfsg-0.1
Maintainer: Benjamin Barenblat <bbaren [꩜] mit.edu>

Format: 3.0 (quilt)
Standards Version: 4.4.1
Architectures: all

Homepage Build Jobs VCS Browser

Owned Binaries

dafny all

Build Dependencies

debhelper-compat (= 12)
cli-common-dev
libboogie-cil
mono-devel

Files

Filename	Size	Checksum (SHA256)
dafny_2.3.0+dfsg-0.1.dsc	1.9 kB	`28566acdf347e815f57295eb2f08c2fd3db001aeac8cf1f6eef7e3a44a890880`
dafny_2.3.0+dfsg.orig.tar.xz	2.2 MB	`239664cd32619a6fe3f4c5695d7f82015d430eefceaa524846566ef80c93a50d`
dafny_2.3.0+dfsg-0.1.debian.tar.xz	10.4 kB	`3ef40a8130cc1772871e56a335311a2e8407a86da4cab82b660d300ef17f1839`