Ubuntu
mcrl2 package

armhf build of mcrl2 201210.0-1 in ubuntu raring PROPOSED

201210.0-1
armhf build

created on 2012-10-28

Build status

Failed to build on alfirk

Started on 2012-10-31
Finished on 2012-10-31 (took 1 hour, 51 minutes, 35.0 seconds)
buildlog (26.9 KiB)

Build details

Source:: mcrl2 - 201210.0-1

Archive:: Primary Archive for Ubuntu

Series:: Raring

Architecture:: armhf

Pocket:: Proposed

Component:: universe