diff options
| author | Brett Gilio <brettg@posteo.net> | 2019-11-22 15:25:27 -0600 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-11-22 22:51:20 +0100 |
| commit | 8717fb8d5f30915999869e80782ae0fcf1c6698d (patch) | |
| tree | 3d31d6900f65db9a5c3f29b3b2fa2a9d91d0b95c /.dir-locals.el | |
| parent | 4c7ca5d299cb9c900e8c3b4a2d289a6e11075ff9 (diff) | |
| download | guix-8717fb8d5f30915999869e80782ae0fcf1c6698d.tar guix-8717fb8d5f30915999869e80782ae0fcf1c6698d.tar.gz | |
gnu: polyml: Update to 5.8.
* gnu/packages/sml.scm (polyml): Update to 5.8.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions