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

Build Dependencies

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