Ubuntu
maude package

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

2.7-2build2
amd64 build

created on 2020-03-22

Build status

Successfully built on lgw01-amd64-029

Started on 2020-03-22
Finished on 2020-03-22 (took 14 minutes, 57.8 seconds)
buildlog (29.4 KiB)
maude_2.7-2build2_amd64.changes (1.3 KiB)
maude_2.7-2build2_amd64.buildinfo (5.5 KiB)

Build details

Source:: maude - 2.7-2build2

Archive:: Primary Archive for Ubuntu

Series:: Focal

Architecture:: amd64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

maude-dbgsym_2.7-2build2_amd64.ddeb (13.1 MiB)
maude_2.7-2build2_amd64.deb (812.1 KiB)