diff options
author | Marek Mahut <marek.mahut@gmail.com> | 2019-09-16 20:09:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-16 20:09:52 +0200 |
commit | 55eacf5a5ce960c433791e59acacaf3254e56ff6 (patch) | |
tree | 2b2dd1c1c407e9c9ec835e44af641eeea8b17169 /pkgs/top-level/all-packages.nix | |
parent | 921071da08d673f34b3dcfcd6129cb2c95f54a3b (diff) | |
parent | 23a4315fcceedcf5c8f396392246b622991c39da (diff) |
Merge pull request #62808 from dtzWill/feature/minder-1.3.1
minder: init at 1.5.0
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 f12d5257d929..f1ffc146c05f 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -8696,6 +8696,8 @@ in metamath = callPackage ../development/interpreters/metamath { }; + minder = callPackage ../applications/misc/minder { }; + mujs = callPackage ../development/interpreters/mujs { }; nix-exec = callPackage ../development/interpreters/nix-exec { |