Ubuntu
mathcomp-finmap package

riscv64 build of mathcomp-finmap 1.5.1-5 in ubuntu kinetic PROPOSED

1.5.1-5
riscv64 build

created on 2022-05-23

Build status

Successfully built on riscv64-qemu-lcy01-003

Started on 2022-05-23
Finished on 2022-05-23 (took 28 minutes, 1.4 seconds)
buildlog (17.7 KiB)
mathcomp-finmap_1.5.1-5_riscv64.changes (1.2 KiB)
mathcomp-finmap_1.5.1-5_riscv64.buildinfo (6.2 KiB)

Build details

Source:: mathcomp-finmap - 1.5.1-5

Archive:: Primary Archive for Ubuntu

Series:: Kinetic

Architecture:: riscv64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

libcoq-mathcomp-finmap 1.5.1-5

Built files

Files resulting from this build:

libcoq-mathcomp-finmap_1.5.1-5_riscv64.deb (771.8 KiB)