Russell O'Connor 8ba82f28bc compcert: adding clightgen to the build ... clightgen is a tool for coverting C to C-light. This patch enable the build of this tool which is added to $out/bin/.		2017-02-01 08:37:34 +01:00
..
arduino
beam-modules
bower-modules/generic
compilers	compcert: adding clightgen to the build	2017-02-01 08:37:34 +01:00
coq-modules	coqPackages.math-classes: init at 2016-06-08	2017-01-27 11:16:30 +00:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules
guile-modules
haskell-modules	hackage-packages.nix: automatic Haskell package set update	2017-01-30 11:49:09 +01:00
idris-modules
interpreters	nix-exec: 4.1.5 -> 4.1.6	2017-01-31 12:02:46 -05:00
libraries	libarchive: add patch to fix CVE-2017-5601	2017-01-31 17:00:13 +01:00
lisp-modules
lua-modules
misc
mobile	xcodeenv, titaniumenv: fix IPA builds by granting codesign the right permissions	2017-01-27 10:50:36 +01:00
node-packages	nodePackages: Add ios-deploy, update the rest	2017-01-31 20:10:18 -05:00
ocaml-modules	ocamlPackages.dolmen: init at 0.2	2017-01-28 17:40:48 +00:00
perl-modules
pharo	Remove myself from maintainers	2017-01-31 11:00:14 +01:00
pure-modules
python-modules	Merge pull request #22280 from lsix/pytest_defaults_to_30	2017-01-31 09:48:38 +01:00
qtcreator
r-modules	RStudio: Optionally allow packages from custom R environment	2017-01-27 18:54:50 -05:00
ruby-modules	bundler: 1.13.7 -> 1.14.3 (#22260)	2017-01-29 22:42:17 +00:00
tools	vulkan-loader: 1.0.26.0 -> 1.0.39.1	2017-01-31 04:47:19 +03:00
web