void-packages/templates/gmp-dev