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