| .. |
|
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 zlib is used
|
2016-05-19 10:04:38 +02:00 |
|
coq-modules
|
coq-dpdgraph: init at 0.5
|
2016-05-03 09:27:16 +02:00 |
|
dotnet-modules/patches
|
|
|
|
eclipse
|
|
|
|
go-modules
|
|
|
|
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 zlib is used
|
2016-05-19 10:04:38 +02:00 |
|
libraries
|
treewide: Make explicit that 'dev' output of libXft is used
|
2016-05-19 10:04:40 +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
|
treewide: Make explicit that 'dev' output of zlib is used
|
2016-05-19 10:04:38 +02:00 |
|
perl-modules
|
treewide: Make explicit that 'dev' output of zlib is used
|
2016-05-19 10:04:38 +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
|
treewide: Make explicit that 'dev' output of openssl is used
|
2016-05-19 10:02:23 +02:00 |
|
ruby-modules
|
treewide: Make explicit that 'dev' output of zlib is used
|
2016-05-19 10:04:38 +02:00 |
|
tools
|
treewide: Make explicit that 'dev' output of sqlite is used
|
2016-05-19 10:04:34 +02:00 |
|
web
|
Merge branch 'master' into staging
|
2016-05-12 04:53:38 +02:00 |
