Ubuntu
coq-record-update package

riscv64 build of coq-record-update 0.3.4-2 in ubuntu oracular PROPOSED

0.3.4-2
riscv64 build

created on 2024-05-03

Build status

Successfully built on bos03-riscv64-114

Started on 2024-05-05
Finished on 2024-05-05 (took 17 minutes, 21.0 seconds)
buildlog (24.5 KiB)
coq-record-update_0.3.4-2_riscv64.changes (1.1 KiB)
coq-record-update_0.3.4-2_riscv64.buildinfo (6.6 KiB)

Build details

Source:: coq-record-update - 0.3.4-2

Archive:: Primary Archive for Ubuntu

Series:: Oracular

Architecture:: riscv64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

libcoq-record-update 0.3.4-2

Built files

Files resulting from this build:

libcoq-record-update_0.3.4-2_riscv64.deb (15.2 KiB)