diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-07-16 02:00:04 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-07-16 02:00:07 +0200 |
| commit | 1d8220216ec5998d5fd001f037d7cffcb8d6003f (patch) | |
| tree | b767f88517d9bc062fab7a0a0c1be7270d1d8d9d /.mumi | |
| parent | eb12f3fd8bee99920118ec802ffbac8f1ab676b9 (diff) | |
| download | guix-1d8220216ec5998d5fd001f037d7cffcb8d6003f.tar.gz guix-1d8220216ec5998d5fd001f037d7cffcb8d6003f.zip | |
gnu: purescript: Update to 0.15.10.
* gnu/packages/purescript.scm (purescript): Update to 0.15.10.
Diffstat (limited to '.mumi')
0 files changed, 0 insertions, 0 deletions