Merge pull request #46547 from ivanbrennan/r-devtools

git2r: add SSH support
This commit is contained in:
Jörg Thalheim 2018-09-18 10:10:29 +01:00 committed by GitHub
commit 947ae71dce
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -258,7 +258,7 @@ let
Formula = [ pkgs.gmp ]; Formula = [ pkgs.gmp ];
geoCount = [ pkgs.gsl_1 ]; geoCount = [ pkgs.gsl_1 ];
gdtools = [ pkgs.cairo.dev pkgs.fontconfig.lib pkgs.freetype.dev ]; gdtools = [ pkgs.cairo.dev pkgs.fontconfig.lib pkgs.freetype.dev ];
git2r = [ pkgs.zlib.dev pkgs.openssl.dev ]; git2r = [ pkgs.zlib.dev pkgs.openssl.dev pkgs.libssh2.dev ];
GLAD = [ pkgs.gsl_1 ]; GLAD = [ pkgs.gsl_1 ];
glpkAPI = [ pkgs.gmp pkgs.glpk ]; glpkAPI = [ pkgs.gmp pkgs.glpk ];
gmp = [ pkgs.gmp.dev ]; gmp = [ pkgs.gmp.dev ];