all options
bullseye  ] [  bookworm  ]

Source Package: dafny (2.3.0+dfsg-0.1)

Links for dafny

Debian Resources:

Maintainer:

External Resources:

The following binary packages are built from this source package:
dafny
programming language with program correctness verifier

Other Packages Related to dafny

  • build-depends
  • build-depends-indep

Download dafny

FileSize (in kB)MD5 checksum
dafny_2.3.0+dfsg-0.1.dsc 1.9 kB eeeace130b80448c522243ce880cd9e1
dafny_2.3.0+dfsg.orig.tar.xz 2,116.3 kB 9106c3f8985bfa66fa641791c7ae5699
dafny_2.3.0+dfsg-0.1.debian.tar.xz 10.2 kB 17e393f6a9c52ca18b4d67afb86c17f0
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/debian/dafny.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/debian/dafny