diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2017-12-13 14:18:51 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2017-12-13 14:18:51 +0100 |
| commit | c2c5b115ab0d855ed96065043fd22574fb69093a (patch) | |
| tree | c2ade46b2b897a7e2fd19afdfdf476f7825f27ee /graph.js | |
| parent | 4168ddf689b3b7a176afd08c2c924f8e7ebb8c20 (diff) | |
| download | guix-c2c5b115ab0d855ed96065043fd22574fb69093a.tar.gz | |
gnu: polyml: Update to 5.7.1.
* gnu/packages/sml.scm (polyml): Update to 5.7.1.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions