.. |
androidndk-pkgs
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00:00 |
arduino
|
Merge branch 'master' into staging-next
|
2019-09-06 03:20:09 +02:00 |
beam-modules
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00:00 |
bower-modules/generic
|
|
|
compilers
|
Merge master into staging-next
|
2019-09-06 22:46:05 +02:00 |
coq-modules
|
Merge branch 'master' into staging-next
|
2019-09-06 16:55:11 +02:00 |
dhall-modules
|
|
|
dotnet-modules/patches
|
|
|
em-modules/generic
|
|
|
go-modules
|
|
|
go-packages
|
|
|
guile-modules
|
tree-wide: s/GTK+/GTK/g
|
2019-09-06 02:54:53 +02:00 |
haskell-modules
|
haskell-zlib: drop obsolete overrides for ghc-8.8.x
|
2019-09-06 17:27:21 +02:00 |
idris-modules
|
|
|
interpreters
|
Merge master into staging-next
|
2019-09-06 22:46:05 +02:00 |
java-modules
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00:00 |
libraries
|
rtmidi: add PulseAudio support
|
2019-09-12 13:03:49 +02:00 |
lisp-modules
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00:00 |
lua-modules
|
lua*Packages: Consolidate separate setup hooks together
|
2019-09-01 17:42:20 +02:00 |
misc
|
treewide: name -> pname (#67513)
|
2019-08-31 07:41:22 -04:00 |
mobile
|
Merge staging-next into staging
|
2019-08-31 18:07:33 +02:00 |
node-packages
|
Merge staging-next into staging
|
2019-08-28 08:26:42 +02:00 |
ocaml-modules
|
Merge master into staging-next
|
2019-09-06 22:46:05 +02:00 |
perl-modules
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00:00 |
pharo
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00:00 |
pure-modules
|
tree-wide: s/GTK+/GTK/g
|
2019-09-06 02:54:53 +02:00 |
python-modules
|
pythonPackages.elpy: drop package
|
2019-09-06 23:44:09 +02:00 |
r-modules
|
Fix broken builds for rgdal and sf R packages
|
2019-09-02 16:23:24 +03:00 |
ruby-modules
|
Merge branch 'master' into staging-next
|
2019-09-06 03:20:09 +02:00 |
tools
|
Merge master into staging-next
|
2019-09-06 22:46:05 +02:00 |
web
|
Merge branch 'master' into staging-next
|
2019-09-06 03:20:09 +02:00 |