diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-02-08 13:10:52 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-08 13:10:52 +0100 |
commit | c8f640c146716e4499b92f79c4fbe16fbb65ea40 (patch) | |
tree | a81e409acc1017efd3cffebabe96179d4a75f920 /pkgs/top-level | |
parent | c9f6a7f349a4608fc5c85c5cac756ba400320dba (diff) | |
parent | cc0e52acebd71e364e722c8c93a77c94c53765e5 (diff) |
Merge pull request #111791 from 06kellyjac/agate
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 9063fcce83baa..353190e2580db 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -705,6 +705,8 @@ in afpfs-ng = callPackage ../tools/filesystems/afpfs-ng { }; + agate = callPackage ../servers/gemini/agate { }; + agda-pkg = callPackage ../development/tools/agda-pkg { }; agrep = callPackage ../tools/text/agrep { }; |