Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Versions for
dafny
37
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
4.10.0
-
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
Devuan 4.0
chimaera/main
dafny
2.3.0
misc
bbaren@mit.edu
Gentoo
dev-lang/dafny
4.10.0
dev-lang
dotnet@gentoo.org
Gentoo
dev-lang/dafny-bin
4.10.0
dev-lang
dotnet@gentoo.org
Homebrew
dafny
4.10.0
-
-
LiGurOS stable
dev-lang/dafny
4.10.0
dev-lang
dotnet@gentoo.org
LiGurOS stable
dev-lang/dafny-bin
4.10.0
dev-lang
dotnet@gentoo.org
LiGurOS stable
dev-lang/dafny
4.9.1
dev-lang
dotnet@gentoo.org
LiGurOS stable
dev-lang/dafny
4.9.0
dev-lang
dotnet@gentoo.org
LiGurOS stable
dev-lang/dafny
4.8.1
dev-lang
dotnet@gentoo.org
LiGurOS stable
dev-lang/dafny
4.8.0
dev-lang
dotnet@gentoo.org
LiGurOS develop
dev-lang/dafny-bin
4.10.0
dev-lang
dotnet@gentoo.org
LiGurOS develop
dev-lang/dafny
4.10.0
dev-lang
dotnet@gentoo.org
nixpkgs stable 22.11
Dafny
2.3.0
-
layus.on@gmail.com
nixpkgs stable 23.05
Dafny
4.0.0
-
layus.on@gmail.com
nixpkgs stable 23.11
Dafny
4.3.0
-
layus.on@gmail.com
nixpkgs stable 24.05
Dafny
4.6.0
-
layus.on@gmail.com
nixpkgs stable 24.11
Dafny
4.10.0
-
layus.on@gmail.com
nixpkgs stable 25.05
Dafny
4.10.0
-
layus.on@gmail.com
nixpkgs unstable
Dafny
4.10.0
-
layus.on@gmail.com
Pardus 21
main
dafny
2.3.0
misc
bbaren@mit.edu
Parrot
parrot/main
dafny
2.3.0
misc
bbaren@mit.edu
Parrot
parrot-updates/main
dafny
2.3.0
misc
bbaren@mit.edu
PureOS byzantium
byzantium/main
dafny
2.3.0
devel
bbaren@mit.edu
Raspbian Oldstable
main
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.10.0
-
-
Trisquel 10.0
nabia/main
dafny
2.3.0
universe/misc
bbaren@mit.edu
Trisquel 11.0
aramo/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 24.04
noble/universe
dafny
2.3.0
universe/misc
bbaren@mit.edu