amd64 build of mcrl2 201007~rc1-1 in ubuntu natty RELEASE
created
Build status
Failed to build on papaya (virtual-64)
- Started
- Finished (took 15 minutes, 29.7 seconds)
- buildlog (22.0 KiB)