# -*- mode: snippet -*- # name: guix-cvs-reference # key: cvs-reference... # -- (cvs-reference (root-directory "${1:root-directory}") (module "${2:module}") (revision "${3:revision}"))k rel='alternate' title='Atom feed' href='https://git.koszko.org/guix/atom/gnu/packages/idris.scm?h=koszko' type='application/atom+xml'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
AgeCommit message (Expand)Author
2023-02-26gnu: idris: Adapt to changed haskell-build-system....…which does not support the “static” output any more. * gnu/packages/idris.scm (idris)[arguments]: Remove phase restore-libidris_rts. Lars-Dominik Braun
2023-02-26gnu: idris: Fix overly zealous regular expression....* gnu/packages/idris.scm (idris)[arguments]: Limit characters matched after package name in cabal file substitutions. Lars-Dominik Braun
2023-02-26Upgrade Haskell packages....Script-aided bulk change. Lars-Dominik Braun