7 Commits

Author	SHA1	Message	Date
Ryan Orendorff	721475c83b	agdaPackages.functional-linear-algebra 0.3->0.4	2021-07-27 10:14:32 -06:00
Alex Rice	9d4867074b	Agda: mark packages as broken until 2.6.2 compatible release is made ... Co-authored-by: sternenseemann <sternenseemann@systemli.org>	2021-07-26 11:41:06 +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
Ingo Blechschmidt	ec52278ea1	agdaPackages.functional-linear-algebra: 0.1 -> 0.2	2021-01-27 14:07:49 +01:00
Pavol Rusnak	a6ce00c50c	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
Ben Siraphob	66e44425c6	pkgs/development/libraries: stdenv.lib -> lib	2021-01-21 19:11:02 -08:00
Ryan Orendorff	c78dc9cf5b	agda-packages: add fla library at v0.1 ... Adds the functional-linear-algebra library to the agda package set.	2020-10-15 10:54:22 -06:00