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 |
|