nixpkgs/pkgs/development
Pascal Wittmann ab2185a4b5 Merge pull request #20756 from vbgl/ocp-index-1.1.5
ocamlPackages.ocp-index: 1.1.4 -> 1.1.5
2016-11-30 16:34:56 +01:00
..
arduino ino: use python2 2016-10-18 23:14:36 +02:00
beam-modules hexRegistrySnapshot: d58a937 -> e5e494a 2016-11-30 12:16:21 +01:00
bower-modules/generic
compilers ghc-8.0.2: cosmetic 2016-11-30 09:47:37 +01:00
coq-modules coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2 2016-10-31 16:22:04 -07:00
dotnet-modules/patches
eclipse/ecj Remove jdt-sdk 2016-11-03 21:12:39 -04:00
em-modules/generic
go-modules buildGoPackage: introduce extraSrcPaths option 2016-10-29 05:18:16 +02:00
guile-modules guile_ncurses: Use absolute path to load libguile-ncurses 2016-10-12 20:47:55 +01:00
haskell-modules haskellPackages.HDBC-odbc: remove haddock fix again 2016-11-30 13:04:48 +01:00
idris-modules Merge pull request #19003 from siddharthist/lightyear/init 2016-09-29 16:16:10 +02:00
interpreters Merge remote-tracking branch 'upstream/staging' into master 2016-11-30 00:34:23 +02:00
libraries Merge pull request #20616 from matthewbauer/pugixml-darwin 2016-11-30 10:30:41 +01:00
lisp-modules asdf: 3.1.6 -> 3.1.7 2016-09-26 15:49:30 +02:00
lua-modules
misc loc: 0.3.0 -> 0.3.3 2016-10-30 16:45:04 -04:00
mobile genymotion: 2.7.2 -> 2.8.0 2016-11-27 13:18:24 +03:00
node-packages nodejs: add python to passthru 2016-11-24 22:28:04 +01:00
ocaml-modules ocamlPackages.alcotest: 0.4.5 -> 0.7.2 2016-11-23 10:01:32 +01:00
perl-modules Net::Amazon::S3: 0.60 -> 0.80 2016-09-26 17:35:53 +02:00
pharo
pure-modules purePackages.glpk: fix build 2016-09-10 17:41:19 +02:00
python-modules pythonPackages.Theano: move and rename variants 2016-11-30 10:04:54 +01:00
qtcreator qtcreator: enable checking 2016-09-06 14:02:09 +02:00
r-modules r-modules: add more environment documentation 2016-10-13 22:18:16 +00:00
ruby-modules Merge pull request #20113 from johbo/ruby-scrypt-darwin 2016-11-27 21:58:17 -05:00
tools Merge pull request #20756 from vbgl/ocp-index-1.1.5 2016-11-30 16:34:56 +01:00
web remarkjs: fix evaluation 2016-11-25 14:45:03 +01:00