aboutsummaryrefslogtreecommitdiff
-----BEGIN PGP PUBLIC KEY BLOCK-----

mDMEYVH/7xYJKwYBBAHaRw8BAQdALMLeUhjEG2/UPCJj2j/debFwwAK5gT3G0l5d
ILfFldm0FTxleGFtcGxlQGV4YW1wbGUuY29tPoiQBBMWCAA4AhsDBQsJCAcCBhUK
CQgLAgQWAgMBAh4BAheAFiEEjO6M85jMSK687tINGBzA7NyoagkFAmKFYrUACgkQ
GBzA7Nyoagm2/AD9GSZqQAtEsauo5/LvH3XF7bDDnYCo/SmVCzyLM98+qCsA/2fy
kKnsGE5kwTGRrNvgn+5ROCCcHFSpwxzWcAwd9S4H
=OEKB
-----END PGP PUBLIC KEY BLOCK-----
generated by cgit
owmsg=1'>Expand)Author 2021-02-24Revert "gnu: purescript: Move to version-specific ghc-protolude-0.2 input."...This reverts commit 59c3ea22546f9bd7e0560a66f98a020af7d1ad6e. Léo Le Bouter 2021-02-24gnu: purescript: Move to version-specific ghc-protolude-0.2 input....* gnu/packages/purescript.scm (purescript)[inputs]: Replace ghc-protolude with ghc-protolude-0.2. Léo Le Bouter 2020-12-13gnu: purescript: Update to 0.13.8....* gnu/packages/purescript.scm (purescript): Update to 0.13.8. [inputs]: Add ghc-cborg, ghc-serialise. Signed-off-by: Leo Famulari <leo@famulari.name> BonfaceKilz 2020-05-08gnu: Add purescript....* gnu/packages/purescript.scm (purescript): New variable. * gnu/packages/patches/purescript-relax-dependencies.patch: New file. * gnu/local.mk: Add it. Signed-off-by: Christopher Baines <mail@cbaines.net> John Soo 2020-05-08gnu: Add ghc-happy@1.19.9...* gnu/packages/purescript.scm (ghc-happy-1.19.9): New file, New variable. * gnu/local.mk (GNU_SYSTEM_MODULES): Add purescript.scm. Signed-off-by: Christopher Baines <mail@cbaines.net> John Soo