Ubuntu
maude package

arm64 build of maude 2.7-1 in ubuntu xenial PROPOSED

2.7-1
arm64 build

created on 2015-12-17

Build status

Successfully built on auburn (arm64)

Started on 2015-12-17
Finished on 2015-12-17 (took 15 minutes, 17.0 seconds)
buildlog (27.5 KiB)
maude_2.7-1_arm64.changes (995 bytes)

Build details

Source:: maude - 2.7-1

Archive:: Primary Archive for Ubuntu

Series:: Xenial

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-1_arm64.ddeb (5.5 MiB)
maude_2.7-1_arm64.deb (676.6 KiB)