| .. |
|
arduino
|
|
|
|
beam-modules
|
Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs"
|
2017-09-29 09:11:26 -04:00 |
|
bower-modules/generic
|
|
|
|
compilers
|
chez: 9.4 -> 9.5
|
2017-10-29 02:04:16 +02:00 |
|
coq-modules
|
coqPackages.dpdgraph: remove support for coq 8.7
|
2017-10-30 02:02:19 +01:00 |
|
dotnet-modules/patches
|
|
|
|
eclipse/ecj
|
|
|
|
em-modules/generic
|
|
|
|
go-modules
|
go: update nonfatal build error list
|
2017-09-28 10:28:20 +00:00 |
|
guile-modules
|
Merge branch 'master' into staging
|
2017-10-02 00:22:12 +00:00 |
|
haskell-modules
|
git-annex: fix hash after version update
|
2017-10-31 19:09:19 +01:00 |
|
idris-modules
|
Fix idrisPackages.with-packages
|
2017-10-30 12:25:33 +01:00 |
|
interpreters
|
racket: 6.10.1 -> 6.11
|
2017-10-31 02:09:33 +01:00 |
|
java-modules
|
|
|
|
libraries
|
Merge pull request #31051 from andir/websocket++-0.7.0
|
2017-10-31 21:58:17 +00:00 |
|
lisp-modules
|
lispPackages.cl-protobufs: init at 20170403-git
|
2017-09-27 09:07:26 -07:00 |
|
lua-modules
|
buildLuaPackage: set makeFlags directly instead of through preBuild
|
2017-10-10 02:51:05 +11:00 |
|
misc
|
loc: 2017-06-23 -> 0.4.1
|
2017-10-31 16:27:23 +01:00 |
|
mobile
|
|
|
|
node-packages
|
Merge pull request #31058 from rnhmjoj/dnschain
|
2017-10-31 23:44:02 +01:00 |
|
ocaml-modules
|
ocamlPackages.alcotest: 0.7.2 -> 0.8.1
|
2017-10-31 01:06:17 +00:00 |
|
perl-modules
|
|
|
|
pharo
|
|
|
|
pure-modules
|
Merge remote-tracking branch 'upstream/staging' into deps-reorg
|
2017-09-28 12:32:57 -04:00 |
|
python-modules
|
pythonPackages: Move my libraries to python-modules
|
2017-10-31 17:28:59 +01:00 |
|
qtcreator
|
qtbase: Make some output references more explicit
|
2017-10-24 23:48:49 +03:00 |
|
r-modules
|
r-modules: Fix a number of popular R packages
|
2017-10-21 11:29:21 +01:00 |
|
ruby-modules
|
Merge remote-tracking branch 'upstream/staging' into deps-reorg
|
2017-09-28 12:32:57 -04:00 |
|
tools
|
Merge pull request #31035 from cko/maven_3_5_2
|
2017-10-31 08:56:20 -04:00 |
|
web
|
nodejs: 8.8.1 -> 8.9.0
|
2017-11-01 00:07:58 +01:00 |
