14 Commits

Author	SHA1	Message	Date
Ingo Blechschmidt	95d62a696c	agdaPackages.standard-library: 1.7 -> 1.7.1	2021-11-29 09:21:23 +01:00
Manuel Bärenz	27ff64e919	agdaPackages.standard-library: 1.6 -> 1.7	2021-07-15 10:25:44 +02:00
Manuel Bärenz	a773d882d1	agdaPackages.standard-library: 1.5 -> 1.6 (#120180) ... * agdaPackages.standard-library: 1.5 -> 1.6 * agdaPackages.functional-linear-algebra: 0.2 -> 0.3 * agdaPackages.agda-categories: 0.1.5 -> 0.1.6	2021-04-23 12:06:31 -04:00
Alex Rice	0e162b97d6	agda nixos test: add to passthru for agda + stdlib	2021-03-30 13:54:02 +01:00
Anderson Torres	519c4f1727	Merge pull request #110830 from iblech/patch-agdastdlib15 ... agdaPackages.standard-library: 1.4 -> 1.5	2021-02-03 15:56:55 -03:00
Anderson Torres	8bf1bc692c	Merge pull request #110512 from neosimsim/agda-dont-install-Everything ... Agda don't install Everything module	2021-02-03 15:56:34 -03:00
Ingo Blechschmidt	5465e6e8ef	agdaPackages.standard-library: 1.4 -> 1.5	2021-01-27 14:06:34 +01:00
Pavol Rusnak	a6ce00c50c	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
Alexander Ben Nasrallah	688ebdc77d	agdaPackages.standard-library: don't install Everything files	2021-01-24 17:30:02 +01:00
Ben Siraphob	66e44425c6	pkgs/development/libraries: stdenv.lib -> lib	2021-01-21 19:11:02 -08:00
Manuel Bärenz	29684ee617	agdaPackages.standard-library: 1.3 -> 1.4	2020-10-19 09:26:52 +02:00
Alex Rice	8ee4c3698c	Agda: Add turion as maintainer	2020-05-14 20:54:12 +01:00
Alex Rice	a7cd372a3e	agda.standard-library: 1.1 -> 1.3	2020-05-14 20:54:12 +01:00
Alex Rice	d30e2468e0	agda: rework builder	2020-05-14 20:54:11 +01:00