--- Begin Message ---
Subject: |
[PATCH 0/2] Update Purescript to 0.13.8 |
Date: |
Sun, 13 Dec 2020 23:39:55 +0300 |
Hi all! Find attached a patch-set that bumps up Purescript to the latest
stable release. The updated patch file simply updates the line-numbers.
BonfaceKilz (2):
gnu: purescript: Update patch for Purescript 0.13.8.
gnu: purescript: Update to 0.13.8.
.../purescript-relax-dependencies.patch | 28 +++++++++----------
gnu/packages/purescript.scm | 7 +++--
2 files changed, 18 insertions(+), 17 deletions(-)
--
2.29.2
--- End Message ---
--- Begin Message ---
Subject: |
Re: [bug#45228] [PATCH 0/2] Update Purescript to 0.13.8 |
Date: |
Sun, 13 Dec 2020 16:55:46 -0500 |
On Sun, Dec 13, 2020 at 11:39:55PM +0300, BonfaceKilz wrote:
> Hi all! Find attached a patch-set that bumps up Purescript to the latest
> stable release. The updated patch file simply updates the line-numbers.
Thanks! Pushed as ce8c83ddab20e74b73fa4902af9ccbea8faf8df7
--- End Message ---