Alexander Ried 3beacc4dbe fstar: remove workaround (#18331) ... As the comment indicates this was a workaround that has since been fixed upstream.		2016-09-06 00:09:11 +02:00
..
arduino
beam-modules	build-rebar3: Append postPatch to original hook	2016-08-29 23:31:50 +02:00
bower-modules/generic
compilers	fstar: remove workaround (#18331)	2016-09-06 00:09:11 +02:00
coq-modules
dotnet-modules/patches
eclipse
em-modules/generic
go-modules	go: Split output order to match new convention	2016-08-31 13:55:40 +03:00
guile-modules
haskell-modules	hackage-packages.nix: update Haskell package set	2016-09-05 20:17:41 +02:00
idris-modules
interpreters	pypy27: 5.3.1 -> 5.4.0	2016-09-03 11:42:55 +02:00
libraries	openssl-chacha: 2016-01-27 -> 2016-08-22	2016-09-05 22:50:57 +02:00
lisp-modules
lua-modules
misc
mobile	adb-sync: init at 2016-08-31	2016-09-02 16:44:41 +02:00
node-packages	nodePackages: add svgo	2016-09-02 13:01:51 +00:00
ocaml-modules
perl-modules	DBD::SQLite: 1.48 -> 1.50	2016-09-05 13:45:59 +02:00
pharo
pure-modules
python-modules	pygtk: fix broken symlink	2016-09-04 09:42:23 +02:00
qtcreator
r-modules
ruby-modules	Merge pull request #16276 from manveru/gemconfig-rbnacl	2016-09-05 01:11:57 +02:00
tools	bsdbuild: init at 3.1 (#18069)	2016-09-05 23:28:42 +02:00
web	remarkjs: use node2nix generated expressions	2016-09-02 13:02:37 +00:00