i386 build of mcrl2 201007~rc1-1 in ubuntu natty RELEASE
created
Build status
Failed to build on kutjera (virtual)
- Started
- Finished (took 12 minutes, 12.5 seconds)
- buildlog (28.0 KiB)