Ubuntu
maude package

amd64 build of maude 3.2-2 in ubuntu kinetic PROPOSED

3.2-2
amd64 build

created on 2022-07-13

Build status

Successfully built on lcy02-amd64-101

Started on 2022-07-13
Finished on 2022-07-13 (took 6 minutes, 7.7 seconds)
buildlog (33.5 KiB)
maude_3.2-2_amd64.changes (1.3 KiB)
maude_3.2-2_amd64.buildinfo (6.3 KiB)

Build details

Source:: maude - 3.2-2

Archive:: Primary Archive for Ubuntu

Series:: Kinetic

Architecture:: amd64

Pocket:: Proposed

Component:: universe

Binary packages

Binary packages produced by this build:

Built files

Files resulting from this build:

maude-dbgsym_3.2-2_amd64.ddeb (11.6 MiB)
maude_3.2-2_amd64.deb (1.0 MiB)