diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-12-23 21:40:58 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-12-23 21:41:16 +0200 |
| commit | 472c36bd36696cfe744e8a7b8f4d4ac5800e0f68 (patch) | |
| tree | c8f87fb72c5add933ee72b548f1fd25e8a84b89c /doc | |
| parent | 6556c00afa9057df2022df6c4b30d10312ef83ff (diff) | |
| download | patches-472c36bd36696cfe744e8a7b8f4d4ac5800e0f68.tar patches-472c36bd36696cfe744e8a7b8f4d4ac5800e0f68.tar.gz | |
gnu: pingus: Fix building.
* 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.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions