John Wiegley 4008300243 Merge pull request #20025 from vbgl/coq-8.5pl3 ...

Coq: 8.5pl2 -> 8.5pl3

2016-11-03 10:38:45 -07:00

..

arduino

ino: use python2

2016-10-18 23:14:36 +02:00

beam-modules

…

bower-modules/generic

…

compilers

Merge pull request #20025 from vbgl/coq-8.5pl3

2016-11-03 10:38:45 -07: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

…

em-modules/generic

…

go-modules

buildGoPackage: introduce extraSrcPaths option

2016-10-29 05:18:16 +02:00

guile-modules

…

haskell-modules

hackage-packages.nix: automatic Haskell package set update

2016-11-03 17:42:22 +01:00

idris-modules

…

interpreters

Merge pull request #19984 from sternenseemann/license-clash

2016-11-01 09:09:35 -04:00

libraries

libxml2: add patch to fix CVE-2016-4658

2016-11-03 02:45:18 +01:00

lisp-modules

…

lua-modules

…

misc

loc: 0.3.0 -> 0.3.3

2016-10-30 16:45:04 -04:00

mobile

…

node-packages

nodePackages.parsoid: init

2016-11-03 19:20:19 +03:00

ocaml-modules

ocaml-erm_xmpp_0_3: init at 0.3

2016-11-03 14:39:26 +01:00

perl-modules

…

pharo

…

pure-modules

…

python-modules

pythonPackages.mezzanine: Fix template project

2016-10-31 16:38:45 +01:00

qtcreator

…

r-modules

r-modules: add more environment documentation

2016-10-13 22:18:16 +00:00

ruby-modules

ruby-zoom: init at 4.1.0

2016-10-26 17:26:26 +05:30

tools

bear: ignore wrapper calls (#20070)

2016-11-03 15:27:03 +01:00

web

nodejs-7_x: init

2016-11-03 00:21:44 +01:00