Ubuntu
maude package

armhf build of maude 2.7-1 in ubuntu xenial PROPOSED

2.7-1
armhf build

created on 2015-12-17

Build status

Successfully built on kishi16 (highbank)

Started on 2015-12-17
Finished on 2015-12-17 (took 22 minutes, 6.3 seconds)
buildlog (28.2 KiB)
maude_2.7-1_armhf.changes (996 bytes)

Build details

Source:: maude - 2.7-1

Archive:: Primary Archive for Ubuntu

Series:: Xenial

Architecture:: armhf

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

maude-dbgsym_2.7-1_armhf.ddeb (5.3 MiB)
maude_2.7-1_armhf.deb (611.9 KiB)