Ubuntu
maude package

arm64 build of maude 2.7-2build2 in ubuntu focal PROPOSED

2.7-2build2
arm64 build

created on 2020-03-22

Build status

Successfully built on bos02-arm64-033

Started on 2020-03-22
Finished on 2020-03-22 (took 22 minutes, 5.9 seconds)
buildlog (29.5 KiB)
maude_2.7-2build2_arm64.changes (1.3 KiB)
maude_2.7-2build2_arm64.buildinfo (5.5 KiB)

Build details

Source:: maude - 2.7-2build2

Archive:: Primary Archive for Ubuntu

Series:: Focal

Architecture:: arm64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

maude-dbgsym_2.7-2build2_arm64.ddeb (12.9 MiB)
maude_2.7-2build2_arm64.deb (721.1 KiB)