nixpkgs/pkgs/development
Will Dietz 15ca6e149e souper: bump to latest--using LLVM 4 and custom KLEE.
Add patch to fix the build when LLVM reports no system libs,
llvm-config's behavior changed in LLVM r291285.

Fixes #22920.
2017-03-15 07:39:25 -05:00
..
arduino
beam-modules buildRebar3: fix buildPhase & cleanup (#22744) 2017-02-18 14:25:24 +01:00
bower-modules/generic
compilers souper: bump to latest--using LLVM 4 and custom KLEE. 2017-03-15 07:39:25 -05:00
coq-modules coqPackages.interval: 2.2.1 -> 3.1.1 2017-02-11 14:02:19 +01:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules
guile-modules guile rev-deps: fix build by adding pkgconfig 2017-02-18 08:23:07 +01:00
haskell-modules callCabal2nix: Don't rebuild unchanged cabal file 2017-03-13 22:20:56 -04:00
idris-modules
interpreters guile: enable parallel building 2017-03-13 23:38:52 +01:00
java-modules javaPackages: Use artifactId/groupId 2017-02-13 18:40:13 -05:00
libraries Merge pull request #23835 from periklis/topic_qt57_submodules_darwin 2017-03-14 12:36:22 +01:00
lisp-modules lispPackages.clx: git-20150117 -> git-20170201 2017-02-05 13:03:03 +01:00
lua-modules
misc
mobile
node-packages nodePackages: support github:owner/repo scheme for package deps 2017-03-12 16:00:13 +01:00
ocaml-modules ocamlPackages.cpuid: init at 0.1.0 2017-03-13 20:58:51 +00:00
perl-modules
pharo Remove myself from maintainers 2017-01-31 11:00:14 +01:00
pure-modules purePackages.octave: 0.7 -> 0.9 2017-03-13 11:03:52 +01:00
python-modules hypothesis: disabled for Python 3.3 2017-03-14 10:49:39 +01:00
qtcreator qtcreator: 4.2.0 -> 4.2.1 2017-02-03 17:48:17 +03:00
r-modules r-modules: update CRAN package set 2017-03-07 14:56:46 +01:00
ruby-modules xapian-ruby: link against correct xapian 2017-03-06 20:24:07 +01:00
tools ocaml-top: 1.1.2 -> 1.1.3 2017-03-14 07:57:59 +00:00
web nodejs: 7.7.1 -> 7.7.2 2017-03-10 21:54:49 -05:00