Ubuntu
mcrl2 package

armel build of mcrl2 201007~rc1-1 in ubuntu natty RELEASE

201007~rc1-1
armel build

created on 2010-10-15

Build status

Successfully built on crabapple (arm)

Started on 2010-10-22
Finished on 2010-10-23 (took 5 hours, 56 minutes, 47.8 seconds)
buildlog (69.4 KiB)
mcrl2_201007~rc1-1_armel.changes (1.2 KiB)

Build details

Source:: mcrl2 - 201007~rc1-1

Archive:: Primary Archive for Ubuntu

Series:: Natty

Architecture:: armel

Pocket:: Release

Component:: universe

Binary packages

Binary packages produced by this build:

mcrl2 201007~rc1-1

Built files

Files resulting from this build:

mcrl2_201007~rc1-1_armel.deb (11.1 MiB)