aboutsummaryrefslogtreecommitdiff
path: root/build-aux
diff options
context:
space:
mode:
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions
s/idris.scm?id=a06b9b50075a78f846093f86da85d5806b36fbf7'>gnu: Move testing packages from haskell to haskell-check....Ricardo Wurmus 2017-04-15gnu: idris: Fix idris-default-arguments....Peter Mikkelsen 2017-04-15gnu: idris: Update to 1.0....Peter Mikkelsen 2017-03-23gnu: idris: Update to 0.99.1....Peter Mikkelsen 2017-01-04gnu: Add idris-lens....David Craven 2017-01-04gnu: Add idris-bifunctors....David Craven 2017-01-04gnu: Add idris-wl-pprint....David Craven 2017-01-04gnu: Add idris-lightyear....David Craven 2017-01-04gnu: idris: Move to (gnu packages idris)....David Craven