Artifact dafny_2.3.0+dfsg-0.1

Metadata
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

Files

Name Size (bytes)
dafny_2.3.0+dfsg-0.1.debian.tar.xz 10.2 KB
dafny_2.3.0+dfsg-0.1.dsc 1.9 KB
dafny_2.3.0+dfsg.orig.tar.xz 2.1 MB

source package System - - 6 months, 2 weeks ago 5 months, 2 weeks
BETA