.. |
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 #29708 from obsidiansystems/ghc-prebuilt-indent
|
2017-09-23 13:04:00 -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
|
Merge pull request #29725 from rvl/guile-lib
|
2017-09-24 11:34:57 +01:00 |
haskell-modules
|
Merge pull request #29089 from LnL7/vaultenv-0.5.0
|
2017-09-21 21:13:53 +02: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
|
qt5-qtbase: fix darwin build
|
2017-09-23 21:06:09 +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
|
nodePackages.pulp: init at 12.0.1
|
2017-09-21 20:58:43 +01:00 |
ocaml-modules
|
ocamlfuse: 2.7-3 -> 2.7.1_cvs5 (#29606)
|
2017-09-21 12:14:22 +01: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
|
ephem: init at 3.7.6.0 (#29710)
|
2017-09-24 11:17:24 +01:00 |
qtcreator
|
qtcreator: 4.3.1 -> 4.4.0
|
2017-09-07 14:00:34 +02:00 |
r-modules
|
R: update package set
|
2017-08-31 21:59:06 +02:00 |
ruby-modules
|
gemconfig: add curb
|
2017-09-20 23:53:25 -07:00 |
tools
|
Merge pull request #29658 from teto/ctags
|
2017-09-23 12:04:06 +00:00 |
web
|
nodejs: 8.4.0 -> 8.5.0
|
2017-09-18 13:51:27 +02:00 |