Ubuntu

riscv64 build of coq-hierarchy-builder 1.6.0-1build5 in ubuntu noble RELEASE

Copy archive test-rebuild-20240502-noble for Ubuntu Archive Test Rebuilds
riscv64 build of coq-hierarchy-builde...

created on 2024-05-02

Build status

Successfully built on bos03-riscv64-080

Started on 2024-05-10
Finished on 2024-05-10 (took 38 minutes, 59.7 seconds)
buildlog (34.5 KiB)
coq-hierarchy-builder_1.6.0-1build5_riscv64.changes (1.7 KiB)
coq-hierarchy-builder_1.6.0-1build5_riscv64.buildinfo (7.7 KiB)

Build details

Source:: coq-hierarchy-builder - 1.6.0-1build5

Archive:: Copy archive test-rebuild-20240502-noble for Ubuntu Archive Test Rebuilds

Series:: Noble

Architecture:: riscv64

Pocket:: Release

Component:: universe

Binary packages

Binary packages awaiting publication:

coq-hierarchy-builder-1.6.0-1build5
libcoq-hierarchy-builder-1.6.0-1build5

Built files

Files resulting from this build:

coq-hierarchy-builder_1.6.0-1build5_riscv64.deb (812.0 KiB)
libcoq-hierarchy-builder_1.6.0-1build5_riscv64.deb (261.6 KiB)