Gabriel Ebner e10bb692c4 fstar: 0.9.4.0 -> 0.9.5.0 ... This builds fstar from the included ocaml sources instead of bootstrapping from fsharp.		2017-10-02 12:21:47 +02:00
..
arduino
beam-modules	Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs"	2017-09-29 09:11:26 -04:00
bower-modules/generic
compilers	fstar: 0.9.4.0 -> 0.9.5.0	2017-10-02 12:21:47 +02:00
coq-modules
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules	go: update nonfatal build error list	2017-09-28 10:28:20 +00:00
guile-modules	guile-gnome: nitpicks fixed	2017-09-28 14:51:41 +02:00
haskell-modules	haskell-json-autotype: jailbreak to fix build within LTS 9.x	2017-10-01 21:16:44 +02:00
idris-modules	Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs"	2017-09-29 09:11:26 -04:00
interpreters	ruby: 2.3.4 -> 2.3.5	2017-09-30 22:43:20 +02:00
java-modules
libraries	Merge pull request #29963 from mimadrid/update/samtools-1.6.0	2017-10-02 01:07:11 +00:00
lisp-modules	lispPackages.cl-protobufs: init at 20170403-git	2017-09-27 09:07:26 -07:00
lua-modules
misc
mobile
node-packages	bower2nix: 3.1.1 -> 3.2.0	2017-09-27 07:30:01 +01:00
ocaml-modules	ocamlPackages.stdint: init at 0.3.0	2017-10-02 12:21:47 +02:00
perl-modules
pharo
pure-modules	purePackages.gen: Don't build on Hydra (#29763)	2017-09-26 01:58:36 +00:00
python-modules	python.platformio: 2.10.3 -> 3.4.1	2017-10-02 07:20:23 +00:00
qtcreator
r-modules	R: update package set	2017-09-29 15:21:09 +02:00
ruby-modules	Revert "postgresql: Add dev output"	2017-09-27 21:58:44 +02:00
tools	Merge pull request #30017 from zzamboni/vagrant-2.0.0	2017-10-02 10:53:55 +01:00
web	kore: fix up	2017-10-01 18:43:22 +00:00