| .. |
|
arduino
|
reewide: Purge all uses stdenv.system and top-level system
|
2018-08-30 17:20:32 -04:00 |
|
beam-modules
|
elixir: 1.6.6 -> 1.7.3
|
2018-08-27 21:38:28 +02:00 |
|
bower-modules/generic
|
|
|
|
compilers
|
zig: 0.2.0 -> 0.3.0
|
2018-09-29 15:18:57 -04:00 |
|
coq-modules
|
treewide: Use http/https for homepages
|
2018-09-08 18:30:00 +02:00 |
|
dotnet-modules/patches
|
|
|
|
em-modules/generic
|
|
|
|
go-modules
|
Merge master into staging
|
2018-07-26 16:18:53 +02:00 |
|
guile-modules
|
guile-cairo: use checkInputs
|
2018-08-11 09:35:24 +00:00 |
|
haskell-modules
|
haskell-texmath: patch to fix build with ghc-8.6.x
|
2018-09-28 12:11:20 +02:00 |
|
idris-modules
|
idrisPackages.quantities: init at 2018-04-17
|
2018-08-04 23:10:43 -04:00 |
|
interpreters
|
octave: 4.2.2 -> 4.4.1 (#47391)
|
2018-09-28 11:34:56 +02:00 |
|
java-modules
|
|
|
|
libraries
|
language_subtag_registry: fix hash (#47555)
|
2018-09-30 21:15:01 +02:00 |
|
lisp-modules
|
lispPackages.quicklisp: 2018-04-30 -> 2018-08-31 ; regenerate packages
|
2018-09-12 11:52:43 +03:00 |
|
lua-modules
|
|
|
|
misc
|
reewide: Purge all uses stdenv.system and top-level system
|
2018-08-30 17:20:32 -04:00 |
|
mobile
|
Merge remote-tracking branch 'upstream/master' into darwin-android-ndk-for-master
|
2018-09-17 22:48:25 -04:00 |
|
node-packages
|
nodePackages_8_x: add http-server
|
2018-09-28 23:09:58 +02:00 |
|
ocaml-modules
|
ocamlPackages.odoc: fix resolution of odoc.css
|
2018-09-30 16:14:03 +00:00 |
|
perl-modules
|
[cpan2nix] perlPackages.DBFile: 1.841 -> 1.842
|
2018-08-25 13:04:38 +00:00 |
|
pharo
|
Merge branch 'master' into unused5
|
2018-07-21 15:41:22 +01:00 |
|
pure-modules
|
|
|
|
python-modules
|
libvirt: 4.5.0 -> 4.7.0 (#46502)
|
2018-09-29 22:33:38 +02:00 |
|
r-modules
|
git2r: add SSH support
|
2018-09-11 16:39:20 -04:00 |
|
ruby-modules
|
solargraph: 0.27.1 -> 0.28.1 (#47242)
|
2018-09-23 22:31:54 +02:00 |
|
tools
|
patchelf: fix license
|
2018-09-29 16:36:33 -04:00 |
|
web
|
nodejs-10_x: 10.9.0 -> 10.11.0
|
2018-09-26 11:49:18 +02:00 |
