3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development
Tim Steinbach 1cb19a31f6
Merge pull request #31354 from maximedenes/mathcomp.1.6.4
coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4
2017-11-07 13:20:57 +00:00
..
arduino
beam-modules beamPackages.hex: 0.14.0 => 0.17.1 2017-10-30 23:21:22 +01:00
bower-modules/generic
compilers Merge #30371: update misc. gnome3-related libraries 2017-11-06 13:00:15 +01:00
coq-modules coqPackages.ssreflect: 1.6.1 -> 1.6.4 2017-11-07 13:26:13 +01:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules goDeps: support fetchFromGiHub to fetch Go libs 2017-11-01 01:28:57 +01:00
guile-modules
haskell-modules hackage-packages.nix: automatic Haskell package set update 2017-11-04 20:02:45 +01:00
idris-modules Add wrapper for idris exe for gcc/gmp runtime deps 2017-11-02 23:14:12 +00:00
interpreters spidermonkey_52: init at 52.2.1gnome1 2017-11-05 17:02:29 +01:00
java-modules
libraries iniparser: 4.0 -> 4.1 2017-11-07 09:18:55 +01:00
lisp-modules lispPackages.clwrapper: make sure to patch shebangs in the scripts before using them 2017-11-04 12:46:56 +01:00
lua-modules
misc loc: 2017-06-23 -> 0.4.1 2017-10-31 16:27:23 +01:00
mobile
node-packages fast-cli: pinpoint to a 1.x version, since 2.x requires nodejs 8 or greater 2017-11-05 14:00:27 +01:00
ocaml-modules ocamlPackages.zed: 1.5 -> 1.6 2017-11-07 01:04:59 +00:00
perl-modules perl-DBD-SQLite: 1.50 -> 1.54 2017-10-31 11:35:25 +01:00
pharo
pure-modules
python-modules python.pkgs.betamax-matchers: 0.3.0 -> 0.4.0 2017-11-07 13:17:45 +00:00
qtcreator qtbase: Make some output references more explicit 2017-10-24 23:48:49 +03:00
r-modules nixpkgs manual: add rstudio shell.nix example 2017-11-04 12:26:08 +01:00
ruby-modules bundlerEnv: support unicode executables (#31145) 2017-11-03 11:31:16 +00:00
tools Merge pull request #31345 from acowley/rtags-2.15 2017-11-07 03:09:11 -05:00
web nodejs: refactor generic build function 2017-11-02 10:58:45 +01:00