Ubuntu
maude package

riscv64 build of maude 2.7-2build2 in ubuntu focal RELEASE

2.7-2build2
riscv64 build

created on 2020-04-02

Build status

Successfully built on riscv64-qemu-lcy01-085

Started on 2020-04-03
Finished on 2020-04-03 (took 1 hour, 58 minutes, 22.1 seconds)
buildlog (25.9 KiB)
maude_2.7-2build2_riscv64.changes (1.3 KiB)
maude_2.7-2build2_riscv64.buildinfo (5.3 KiB)

Build details

Source:: maude - 2.7-2build2

Archive:: Primary Archive for Ubuntu

Series:: Focal

Architecture:: riscv64

Pocket:: Release

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

maude-dbgsym_2.7-2build2_riscv64.ddeb (11.2 MiB)
maude_2.7-2build2_riscv64.deb (767.0 KiB)