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