clintar/xptMiner — pull request #1 by dagurval (2014-02-23 11:54:45+00:00)
Title: Added libgmp-dev to apt install list

Required for the include