diff options
| author | Pierre Neidhardt <mail@ambrevar.xyz> | 2020-05-02 17:51:21 +0200 |
|---|---|---|
| committer | Pierre Neidhardt <mail@ambrevar.xyz> | 2020-05-06 10:57:30 +0200 |
| commit | 0b5bf61573c5491a52dfb70ea2b6e91ca61ef199 (patch) | |
| tree | cfbee9cb4e86da1ef33ce85807d29ace6b186eaf /gnu/packages/coq.scm | |
| parent | a4be14261cff5770f490172668373c1b0bb60235 (diff) | |
| download | guix-0b5bf61573c5491a52dfb70ea2b6e91ca61ef199.tar guix-0b5bf61573c5491a52dfb70ea2b6e91ca61ef199.tar.gz | |
gnu: Add warsow-qfusion.
* gnu/packages/patches/warsow-qfusion-fix-bool-return-type.patch: New file.
* gnu/local.mk: Include patch.
* gnu/packages/game-development.scm (warsow-qfusion): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions