| .. |
|
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
|
Merge pull request #29246 from LnL7/clang-stdenv
|
2017-09-13 16:21:41 -04: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
|
Merge pull request #29177 from LumiGuide/fix-attoparsec-data
|
2017-09-10 20:48:29 +02:00 |
|
idris-modules
|
idrisPackages.idris: 1.0 -> 1.1.1
|
2017-08-23 06:45:32 -05:00 |
|
interpreters
|
Merge remote-tracking branch 'upstream/master' into HEAD
|
2017-09-08 20:48:14 +02:00 |
|
java-modules
|
|
|
|
libraries
|
Revert "kdeFrameworks: 5.37 -> 5.38"
|
2017-09-13 11:57:15 -05: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: set platforms based on flavor selection
|
2017-08-26 16:03:31 +02:00 |
|
pure-modules
|
Merge pull request #29023 from obsidiansystems/deps-reorg
|
2017-09-05 18:10:32 -04:00 |
|
python-modules
|
afewmail: update meta.homepage (#29313)
|
2017-09-13 17:42:40 +00: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
|
sqlitebrowser: 3.9.1 -> 3.10.0
|
2017-09-13 21:44:49 +02:00 |
|
web
|
nodejs: 8.3.0 -> 8.4.0
|
2017-08-30 02:57:36 +02:00 |
