Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Versions for
dafny
36
package(s) known
Repository
Package name
Version
Category
Maintainer(s)
AUR
dafny-git
v3.0.0.rpre.rrelease.r1.r256.rgd25ae257
-
crave@aur
AUR
dafny-bin
3.13.1
-
tchajed@aur
Debian 11
bullseye/main
dafny
2.3.0
misc
bbaren@mit.edu
Debian 12
bookworm/main
dafny
2.3.0
misc
bbaren@mit.edu
Debian Unstable
sid/main
dafny
2.3.0
misc
bbaren@mit.edu
Devuan 4.0
chimaera/main
dafny
2.3.0
misc
bbaren@mit.edu
Devuan Unstable
unstable/main
dafny
2.3.0
misc
bbaren@mit.edu
Gentoo
dev-lang/dafny-bin
3.12.0
dev-lang
dotnet@gentoo.org
Gentoo
dev-lang/dafny-bin
3.11.0
dev-lang
dotnet@gentoo.org
Gentoo
dev-lang/dafny-bin
3.10.0
dev-lang
dotnet@gentoo.org
Homebrew
dafny
4.0.0
-
-
Kali Linux Rolling
main
dafny
2.3.0
misc
bbaren@mit.edu
LiGurOS stable
dev-lang/dafny-bin
3.10.0
dev-lang
xgqt@gentoo.org
LiGurOS stable
dev-lang/dafny-bin
3.9.1
dev-lang
xgqt@gentoo.org
LiGurOS stable
dev-lang/dafny-bin
3.9.0
dev-lang
xgqt@gentoo.org
LiGurOS develop
dev-lang/dafny-bin
3.12.0
dev-lang
dotnet@gentoo.org
LiGurOS develop
dev-lang/dafny-bin
3.11.0
dev-lang
dotnet@gentoo.org
LiGurOS develop
dev-lang/dafny-bin
3.10.0
dev-lang
dotnet@gentoo.org
nixpkgs stable 21.11
Dafny
2.3.0
-
layus.on@gmail.com
nixpkgs stable 22.05
Dafny
2.3.0
-
layus.on@gmail.com
nixpkgs stable 22.11
Dafny
2.3.0
-
layus.on@gmail.com
nixpkgs unstable
Dafny
2.3.0
-
layus.on@gmail.com
Pardus 21
main
dafny
2.3.0
misc
bbaren@mit.edu
Parrot
parrot-updates/main
dafny
2.3.0
misc
bbaren@mit.edu
Parrot
parrot/main
dafny
2.3.0
misc
bbaren@mit.edu
PureOS landing
dafny
2.3.0
misc
bbaren@mit.edu
Raspbian Stable
main
dafny
2.3.0
misc
bbaren@mit.edu
Raspbian Testing
main
dafny
2.3.0
misc
bbaren@mit.edu
Scoop
main
dafny
4.0.0
-
-
Trisquel 9.0
etiona/main
dafny
1.9.7
universe/misc
bbaren@mit.edu
Trisquel 10.0
nabia/main
dafny
2.3.0
universe/misc
bbaren@mit.edu
Ubuntu 18.04
bionic/universe
dafny
1.9.7
universe/misc
bbaren@mit.edu
Ubuntu 20.04
focal/universe
dafny
2.3.0
universe/misc
bbaren@mit.edu
Ubuntu 22.04
jammy/universe
dafny
2.3.0
universe/misc
bbaren@mit.edu
Ubuntu 22.10
kinetic/universe
dafny
2.3.0
universe/misc
bbaren@mit.edu
Ubuntu 23.04
lunar/universe
dafny
2.3.0
universe/misc
bbaren@mit.edu