| .. |
|
arduino
|
teensyduino: init at 1.31 (#20807)
|
2016-12-02 11:31:01 +01:00 |
|
beam-modules
|
hexRegistrySnapshot: d58a937 -> e5e494a
|
2016-11-30 12:16:21 +01:00 |
|
bower-modules/generic
|
|
|
|
compilers
|
Merge pull request #20867 from vbgl/omake-0.10.1
|
2016-12-09 21:49:21 +00:00 |
|
coq-modules
|
coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2
|
2016-10-31 16:22:04 -07:00 |
|
dotnet-modules/patches
|
|
|
|
eclipse/ecj
|
Remove jdt-sdk
|
2016-11-03 21:12:39 -04:00 |
|
em-modules/generic
|
|
|
|
go-modules
|
buildGoPackage: introduce extraSrcPaths option
|
2016-10-29 05:18:16 +02:00 |
|
guile-modules
|
guile_ncurses: Use absolute path to load libguile-ncurses
|
2016-10-12 20:47:55 +01:00 |
|
haskell-modules
|
haskell/ghcjs: fix ghcjs-ffiqq, add ghcjs-vdom (#20614)
|
2016-12-06 23:24:42 +01:00 |
|
idris-modules
|
Merge pull request #19003 from siddharthist/lightyear/init
|
2016-09-29 16:16:10 +02:00 |
|
interpreters
|
rubygems: 2.6.6 -> 2.6.8 (#21028)
|
2016-12-10 17:30:39 +00:00 |
|
libraries
|
gsl: 2.2 -> 2.3 (#21058)
|
2016-12-11 14:03:28 +01:00 |
|
lisp-modules
|
asdf: 3.1.6 -> 3.1.7
|
2016-09-26 15:49:30 +02:00 |
|
lua-modules
|
|
|
|
misc
|
loc: 0.3.3 -> 0.3.4
|
2016-12-08 09:59:47 -05:00 |
|
mobile
|
genymotion: 2.7.2 -> 2.8.0
|
2016-11-27 13:18:24 +03:00 |
|
node-packages
|
nodejs: add python to passthru
|
2016-11-24 22:28:04 +01:00 |
|
ocaml-modules
|
camlimages: use omake rather than omake_rc1
|
2016-12-02 19:49:08 +00:00 |
|
perl-modules
|
maatkit: update URL
|
2016-11-30 09:07:17 -05:00 |
|
pharo
|
|
|
|
pure-modules
|
purePackages.glpk: fix build
|
2016-09-10 17:41:19 +02:00 |
|
python-modules
|
pythonPackages.async_timeout: init at 1.1.0
|
2016-12-11 20:07:24 +01:00 |
|
qtcreator
|
qtcreator: enable checking
|
2016-09-06 14:02:09 +02:00 |
|
r-modules
|
r-modules: add more environment documentation
|
2016-10-13 22:18:16 +00:00 |
|
ruby-modules
|
Merge pull request #20113 from johbo/ruby-scrypt-darwin
|
2016-11-27 21:58:17 -05:00 |
|
tools
|
intel-gpu-tools: 1.16 -> 1.17
|
2016-12-11 17:55:09 +01:00 |
|
web
|
nodejs: 7.1.0 -> 7.2.1
|
2016-12-07 15:25:31 +01:00 |
