Vincent Laporte 65b1613456 frama-c: 20161101 (Silicon) -> 20170501 (Phosphorus)		2017-07-18 20:30:53 +02:00
..
arduino	arduino: 1.6.12 -> 1.8.2	2017-06-01 08:44:27 +02:00
beam-modules	Make sure the LFE test suite is being run	2017-07-11 14:16:48 -04:00
bower-modules/generic
compilers	Merge pull request #26429 from aherrmann/pr_llvm_4_fix_debug	2017-07-17 21:27:52 +02:00
coq-modules	coqPackages.autosubst: New expression	2017-07-10 18:35:56 -07:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules	go-modules/generic: add missing PATHs to GOPATH when using nix-shell (#26176)	2017-06-01 20:40:21 +02:00
guile-modules
haskell-modules	haskell-cautious-file: jailbreak to fix the build	2017-07-18 16:51:09 +02:00
idris-modules
interpreters	Merge pull request #27295 from ankhers/generalize_lfe	2017-07-16 14:36:24 +02:00
java-modules
libraries	lucenepp: 3.0.6 -> 3.0.7	2017-07-18 18:04:25 +02:00
lisp-modules	Fresh SBCL is not compatible with not-fresh iolib	2017-06-28 22:18:25 +02:00
lua-modules
misc
mobile	adbfs-rootless: limit platform to linux	2017-06-29 08:20:54 +01:00
node-packages	nodePackages.js-beautify: init at 1.6.14	2017-07-14 22:17:12 +01:00
ocaml-modules	ocamlPackages.sedlex: 1.99.3 -> 1.99.4	2017-07-15 12:13:14 +00:00
perl-modules
pharo
pure-modules
python-modules	python.pkgs.pytorch: init at 0.1.12	2017-07-17 14:08:15 +02:00
qtcreator	qtcreator: 4.3.0 -> 4.3.1	2017-07-01 14:47:28 -03:00
r-modules	r-pbdZMQ: fix Darwin install	2017-07-14 14:32:51 +09:00
ruby-modules	bundix: 2.2.0 -> 2.3.1	2017-07-06 11:47:07 +02:00
tools	frama-c: 20161101 (Silicon) -> 20170501 (Phosphorus)	2017-07-18 20:30:53 +02:00
web	nodejs: 7.10.0 -> 7.10.1	2017-07-14 12:31:48 +08:00