riscv64 build of cadical 1.7.4-1 in ubuntu noble RELEASE
created
Build status
Successfully built on bos03-riscv64-069
- Started
- Finished (took 43 minutes, 53.3 seconds)
- buildlog (25.9 KiB)
- cadical_1.7.4-1_riscv64.changes (1.6 KiB)
- cadical_1.7.4-1_riscv64.buildinfo (6.0 KiB)
Build details
Binary packages
Binary packages awaiting publication:
- cadical-1.7.4-1
- libcadical-dev-1.7.4-1
Built files
Files resulting from this build:
- cadical_1.7.4-1_riscv64.deb (447.2 KiB)
- libcadical-dev_1.7.4-1_riscv64.deb (1.6 MiB)