nixpkgs/pkgs/development
Jörg Thalheim e080bb6a3b
Merge pull request #48464 from vbgl/ocaml-elpi-1.1.0
ocamlPackages.elpi: 1.0.5 -> 1.1.0
2018-10-15 20:58:48 +01:00
..
arduino
beam-modules
bower-modules/generic
compilers ghc: add new 8.4.4 version 2018-10-15 11:55:19 +02:00
coq-modules Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27" 2018-10-10 10:00:23 -07:00
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules guile-cairo: 1.4.1 -> 1.10.0 2018-10-13 15:38:57 +02:00
haskell-modules haskell-yesod-core: disable broken test suite 2018-10-15 12:39:17 +02:00
idris-modules build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
interpreters Merge pull request #44962 from Ekleog/wasm-rename 2018-10-14 17:00:29 -05:00
java-modules
libraries Merge pull request #48404 from r-ryantm/auto-update/libgit2 2018-10-15 20:58:22 +01:00
lisp-modules
lua-modules
misc
mobile Merge pull request #46720 from baldo/android-platform-tools 2018-10-05 22:42:30 -05:00
node-packages nodePackages_8_x: add gulp-cli 2018-10-08 14:56:41 -07:00
ocaml-modules ocamlPackages.elpi: 1.0.5 -> 1.1.0 2018-10-15 13:41:45 +00:00
perl-modules
pharo
pure-modules
python-modules python.packages.tensorflow: 1.9.0 -> 1.11.0 2018-10-15 14:49:52 +02:00
r-modules Fix build for rPackages.units 2018-10-08 12:53:43 +02:00
ruby-modules gem-config: add sassc (#48212) 2018-10-11 21:04:29 +02:00
tools Merge pull request #48420 from r-ryantm/auto-update/jbake 2018-10-15 11:33:45 +01:00
web nodejs-8_x: 8.11.4 -> 8.12.0 2018-10-14 13:58:02 +08:00