Ubuntu – Package Search Results -- coq-iris

» Ubuntu » Packages » Package Search Results

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

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

You have searched for source packages that names contain coq-iris in all suites, all sections, and all architectures. Found 1 matching packages.

Exact hits

Source Package coq-iris

noble (misc): 4.1.0-1build3 [universe]
Binary packages: libcoq-iris
oracular (misc): 4.2.0-3build3 [universe]
Binary packages: libcoq-iris
plucky (misc): 4.3.0-1build4 [universe]
Binary packages: libcoq-iris
questing (misc): 4.3.0-1build4 [universe]
Binary packages: libcoq-iris