diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-09-08 16:58:37 +0200 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-09-08 20:36:30 +0200 |
| commit | c665774a1ca9431746b1d559b06e24c1b05625d8 (patch) | |
| tree | 175863278078ade7fc96cf256a4007c0b231c9d3 /graph.js | |
| parent | 445ecce92307aa7ab70cf02b70078e860de17dc0 (diff) | |
| download | patches-c665774a1ca9431746b1d559b06e24c1b05625d8.tar patches-c665774a1ca9431746b1d559b06e24c1b05625d8.tar.gz | |
gnu: mes: Update to 0.17.1.
* gnu/packages/patches/mes-nyacc-0.86.0.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/mes.scm (mes): Update to 0.17.1, depend on latest Nyacc 0.86.0.
(nyacc-for-mes): Remove.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions