dafny package versions

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

Versions for dafny