diff options
author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-27 04:25:26 +0100 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-27 04:25:26 +0100 |
commit | d8f2c32bcfedc69217039c16d82217f335f7b86d (patch) | |
tree | 59bf9631057adc0d3e497306ff32f90fc38c4d15 /pkgs/top-level | |
parent | d409ae809ab03770043e6328a71e038e4bab5cbe (diff) | |
download | nixlib-d8f2c32bcfedc69217039c16d82217f335f7b86d.tar nixlib-d8f2c32bcfedc69217039c16d82217f335f7b86d.tar.gz nixlib-d8f2c32bcfedc69217039c16d82217f335f7b86d.tar.bz2 nixlib-d8f2c32bcfedc69217039c16d82217f335f7b86d.tar.lz nixlib-d8f2c32bcfedc69217039c16d82217f335f7b86d.tar.xz nixlib-d8f2c32bcfedc69217039c16d82217f335f7b86d.tar.zst nixlib-d8f2c32bcfedc69217039c16d82217f335f7b86d.zip |
agda-aaron-stump-stdlib: new package
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 020437bb41e0..3aececde9e53 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6782,6 +6782,8 @@ let ### DEVELOPMENT / LIBRARIES / AGDA + aaronStumpStdlib = callPackage ../development/libraries/agda/aaron-stump-stdlib {}; + agda = callPackage ../build-support/agda { glibcLocales = if pkgs.stdenv.isLinux then pkgs.glibcLocales else null; extension = self : super : {}; |