riscv64 build of minisat2 1:2.2.1-8build1 in ubuntu noble RELEASE
created
Build status
Successfully built
on bos03-riscv64-083
- Started
- Finished (took 29 minutes, 26.3 seconds)
- buildlog (26.3 KiB)
- minisat2_2.2.1-8build1_riscv64.changes (1.1 KiB)
- minisat2_2.2.1-8build1_riscv64.buildinfo (5.7 KiB)
Build details
- Source:
- minisat2 - 1:2.2.1-8build1
- Series:
- Noble
- Architecture:
- riscv64
- Pocket:
- Release
- Component:
- universe
Binary packages
Binary packages awaiting publication:
- minisat-1:2.2.1-8build1
