riscv64 build of coq-reduction-effects 0.1.5-1build3 in ubuntu noble RELEASE
created
Build status
Successfully built on bos03-riscv64-097
- Started
- Finished (took 30 minutes, 13.1 seconds)
- buildlog (25.5 KiB)
- coq-reduction-effects_0.1.5-1build3_riscv64.changes (1.3 KiB)
- coq-reduction-effects_0.1.5-1build3_riscv64.buildinfo (7.1 KiB)
Binary packages
Binary packages awaiting publication:
- libcoq-reduction-effects-0.1.5-1build3
Built files
Files resulting from this build: