| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 26.04/resolute | universe | armhf | lbt armhf | 1.2.2-7build1 | optional | 167.9 kB | converts from LTL formulas to Büchi automata | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | lbt ppc64el | 1.2.2-7build1 | optional | 170 kB | converts from LTL formulas to Büchi automata | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | lbt riscv64 | 1.2.2-7build1 | optional | 92.2 kB | converts from LTL formulas to Büchi automata | match | Details |
ubuntu | 26.04/resolute | universe | s390x | lbt s390x | 1.2.2-7build1 | optional | 92.2 kB | converts from LTL formulas to Büchi automata | match | Details |
ubuntu | 26.04/resolute | universe | amd64v3 | lbt amd64v3 | 1.2.2-7build1 | optional | 104.4 kB | converts from LTL formulas to Büchi automata | match | Details |
ubuntu | 26.04/resolute | universe | armhf | lbt armhf | 1.2.2-7build1 | optional | 167.9 kB | converts from LTL formulas to Büchi automata | match | Details |
ubuntu | 26.04/resolute | universe | s390x | lbt s390x | 1.2.2-7build1 | optional | 92.2 kB | converts from LTL formulas to Büchi automata | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | lbt arm64 | 1.2.2-7build1 | optional | 170 kB | converts from LTL formulas to Büchi automata | match | Details |
ubuntu | 26.04/resolute | universe | amd64 | lbt amd64 | 1.2.2-7build1 | optional | 100.4 kB | converts from LTL formulas to Büchi automata | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | lbt arm64 | 1.2.2-7build1 | optional | 170 kB | converts from LTL formulas to Büchi automata | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | lbt riscv64 | 1.2.2-7build1 | optional | 92.2 kB | converts from LTL formulas to Büchi automata | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | lbt ppc64el | 1.2.2-7build1 | optional | 170 kB | converts from LTL formulas to Büchi automata | match | Details |