diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-27 03:30:30 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-27 03:30:30 +0100 |
| commit | d409ae809ab03770043e6328a71e038e4bab5cbe (patch) | |
| tree | 7eba9f125305293876cd44ae26f9599a93469bce /pkgs/top-level | |
| parent | 4ed56b013fd3e85937c32c6ab305c512ec4bde10 (diff) | |
| download | nixlib-d409ae809ab03770043e6328a71e038e4bab5cbe.tar nixlib-d409ae809ab03770043e6328a71e038e4bab5cbe.tar.gz nixlib-d409ae809ab03770043e6328a71e038e4bab5cbe.tar.bz2 nixlib-d409ae809ab03770043e6328a71e038e4bab5cbe.tar.lz nixlib-d409ae809ab03770043e6328a71e038e4bab5cbe.tar.xz nixlib-d409ae809ab03770043e6328a71e038e4bab5cbe.tar.zst nixlib-d409ae809ab03770043e6328a71e038e4bab5cbe.zip | |
agda-pretty: 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 ac8ab1830f8c..020437bb41e0 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6801,6 +6801,8 @@ let categories = callPackage ../development/libraries/agda/categories {}; + pretty = callPackage ../development/libraries/agda/pretty {}; + TotalParserCombinators = callPackage ../development/libraries/agda/TotalParserCombinators {}; ### DEVELOPMENT / LIBRARIES / JAVA |