diff options
author | Will Dietz <github@wdtz.org> | 2018-06-18 13:39:25 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-18 13:39:25 -0500 |
commit | 42a88a43c969b12a9b2577a0eb8737b71eedf903 (patch) | |
tree | bafd91b1ce28076b656e9dd2997cc4bc9d845da5 /pkgs/top-level | |
parent | 5e5bdfa6ad23259d68ac6571ccd51406dfdbf5d9 (diff) | |
parent | 4f1b14b513ba30deed71cafbc39480084d1f4e94 (diff) | |
download | nixlib-42a88a43c969b12a9b2577a0eb8737b71eedf903.tar nixlib-42a88a43c969b12a9b2577a0eb8737b71eedf903.tar.gz nixlib-42a88a43c969b12a9b2577a0eb8737b71eedf903.tar.bz2 nixlib-42a88a43c969b12a9b2577a0eb8737b71eedf903.tar.lz nixlib-42a88a43c969b12a9b2577a0eb8737b71eedf903.tar.xz nixlib-42a88a43c969b12a9b2577a0eb8737b71eedf903.tar.zst nixlib-42a88a43c969b12a9b2577a0eb8737b71eedf903.zip |
Merge pull request #41950 from dtzWill/feature/editline-pr
editline: init at 1.15.3
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 b56f1a0cb5b4..7872e03426d6 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -8930,6 +8930,8 @@ with pkgs; eclib = callPackage ../development/libraries/eclib {}; + editline = callPackage ../development/libraries/editline { }; + eigen = callPackage ../development/libraries/eigen {}; eigen3_3 = callPackage ../development/libraries/eigen/3.3.nix {}; |