Ubuntu – Package Search Results -- boogie

» Ubuntu » Packages » Package Search Results

Search in specific suite: [jammy] [jammy-updates] [jammy-backports] [noble] [noble-updates] [noble-backports] [plucky] [plucky-updates] [plucky-backports] [questing] [questing-updates] [questing-backports] [resolute]

Limit search to a specific architecture: [i386] [amd64] [powerpc] [arm64] [armhf] [ppc64el] [riscv64] [s390x]

You have searched for packages that names contain boogie in all suites, all sections, and all architectures. Found 2 matching packages.

Exact hits

Package boogie

jammy (22.04LTS) (cli-mono): verifiable programming language (compiler) [universe]
2.4.1+dfsg-0.1: all
noble (24.04LTS) (cli-mono): verifiable programming language (compiler) [universe]
2.4.1+dfsg-0.1: all

Other hits

Package libboogie-cil

jammy (22.04LTS) (cli-mono): verifiable programming language (library) [universe]
2.4.1+dfsg-0.1: all
noble (24.04LTS) (cli-mono): verifiable programming language (library) [universe]
2.4.1+dfsg-0.1: all