Commit message (Expand) | Author | Age | |
---|---|---|---|
* | agdaPackages.functional-linear-algebra 0.3->0.4 | Ryan Orendorff | 2021-07-27 |
* | Agda: mark packages as broken until 2.6.2 compatible release is made | Alex Rice | 2021-07-26 |
* | agdaPackages.standard-library: 1.5 -> 1.6 (#120180) | Manuel Bärenz | 2021-04-23 |
* | agdaPackages.functional-linear-algebra: 0.1 -> 0.2 | Ingo Blechschmidt | 2021-01-27 |
* | treewide: remove stdenv where not needed | Pavol Rusnak | 2021-01-25 |
* | pkgs/development/libraries: stdenv.lib -> lib | Ben Siraphob | 2021-01-21 |
* | agda-packages: add fla library at v0.1 | Ryan Orendorff | 2020-10-15 |