1:BUILD_BY[name] student0
1:BUILD_ENVIRONMENT[operating system 32 vs 64]

1:END_BUILD_ENVIRONMENT
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



2:BUILD_BY[name] 
2:BUILD_ENVIRONMENT[operating system 32 vs 64]

2:END_BUILD_ENVIRONMENT
2:DEPENDENCIES[list of dependencies with where to get them]

2:END_DEPENDENCIES
2:NOTES[notes on attempted build]

2:END_NOTES