Vincent Laporte 44659fcbe1 coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)

2018-06-01 19:31:02 +02:00

..

arduino

…

beam-modules

…

bower-modules/generic

…

compilers

graalvm8: 0.31 -> 1.0.0-rc1 (#41335)

2018-05-31 23:27:41 +02:00

coq-modules

coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)

2018-06-01 19:31:02 +02:00

dotnet-modules/patches

…

em-modules/generic

…

go-modules

…

guile-modules

…

haskell-modules

haskell.packages.ghcjs.terminfo: Bump version (#41337)

2018-06-01 19:19:09 +02:00

idris-modules

treewide: use appendToName where appropriate

2018-05-25 15:48:31 -05:00

interpreters

groovy: 2.4.15 -> 2.5.0 (#41270)

2018-05-31 09:33:42 +02:00

java-modules

…

libraries

Merge pull request #41320 from matthewbauer/bsd-switch

2018-06-01 13:27:59 -04:00

lisp-modules

lispPackages: drop pgloader that leads to a circular depedency

2018-05-30 23:42:33 +02:00

lua-modules

…

misc

…

mobile

…

node-packages

nodePackages_8_x.pnpm: wrap nodejs.passthru.python

2018-06-01 14:39:46 +08:00

ocaml-modules

ocamlPackages_4_02.async_ssl: remove redundancy

2018-05-29 05:29:04 +00:00

perl-modules

perlPackages.DBDPg: disable tests

2018-05-31 11:46:28 +02:00

pharo

…

pure-modules

…

python-modules

Merge pull request #41310 from Assassinkin/aws_kinesis

2018-06-01 14:38:55 +02:00

r-modules

…

ruby-modules

Merge remote-tracking branch 'upstream/master' into staging

2018-05-26 19:01:18 +03:00

tools

byacc: 20180510 -> 20180525 (#41304)

2018-05-31 21:47:30 +02:00

web

woff2: supports darwin

2018-05-31 12:34:15 -04:00