riscv64 build of minisat+ 1.0-4build1 in ubuntu noble RELEASE
created
Build status
Successfully built
on bos03-riscv64-078
- Started
- Finished (took 25 minutes, 58.6 seconds)
- buildlog (27.9 KiB)
- minisat+_1.0-4build1_riscv64.changes (1.1 KiB)
- minisat+_1.0-4build1_riscv64.buildinfo (5.8 KiB)
Build details
- Source:
- minisat+ - 1.0-4build1
- Series:
- Noble
- Architecture:
- riscv64
- Pocket:
- Release
- Component:
- universe
Binary packages
Binary packages awaiting publication:
- minisat+-1.0-4build1