| .. |
|
arduino
|
|
|
|
beam-modules
|
hex-packages: delete transitively unbuildable packages
|
2017-11-08 07:23:51 +00:00 |
|
bower-modules/generic
|
|
|
|
compilers
|
ghc: bump 8.2.2 pre-release to rc3
|
2017-11-11 17:38:26 +01:00 |
|
coq-modules
|
coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7
|
2017-11-11 09:44:55 -08:00 |
|
dotnet-modules/patches
|
|
|
|
eclipse/ecj
|
|
|
|
em-modules/generic
|
|
|
|
go-modules
|
Merge pull request #30350 from alicebob/absdir
|
2017-11-11 01:17:23 +00:00 |
|
guile-modules
|
Merge branch 'master' into staging
|
2017-10-02 00:22:12 +00:00 |
|
haskell-modules
|
haskell-c2hs: use development version from github to work around _Float128 bug
|
2017-11-11 17:38:42 +01:00 |
|
idris-modules
|
Add wrapper for idris exe for gcc/gmp runtime deps
|
2017-11-02 23:14:12 +00:00 |
|
interpreters
|
Apply changes recommended by @Mic92
|
2017-11-09 00:14:27 -08:00 |
|
java-modules
|
Change many homepage urls from http to https #30636
|
2017-11-10 22:13:46 +01:00 |
|
libraries
|
Merge pull request #31376 from c0bw3b/pkg/libtom
|
2017-11-11 18:11:14 +01:00 |
|
lisp-modules
|
asdf: 3.2.0 -> 3.3.0
|
2017-11-11 15:31:43 +01:00 |
|
lua-modules
|
buildLuaPackage: set makeFlags directly instead of through preBuild
|
2017-10-10 02:51:05 +11:00 |
|
misc
|
Change many homepage urls from http to https #30636
|
2017-11-10 22:13:46 +01:00 |
|
mobile
|
|
|
|
node-packages
|
Change many homepage urls from http to https #30636
|
2017-11-10 22:13:46 +01:00 |
|
ocaml-modules
|
ocamlPackages.gen: 0.4.0.1 -> 0.5
|
2017-11-12 09:10:01 +00:00 |
|
perl-modules
|
perl-DBD-SQLite: 1.50 -> 1.54
|
2017-10-31 11:35:25 +01:00 |
|
pharo
|
|
|
|
pure-modules
|
|
|
|
python-modules
|
Merge pull request #31554 from xvapx/libnacl
|
2017-11-12 10:43:29 +01:00 |
|
qtcreator
|
qtbase: Make some output references more explicit
|
2017-10-24 23:48:49 +03:00 |
|
r-modules
|
nixpkgs manual: add rstudio shell.nix example
|
2017-11-04 12:26:08 +01:00 |
|
ruby-modules
|
bundlerEnv: support unicode executables (#31145)
|
2017-11-03 11:31:16 +00:00 |
|
tools
|
Fix homepage links (see #30636)
|
2017-11-11 17:36:48 +01:00 |
|
web
|
Change many homepage urls from http to https #30636
|
2017-11-10 22:13:46 +01:00 |
