boogie(1) on Linux
The text bc0dde857513, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it. The page shows this text now.
compiler for the Boogie programming language
The text bc0dde857513, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it. The page shows this text now.
compiler for the Boogie programming language