riscv64 build of mathcomp-zify 1.5.0+2.0+8.16-1build5 in ubuntu noble RELEASE
created
Build status
Successfully built
on bos03-riscv64-084
- Started
- Finished (took 33 minutes, 52.8 seconds)
- buildlog (32.2 KiB)
- mathcomp-zify_1.5.0+2.0+8.16-1build5_riscv64.changes (1.3 KiB)
- mathcomp-zify_1.5.0+2.0+8.16-1build5_riscv64.buildinfo (7.8 KiB)
Binary packages
Binary packages awaiting publication:
- libcoq-mathcomp-zify-1.5.0+2.0+8.16-1build5
Built files
Files resulting from this build:
