nixpkgs/pkgs/development
2018-11-25 18:56:52 +00:00
..
arduino platformio: 3.5.3 -> 3.6.1 2018-11-01 17:16:02 +08:00
beam-modules
bower-modules/generic
compilers Merge pull request #50944 from yrashk/urweb-20180616 2018-11-23 12:05:53 +01:00
coq-modules coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi 2018-11-20 15:18:12 -08:00
dhall-modules Add dhallPackages and add current Prelude 2018-11-04 16:43:41 +01:00
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules guile-sdl2: 0.2.0 -> 0.3.1 2018-11-21 13:12:14 +01:00
haskell-modules haskellSrc2nix: disallow substitutes 2018-11-22 16:24:13 +01:00
idris-modules
interpreters Merge master into staging-next 2018-11-20 11:47:26 +01:00
java-modules
libraries Treewide: use https for SourceForge 2018-11-24 19:58:03 +01:00
lisp-modules
lua-modules
misc betaflight: don’t use nano 2018-11-02 15:42:33 -05:00
mobile androidsdk: Re-add emulator that was broken out of the sdk-tools package. 2018-11-12 13:06:22 -04:00
node-packages nodePackages.phantomjs: remove override 2018-11-19 16:21:39 +00:00
ocaml-modules ocamlPackages.menhir: 20181026 -> 20181113 2018-11-21 06:12:33 +00:00
perl-modules
pharo
pure-modules
python-modules Merge pull request #50834 from plapadoo/pyca-init-2.1 2018-11-24 06:21:58 -05:00
r-modules rstudio: fix qt plugins not found 2018-11-23 23:10:29 +01:00
ruby-modules bundler: 1.16.4 -> 1.17.1 2018-11-15 17:41:20 +00:00
tools rake: 12.0.0 -> 12.3.1 2018-11-25 18:56:52 +00:00
web insomnia: 6.0.2 -> 6.2.0 (#50906) 2018-11-23 02:50:02 -05:00