minisat2 binary package in Ubuntu Noble riscv64
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
Deleted | Ubuntu Noble riscv64 | release | universe | science | Extra | 1:2.2.1-5build2 | |||
|
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
Deleted | Ubuntu Noble riscv64 | release | universe | science | Extra | 1:2.2.1-5build2 | |||
|