riscv64 build of mathcomp-algebra-tactics 1.2.3-1build5 in ubuntu noble RELEASE
created
Build status
Successfully built
on bos03-riscv64-015
- Started
- Finished (took 46 minutes, 24.2 seconds)
- buildlog (26.4 KiB)
- mathcomp-algebra-tactics_1.2.3-1build5_riscv64.changes (1.4 KiB)
- mathcomp-algebra-tactics_1.2.3-1build5_riscv64.buildinfo (7.6 KiB)
Binary packages
Binary packages awaiting publication:
- libcoq-mathcomp-algebra-tactics-1.2.3-1build5
Built files
Files resulting from this build:
