Versions Packages Information History Related Badges Report

Versions for boogie

32 package(s) known

Repository Package name Version Category Maintainer(s)
AUR boogie-git 0.r5030.8448ac1c - hnns@aur
Debian 11
bullseye/main		 boogie 2.4.1 misc bbaren@mit.edu
Debian 12
bookworm/main		 boogie 2.4.1 misc bbaren@mit.edu
Devuan 4.0
chimaera/main		 boogie 2.4.1 misc bbaren@mit.edu
Gentoo dev-lang/boogie 3.5.3 dev-lang dotnet@gentoo.org
Gentoo dev-lang/boogie 3.5.2 dev-lang dotnet@gentoo.org
Gentoo dev-lang/boogie 3.5.1 dev-lang dotnet@gentoo.org
LiGurOS stable dev-lang/boogie 3.5.1 dev-lang dotnet@gentoo.org
LiGurOS stable dev-lang/boogie 3.4.3 dev-lang dotnet@gentoo.org
LiGurOS develop dev-lang/boogie 3.5.3 dev-lang dotnet@gentoo.org
LiGurOS develop dev-lang/boogie 3.5.2 dev-lang dotnet@gentoo.org
LiGurOS develop dev-lang/boogie 3.5.1 dev-lang dotnet@gentoo.org
nixpkgs stable 22.11 Boogie 2.15.7 - taktoa@gmail.com
nixpkgs stable 23.05 Boogie 2.15.7 - taktoa@gmail.com
nixpkgs stable 23.11 Boogie 3.0.5 - taktoa@gmail.com
nixpkgs stable 24.05 Boogie 3.1.5 - taktoa@gmail.com
nixpkgs stable 24.11 Boogie 3.2.5 - taktoa@gmail.com
nixpkgs stable 25.05 Boogie 3.5.1 - taktoa@gmail.com
nixpkgs unstable Boogie 3.5.3 - taktoa@gmail.com
Pardus 21
main		 boogie 2.4.1 misc bbaren@mit.edu
Parrot
parrot-updates/main		 boogie 2.4.1 misc bbaren@mit.edu
Parrot
parrot/main		 boogie 2.4.1 misc bbaren@mit.edu
PureOS byzantium
byzantium/main		 boogie 2.4.1 cli-mono bbaren@mit.edu
Raspbian Oldstable
main		 boogie 2.4.1 misc bbaren@mit.edu
Raspbian Stable
main		 boogie 2.4.1 misc bbaren@mit.edu
Raspbian Testing
main		 boogie 2.4.1 misc bbaren@mit.edu
Trisquel 10.0
nabia/main		 boogie 2.4.1 universe/misc bbaren@mit.edu
Trisquel 11.0
aramo/main		 boogie 2.4.1 universe/misc bbaren@mit.edu
Ubuntu 18.04
bionic/universe		 boogie 2.3.0.61016+3.gbp1f2d6c1 universe/misc bbaren@mit.edu
Ubuntu 20.04
focal/universe		 boogie 2.4.1 universe/misc bbaren@mit.edu
Ubuntu 22.04
jammy/universe		 boogie 2.4.1 universe/misc bbaren@mit.edu
Ubuntu 24.04
noble/universe		 boogie 2.4.1 universe/misc bbaren@mit.edu