Ubuntu
maude package

arm64 build of maude 3.2-2 in ubuntu kinetic PROPOSED

3.2-2
arm64 build

created on 2022-07-13

Build status

Successfully built on bos02-arm64-032

Started on 2022-07-13
Finished on 2022-07-13 (took 26 minutes, 2.7 seconds)
buildlog (34.3 KiB)
maude_3.2-2_arm64.changes (1.3 KiB)
maude_3.2-2_arm64.buildinfo (6.3 KiB)

Build details

Source:: maude - 3.2-2

Archive:: Primary Archive for Ubuntu

Series:: Kinetic

Architecture:: arm64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

maude-dbgsym_3.2-2_arm64.ddeb (11.4 MiB)
maude_3.2-2_arm64.deb (981.6 KiB)