/etc/completion/zsh/

• ../
• _guix

	index : guix	koszko koszko-scripts
	Wojtek's customized Guix

aboutsummaryrefslogtreecommitdiff

log msg author committer range

path: root/gnu/packages/idris.scm

Age	Commit message (Expand)	Author
2023-02-26	gnu: 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-26	gnu: 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-26	Upgrade Haskell packages....Script-aided bulk change.	Lars-Dominik Braun