15 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| AUR | dafny-git | v2.2.0.r19.g45af975d | - | crave@aur |
| AUR | dafny-bin | 2.2.0 | - | malet@aur |
|
Debian Unstable main |
dafny | 1.9.7 | misc | bbaren@mit.edu |
|
Deepin main |
dafny | 1.9.7 | misc | bbaren@mit.edu |
|
Devuan Unstable unstable/main |
dafny | 1.9.7 | misc | bbaren@mit.edu |
| Homebrew | dafny | 2.3.0 | - | - |
| Linuxbrew | dafny | 2.3.0 | - | - |
| nixpkgs stable | Dafny | 2.3.0 | - | layus.on@gmail.com |
| nixpkgs unstable | Dafny | 2.3.0 | - | layus.on@gmail.com |
|
Raspbian Oldstable main |
dafny | 1.9.7 | misc | bbaren@mit.edu |
|
Ubuntu 18.04 bionic/universe |
dafny | 1.9.7 | universe/misc | bbaren@mit.edu |
|
Ubuntu 18.10 cosmic/universe |
dafny | 1.9.7 | universe/misc | bbaren@mit.edu |
|
Ubuntu 19.04 disco/universe |
dafny | 1.9.7 | universe/misc | bbaren@mit.edu |
|
Ubuntu 19.10 eoan/universe |
dafny | 1.9.7 | universe/misc | bbaren@mit.edu |
|
Ubuntu 20.04 focal/universe |
dafny | 1.9.7 | universe/misc | bbaren@mit.edu |