Ubuntu – Package Search Results -- libcoq-reduction-effects

» Ubuntu » Packages » Package Search Results

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

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

You have searched for packages that names contain libcoq-reduction-effects in all suites, all sections, and all architectures. Found 1 matching packages.

Exact hits

Package libcoq-reduction-effects

noble (24.04LTS) (ocaml): reduction effects for Coq [universe]
0.1.5-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (ocaml): reduction effects for Coq [universe]
0.1.5-5build8: amd64 arm64 ppc64el riscv64 s390x
resolute (26.04LTS) (ocaml): reduction effects for Coq [universe]
0.1.5-5build11: amd64 arm64 ppc64el riscv64 s390x
stonking (ocaml): reduction effects for Coq [universe]
0.1.5-5build11: amd64 arm64 ppc64el riscv64 s390x