Versions Packages Information History Badges Report

Versions for dafny

27 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.3.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
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
Homebrew dafny 3.3.0 - -
Kali Linux Rolling
main
dafny 2.3.0 misc bbaren@mit.edu
nixpkgs stable 21.05 Dafny 2.3.0 - layus.on@gmail.com
nixpkgs stable 21.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 LTS
lts/main
dafny 2.3.0 misc bbaren@mit.edu
Parrot LTS
lts-updates/main
dafny 2.3.0 misc bbaren@mit.edu
Parrot Rolling
rolling/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 3.2.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 21.04
hirsute/universe
dafny 2.3.0 universe/misc bbaren@mit.edu
Ubuntu 21.10
impish/universe
dafny 2.3.0 universe/misc bbaren@mit.edu
Ubuntu 22.04
jammy/universe
dafny 2.3.0 universe/misc bbaren@mit.edu