| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 26.04/resolute | universe | armhf | depqbf armhf | 5.01-3build1 | extra | 494.6 kB | solver for quantified boolean formulae | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | depqbf ppc64el | 5.01-3build1 | extra | 945.2 kB | solver for quantified boolean formulae | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | depqbf riscv64 | 5.01-3build1 | extra | 2.8 MB | solver for quantified boolean formulae | match | Details |
ubuntu | 26.04/resolute | universe | s390x | depqbf s390x | 5.01-3build1 | extra | 717.8 kB | solver for quantified boolean formulae | match | Details |
ubuntu | 26.04/resolute | universe | amd64v3 | depqbf amd64v3 | 5.01-3build1 | extra | 694.3 kB | solver for quantified boolean formulae | match | Details |
ubuntu | 26.04/resolute | universe | armhf | depqbf armhf | 5.01-3build1 | extra | 494.6 kB | solver for quantified boolean formulae | match | Details |
ubuntu | 26.04/resolute | universe | s390x | depqbf s390x | 5.01-3build1 | extra | 717.8 kB | solver for quantified boolean formulae | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | depqbf arm64 | 5.01-3build1 | extra | 729.1 kB | solver for quantified boolean formulae | match | Details |
ubuntu | 26.04/resolute | universe | amd64 | depqbf amd64 | 5.01-3build1 | extra | 693.2 kB | solver for quantified boolean formulae | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | depqbf arm64 | 5.01-3build1 | extra | 729.1 kB | solver for quantified boolean formulae | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | depqbf riscv64 | 5.01-3build1 | extra | 2.8 MB | solver for quantified boolean formulae | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | depqbf ppc64el | 5.01-3build1 | extra | 945.2 kB | solver for quantified boolean formulae | match | Details |