diff options
author | Will Dietz <w@wdtz.org> | 2019-06-04 19:03:39 -0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2019-09-13 22:47:52 -0500 |
commit | 6eee7ae50f3fa861a3954b6de8dcd021c79c81ae (patch) | |
tree | 48b07c18df19e0296fdb0fa96ff035fb7ea6bf81 /pkgs/top-level/all-packages.nix | |
parent | a412701c8de181777558677b16be0bfed6eba519 (diff) |
minder: init at 1.3.1
Diffstat (limited to 'pkgs/top-level/all-packages.nix')
-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 bd67fe85526b..1b16a4253006 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -8707,6 +8707,8 @@ in metamath = callPackage ../development/interpreters/metamath { }; + minder = callPackage ../applications/misc/minder { }; + mujs = callPackage ../development/interpreters/mujs { }; nix-exec = callPackage ../development/interpreters/nix-exec { |