nixpkgs/pkgs/development
Pascal Wittmann 4a9df12721 Merge pull request #7708 from vbgl/framac-sodium
frama-c: update from Neon to Sodium
2015-05-05 21:49:46 +02:00
..
arduino arduino: set meta.platforms and add myself as maintainer 2015-02-07 10:47:53 +01:00
compilers Drop obsolete pre-NG Haskell builds. 2015-05-05 21:44:47 +02:00
coq-modules meta.description fixups 2015-04-30 18:17:42 +02:00
eclipse Turn more licenses into lib.licenses style 2014-11-06 00:48:16 +00:00
go-modules/generic pond: fix build by renaming imports, also add renameImports to goBuildPackage 2015-04-16 18:43:37 +02:00
guile-modules rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc 2015-01-14 20:27:55 -08:00
haskell-modules hackage-packages.nix: update to a194932779 with hackage2nix revision db53ac3a644eebda581c9f036ccd55a19ff3c629 2015-05-05 21:44:48 +02:00
interpreters Add picoc 2015-05-04: a very small C interpreter 2015-05-05 19:43:20 +02:00
libraries Add bobcat 3.25.01: C++ helper library 2015-05-05 19:44:47 +02:00
lisp-modules meta.description fixups 2015-04-30 18:17:42 +02:00
lua-modules
misc avr-gcc-with-avr-libc: remove unused gcc-4.6 patch 2015-02-22 12:41:14 +01:00
mobile androidsdk: Make monitor and other commands to work 2015-05-03 23:03:36 +09:00
ocaml-modules meta.description fixups 2015-04-30 18:17:42 +02:00
perl-modules DBD-mysql: 4.023 -> 4.031 2015-04-01 16:41:19 -07:00
pharo Pharo launcher 0.2.4 -> 0.2.7 2015-05-05 15:15:31 +02:00
pure-modules/pure-gsl
python-modules Revert "pycairo: set user-agent to fix download of patches" 2015-04-28 22:23:21 +02:00
qtcreator
r-modules r-modules: disable broken builds on Hydra 2015-04-20 17:38:46 +02:00
ruby-modules
tools Merge pull request #7708 from vbgl/framac-sodium 2015-05-05 21:49:46 +02:00
web Choosing a different nodejs for armv5tel. 2015-05-03 18:02:55 +02:00