guix.git/gnu/packages/patches/pingus-boost-headers.patch, branch master
Personal branch of https://git.savannah.gnu.org/cgit/guix.git/ for implementing 'guix deploy'.
https://www.git.jakob.space/guix.git/atom?h=master
2018-12-23T19:41:16Z
gnu: pingus: Fix building.
2018-12-23T19:41:16Z
Efraim Flashner
efraim@flashner.co.il
2018-12-23T19:40:58Z
urn:sha1:472c36bd36696cfe744e8a7b8f4d4ac5800e0f68
* gnu/packages/games.scm (pingus)[source]: Use 'git-fetch'. Add patch to
update used boost headers.
* gnu/packages/patches/pingus-boost-headers.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.