1:BUILD_BY[name] student0 1:BUILD_ENVIRONMENT[operating system 32 vs 64] ubuntu 32 1:DEPENDENCIES[list of dependencies with where to get them] cabal: sudo apt-get install cabal-install 1:END_DEPENDENCIES 1:NOTES[notes on attempted build] Source code obtained here: http://raml.tcs.ifi.lmu.de/source-code Code was cloned from git and built using the instructions: cabal configure && cabal build Please remember to update cabal before building. Otherwise an error may be produced. 1:END_NOTES VERIFY:ANALYSIS_BY[name] VERIFY:STATUS[unknown,needed,not_needed,started,finished] unknown VERIFY:COMMENT[string]