/tests/services/

m/gnu/packages/agda.scm?h=koszko' type='application/atom+xml'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
AgeCommit message (Expand)Author
2022-05-12gnu: agda.scm: Add missing import....* gnu/packages/agda.scm: Also use (guix gexp). Efraim Flashner
2022-05-08gnu: agda: Use G-expressions....* gnu/packages/agda.scm (agda)[arguments]: Rewrite as G-expressions. Tobias Geerinckx-Rice
2022-05-08gnu: agda: Update to 2.6.2.2....* gnu/packages/agda.scm (agda): Update to 2.6.2.2. Tobias Geerinckx-Rice
2021-12-17gnu: agda: Update to 2.6.2.1....* gnu/packages/agda.scm (agda): Update to 2.6.2.1. [arguments]: Don't explicitly return #t from phases. Tobias Geerinckx-Rice
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: 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