nixpkgs/pkgs/development
Vincent Laporte dedba2a32d coqPackages.coquelicot: 2.1.1 -> 2.1.2
keeping old 2.1.1 version for Coq-8.4,
as newer versions of the library do not support older Coq versions
2017-02-11 14:02:19 +01:00
..
arduino teensyduino: init at 1.31 (#20807) 2016-12-02 11:31:01 +01:00
beam-modules hexRegistrySnapshot: d58a937 -> e5e494a 2016-11-30 12:16:21 +01:00
bower-modules/generic
compilers Merge recent staging 2017-02-10 18:07:14 +01:00
coq-modules coqPackages.coquelicot: 2.1.1 -> 2.1.2 2017-02-11 14:02:19 +01:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules buildGoPackage: reduce the default meta.platforms 2016-12-14 10:26:20 +01:00
guile-modules
haskell-modules Merge pull request #21589 from NixOS/ghc-split-sections 2017-02-09 11:17:31 +01:00
idris-modules idrisPackages.httpclient: init 2016-12-20 00:28:23 +01:00
interpreters Merge branch 'master' into staging 2017-02-09 08:42:04 +01:00
libraries Merge #22577: glew: 1.13.0 -> 2.0.0 2017-02-11 12:08:50 +01:00
lisp-modules lispPackages.clx: git-20150117 -> git-20170201 2017-02-05 13:03:03 +01:00
lua-modules
misc loc: 0.3.3 -> 0.3.4 2016-12-08 09:59:47 -05:00
mobile xcodeenv, titaniumenv: fix IPA builds by granting codesign the right permissions 2017-01-27 10:50:36 +01:00
node-packages nodePackages: Add tern (#22418) 2017-02-04 22:18:28 +01:00
ocaml-modules Revert "ocaml-lablgl: use camlp5" 2017-02-09 09:14:51 +01:00
perl-modules perl-Compress-Raw-Zlib: try without testing for now 2017-01-08 14:31:55 +01:00
pharo Remove myself from maintainers 2017-01-31 11:00:14 +01:00
pure-modules
python-modules Merge pull request #22344 from lsix/update_netcdf 2017-02-10 17:22:23 +01:00
qtcreator qtcreator: 4.2.0 -> 4.2.1 2017-02-03 17:48:17 +03:00
r-modules ~/.nixpkgs -> ~/.config/nixpkgs 2017-02-01 16:07:55 +01:00
ruby-modules bundler: 1.13.7 -> 1.14.3 (#22260) 2017-01-29 22:42:17 +00:00
tools Merge recent staging 2017-02-10 18:07:14 +01:00
web nodePackages: upgrade node2nix to version 1.1.1 and regenerate the package set 2017-01-20 22:05:44 +01:00