diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-27 03:23:22 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-27 03:23:22 +0100 |
| commit | 4ed56b013fd3e85937c32c6ab305c512ec4bde10 (patch) | |
| tree | 43d112da50efa4eb03ede1e1a51ea8d415ae1e82 /pkgs/top-level | |
| parent | 4d2a3933a48611ae3d6216db4b43ebeeb1800324 (diff) | |
| download | nixlib-4ed56b013fd3e85937c32c6ab305c512ec4bde10.tar nixlib-4ed56b013fd3e85937c32c6ab305c512ec4bde10.tar.gz nixlib-4ed56b013fd3e85937c32c6ab305c512ec4bde10.tar.bz2 nixlib-4ed56b013fd3e85937c32c6ab305c512ec4bde10.tar.lz nixlib-4ed56b013fd3e85937c32c6ab305c512ec4bde10.tar.xz nixlib-4ed56b013fd3e85937c32c6ab305c512ec4bde10.tar.zst nixlib-4ed56b013fd3e85937c32c6ab305c512ec4bde10.zip | |
agda-TotalParserCombinators: 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 6be18fea575b..ac8ab1830f8c 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 {}; + TotalParserCombinators = callPackage ../development/libraries/agda/TotalParserCombinators {}; + ### DEVELOPMENT / LIBRARIES / JAVA atermjava = callPackage ../development/libraries/java/aterm { |