cosmo-ethz/hope — pull request #5 by iankronquist (2014-10-18 03:48:38+00:00)
Title: Linux compiler support 3

Fixes issue #3