/srfi/

• ../
• srfi-64.scm
• srfi-64.upstream.scm

	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
2022-04-20	gnu: idris: Update to 1.3.4.	Eric Bavier
2022-04-20	gnu: idris: Use cc-for-target.	Eric Bavier
2022-04-20	gnu: idris: Remove trailing #t.	Eric Bavier
2022-04-13	gnu: idris: Fixes test failure.	Eric Bavier
2021-12-13	gnu: Simplify package inputs.	Ludovic Courtès
2021-10-08	gnu: idris: Fix build.	Xinglu Chen
2021-10-08	gnu: Update Haskell ecosystem.	Lars-Dominik Braun