summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.si>2024-04-01 12:13:57 +0200
committerJonathan Brielmaier <jonathan.brielmaier@web.de>2024-04-01 14:53:37 +0200
commit8d047fc9a197222acb69a7392b46747e06ac89ed (patch)
tree8da47212a0336830dce0333a84e9188d68f83421 /nongnu/packages/coq.scm
parentb04018d38a91ed647ac87eb681388c955d9e3bd4 (diff)
gnu: eduke32, fury: Update to 20240316-10564-0bc78c53d.
* nongnu/packages/game-development.scm (eduke32, fury): Update to 20240316-10564-0bc78c53d. Rewrite to use gexps. [arguments]: Drop unnecessary make-flags. Drop wrapper script as upstream now handles configuration directories. [native-inputs]: Add gdk-pixbuf to fix compilation. [license]: Add gpl2. Signed-off-by: Jonathan Brielmaier <jonathan.brielmaier@web.de>
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions