/gnu/tests/

• ../
• base.scm
• install.scm
• ssh.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
2020-03-09	gnu: idris: Use HTTPS home page....	Tobias Geerinckx-Rice
2019-11-20	gnu: idris: Fix Cabal dependency constraints....	Timothy Sample
2019-11-20	gnu: ghc-megaparsec: Update to 7.0.5....	Timothy Sample
2019-11-20	gnu: ghc-network: Update to 2.8.0.1....	Timothy Sample