riscv64 build of spass 3.9-1.1 in ubuntu noble RELEASE
created
Build status
Successfully built
on bos03-riscv64-002
- Started
- Finished (took 43 minutes, 59.9 seconds)
- buildlog (26.5 KiB)
- spass_3.9-1.1_riscv64.changes (1.1 KiB)
- spass_3.9-1.1_riscv64.buildinfo (5.7 KiB)
Build details
Binary packages
Binary packages awaiting publication:
- spass-3.9-1.1