| .. |
|
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
|
dmd: remove broken flag
|
2017-09-15 04:35:30 -05: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
|
haskell-cryptol: override happy to older version to fix the build
|
2017-09-14 15:25:46 +02:00 |
|
idris-modules
|
treewide: Escape backslash in strings properly
|
2017-09-14 01:03:39 +03:00 |
|
interpreters
|
python35: check LD_LIBRARY_PATH
|
2017-09-14 10:17:58 +02:00 |
|
java-modules
|
|
|
|
libraries
|
ffmpeg, ffmpeg-full: 3.3.3 -> 3.3.4
|
2017-09-14 15:06:47 -07: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
|
Merge pull request #29405 from disassembler/jedi
|
2017-09-15 12:16:11 +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 pull request #28635 from ThomasMader/ldc
|
2017-09-15 10:32:10 +01:00 |
|
web
|
nodejs: 8.3.0 -> 8.4.0
|
2017-08-30 02:57:36 +02:00 |
