aboutsummaryrefslogtreecommitdiff
path: root/release.nix
diff options
context:
space:
mode:
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions
generated by cgit
dris-build-with-haskeline-0.8.patch, gnu/packages/patches/idris-build-with-megaparsec-9.patch, gnu/packages/patches/idris-disable-test.patch: Delete patches. * gnu/local.mk (dist_patch_DATA): Unregister them. * gnu/packages/idris.scm (idris): Update to 1.3.4. [source]: Use git-fetch. Adjust patches. Co-authored-by: Attila Lendvai <attila@lendvai.name> Eric Bavier 2022-04-20gnu: idris: Use cc-for-target....* gnu/packages/idris.scm (idris)[arguments]: Use cc-for-target in place of "gcc". Eric Bavier 2022-04-20gnu: idris: Remove trailing #t....* gnu/packages/idris.scm (idris)[arguments]: Remove trailing #t. Eric Bavier 2022-04-13gnu: idris: Fixes test failure....* gnu/packages/patches/idris-test-ffi008.patch: New file. * gnu/packages/idris.scm (source): Use it. * gnu/local.mk (dist_patch_DATA): Register it. Eric Bavier 2021-12-13gnu: Simplify package inputs....This commit was obtained by running: ./pre-inst-env guix style without any additional argument. Ludovic Courtès 2021-10-08gnu: idris: Fix build....Backport some commits from upstream. * gnu/packages/patches/idris-build-with-haskeline-0.8.patch: * gnu/packages/patches/idris-build-with-megaparsec-9.patch: New patches * gnu/local.mk (dist_patch_DATA): Add them. * gnu/packages/idris.scm (idris): Use them. Signed-off-by: Lars-Dominik Braun <lars@6xq.net> Xinglu Chen 2021-10-08gnu: Update Haskell ecosystem....Bump packages’ versions to the lastest Stackage or Hackage release. Since packages are interdependent, do so in a single commit. 525 packages have been updated. These packages have been removed, because they fail to build, have no newer version available and no dependencies: corrode ghc-easytest ghc-edisonapi ghc-edisoncore ghc-pandoc-types ghc-regex-tdfa-text These have been removed, because they are no longer required: ghc-happy-1.19.9 ghc-prettyprinter-1.6 ghc-protolude-0.3 ghc-pandoc-citeproc and pandoc-citeproc have been removed, because pandoc does not use them any more. Co-authored-by: Xinglu Chen <public@yoctocell.xyz> Lars-Dominik Braun