1:BUILD_BY[name] student1 1:BUILD_ENVIRONMENT[operating system 32 vs 64] Ubuntu 64 1:DEPENDENCIES[list of dependencies with where to get them] 1. coq download in Ubuntu using: sudo apt-get install coq 1:END_DEPENDENCIES 1:NOTES[notes on attempted build] The tool builds. Not sure how to test it against examples. 1:END_NOTES VERIFY:ANALYSIS_BY[name] VERIFY:STATUS[unknown,needed,not_needed,started,finished] unknown VERIFY:COMMENT[string]