| .. |
|
arduino
|
Revert "arduino: 1.0.6 -> 1.6.6"
|
2016-05-11 21:11:28 +02:00 |
|
beam-modules
|
beam-modules: refactor - remove commented out code
|
2016-04-23 19:03:30 -07:00 |
|
bower-modules/generic
|
|
|
|
compilers
|
treewide: Make explicit that 'dev' output of libffi is used
|
2016-05-19 10:00:41 +02:00 |
|
coq-modules
|
coq-dpdgraph: init at 0.5
|
2016-05-03 09:27:16 +02:00 |
|
dotnet-modules/patches
|
|
|
|
eclipse
|
|
|
|
go-modules
|
buildGoPackage: we don't need to build vendored packages
|
2016-04-07 17:45:20 +02:00 |
|
guile-modules
|
Merge pull request #15476 from matthiasbeyer/update-unmaintained
|
2016-05-16 23:45:11 +02:00 |
|
haskell-modules
|
Bring my stdenv.lib.maintainers user name in line with my github nick.
|
2016-05-16 22:49:55 +02:00 |
|
idris-modules
|
|
|
|
interpreters
|
treewide: Make explicit that 'dev' output of libpng is used
|
2016-05-19 10:00:44 +02:00 |
|
libraries
|
treewide: Make explicit that 'dev' output of libpng is used
|
2016-05-19 10:00:44 +02:00 |
|
lisp-modules
|
|
|
|
lua-modules
|
|
|
|
misc
|
replace ${stdenv.cc.cc}/lib occurences
|
2016-05-01 00:13:23 +03:00 |
|
mobile
|
Bring my stdenv.lib.maintainers user name in line with my github nick.
|
2016-05-16 22:49:55 +02:00 |
|
ocaml-modules
|
ocaml-batteries: 2.4.0 -> 2.5.2 (#15424)
|
2016-05-13 18:08:17 +02:00 |
|
perl-modules
|
Merge 'staging' into closure-size
|
2016-04-07 14:40:51 +02:00 |
|
pharo
|
Merge pull request #15261 from DamienCassou/pharo-vm5-2016.05.04
|
2016-05-06 10:04:36 +02:00 |
|
pure-modules
|
|
|
|
python-modules
|
treewide: Make explicit that 'dev' output of bzip2 is used
|
2016-05-19 10:00:28 +02:00 |
|
qtcreator
|
qtcreator: fix build
|
2016-04-22 14:36:19 +03:00 |
|
r-modules
|
boost: Kill unnecessary 'lib' output
|
2016-04-28 00:41:28 +03:00 |
|
ruby-modules
|
chefdk: fix build of hitimes on OS X
|
2016-05-04 16:41:44 -06:00 |
|
tools
|
treewide: Make explicit that 'dev' output of gmp is used
|
2016-05-19 10:00:36 +02:00 |
|
web
|
Merge branch 'master' into staging
|
2016-05-12 04:53:38 +02:00 |
