1:BUILD_BY[name] student4 1:BUILD_ENVIRONMENT[operating system 32 vs 64] ubuntu 64 1:DEPENDENCIES[list of dependencies with where to get them] Z3 - http://z3.codeplex.com/SourceControl/latest#README (Download the dependency as a zip file, using git clone ssems to fail) libnuma - apt-get Doxygen - http://www.stack.nl/~dimitri/doxygen/download.html ocaml - apt-get 1:END_DEPENDENCIES 1:NOTES[notes on attempted build] 1:END_NOTES VERIFY:ANALYSIS_BY[name] VERIFY:STATUS[unknown,needed,not_needed,started,finished] unknown VERIFY:COMMENT[string]