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	platformio: add git to chroot so it is usable by platformio command	2018-05-05 02:41:10 -04:00
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	tree-wide: platforms = platforms.gnu; -> platforms = gnu ++ linux	2018-04-30 18:08:48 -05:00
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	avrgcc: 7.3.0 -> 8.1.0	2018-05-07 05:59:21 -07:00
mobile	androidndk: Fix usage as crossSystem	2018-05-17 17:22:27 +02:00
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	rPackages.JuniperKernel: fix non-Darwin build	2018-05-15 17:50:11 +09:00
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