| .. |
|
arduino
|
Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper"
|
2017-09-07 12:51:21 +02:00 |
|
beam-modules
|
hex2nix: 0.0.5 -> 0.0.6
|
2017-09-11 23:03:49 +02:00 |
|
bower-modules/generic
|
|
|
|
compilers
|
ghc-7.2.2: record the commit that broke it
|
2017-09-15 20:52:24 +02:00 |
|
coq-modules
|
coqPackages: remove duplication in mkCoqPackages
|
2017-09-04 02:39:49 +00:00 |
|
dotnet-modules/patches
|
|
|
|
eclipse/ecj
|
|
|
|
em-modules/generic
|
|
|
|
go-modules
|
|
|
|
guile-modules
|
|
|
|
haskell-modules
|
Revert "Merge commit on master into staging"
|
2017-09-15 13:01:12 -04:00 |
|
idris-modules
|
treewide: Escape backslash in strings properly
|
2017-09-14 01:03:39 +03:00 |
|
interpreters
|
Merge remote-tracking branch 'upstream/master' into HEAD
|
2017-09-16 12:34:32 +02:00 |
|
java-modules
|
|
|
|
libraries
|
Merge remote-tracking branch 'upstream/master' into HEAD
|
2017-09-16 12:34:32 +02:00 |
|
lisp-modules
|
lispPackages.clsql-sqlite3: init
|
2017-09-07 11:40:06 +02:00 |
|
lua-modules
|
|
|
|
misc
|
Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper"
|
2017-09-07 12:51:21 +02:00 |
|
mobile
|
androidenv: Add the Android Instant Apps SDK
|
2017-09-09 16:47:19 +02:00 |
|
node-packages
|
Merge pull request #29075 from hschaeidt/master
|
2017-09-12 08:52:11 +01:00 |
|
ocaml-modules
|
ocamlPackages.cmdliner: make version 1.0 the default
|
2017-09-08 04:09:11 +00:00 |
|
perl-modules
|
perlPackages.CompressRawZlib: 2.071 -> 2.074
|
2017-08-19 21:07:57 +02:00 |
|
pharo
|
pharo-launcher: fix build
|
2017-09-15 18:47:39 +02:00 |
|
pure-modules
|
Merge pull request #29023 from obsidiansystems/deps-reorg
|
2017-09-05 18:10:32 -04:00 |
|
python-modules
|
Merge remote-tracking branch 'upstream/master' into HEAD
|
2017-09-16 12:34:32 +02:00 |
|
qtcreator
|
|
|
|
r-modules
|
R: update package set
|
2017-08-31 21:59:06 +02:00 |
|
ruby-modules
|
treewide: Use *Platform.extensions
|
2017-09-13 11:16:10 -04:00 |
|
tools
|
Merge remote-tracking branch 'upstream/master' into HEAD
|
2017-09-16 12:34:32 +02:00 |
|
web
|
nodejs: 8.3.0 -> 8.4.0
|
2017-08-30 02:57:36 +02:00 |
