diff options
author | Joachim F <joachifm@users.noreply.github.com> | 2017-10-27 17:45:36 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-27 17:45:36 +0000 |
commit | b601d87cd65009dceacff3b8efa39c6ae0451558 (patch) | |
tree | d18dfcec4c2a6cbe21de8891dcc0f11eefee1d91 /pkgs/top-level | |
parent | d3e934243b2238a3ae6aaa67c3d092821055a21b (diff) | |
parent | 02b15a418a86240ed5f9b61234f8594bab3f7e84 (diff) | |
download | nixlib-b601d87cd65009dceacff3b8efa39c6ae0451558.tar nixlib-b601d87cd65009dceacff3b8efa39c6ae0451558.tar.gz nixlib-b601d87cd65009dceacff3b8efa39c6ae0451558.tar.bz2 nixlib-b601d87cd65009dceacff3b8efa39c6ae0451558.tar.lz nixlib-b601d87cd65009dceacff3b8efa39c6ae0451558.tar.xz nixlib-b601d87cd65009dceacff3b8efa39c6ae0451558.tar.zst nixlib-b601d87cd65009dceacff3b8efa39c6ae0451558.zip |
Merge pull request #30554 from Ma27/init/shmig-2017-07-24
shmig: init at 2017-07-24
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 44369de22151..7ca4b33ecf36 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6260,6 +6260,8 @@ with pkgs; serpent = callPackage ../development/compilers/serpent { }; + shmig = callPackage ../development/tools/database/shmig { }; + smlnjBootstrap = callPackage ../development/compilers/smlnj/bootstrap.nix { }; smlnj = if stdenv.isDarwin then callPackage ../development/compilers/smlnj { } |