arduino
|
Python: use PyPI mirror (#15001)
|
2016-04-26 13:38:03 +01:00 |
compilers
|
openjdk: 8u76 -> 8u92
|
2016-05-03 00:17:45 +00:00 |
coq-modules
|
coq-ext-lib: 0.9.0-beta3 -> 0.9.3
|
2016-04-12 19:43:49 +02:00 |
guile-modules
|
replace ${stdenv.cc.cc}/lib occurences
|
2016-05-01 00:13:23 +03:00 |
libraries
|
krb5: 1.14 -> 1.14.2 (security updates)
|
2016-05-02 14:19:37 -04:00 |
misc
|
replace ${stdenv.cc.cc}/lib occurences
|
2016-05-01 00:13:23 +03:00 |
mobile
|
replace ${stdenv.cc.cc}/lib occurences
|
2016-05-01 00:13:23 +03:00 |
python-modules
|
pycairo: enable for python35
|
2016-04-29 02:32:03 +02:00 |
qtcreator
|
qtcreator: fix build
|
2016-04-22 14:36:19 +03:00 |
ruby-modules
|
nix: Add a "dev" output
|
2016-04-18 21:13:18 +02:00 |
tools
|
yodl: 3.07.01 -> 3.08.00
|
2016-05-02 16:33:53 +02:00 |
web
|
nodejs-6_x : init at 6.0.0
|
2016-05-02 08:58:50 +02:00 |