compilers
Merge master into staging-next
2018-12-08 12:40:13 +01:00
coq-modules
coqPackages.math-classes: 1.0.7 -> 8.8.1
2018-12-03 08:29:46 +00:00
go-modules
go_1_11: fix cross compilation
2018-11-24 10:36:57 +00:00
guile-modules
Treewide: use HTTPS on GNU domains
2018-12-02 15:51:59 +01:00
haskell-modules
Merge master into staging-next
2018-12-07 15:22:35 +01:00
interpreters
metamath: init at 0.167
2018-12-09 10:18:25 +00:00
misc
systems/parse.nix: support eabihf
2018-12-02 19:49:36 -06:00
node-packages
nodePackages: Regenerate and fix azure-cli
2018-12-10 11:46:46 +01:00
ocaml-modules
ocamlPackages.camlimages: 5.0.0 -> 5.0.1
2018-12-07 04:22:10 +00:00
perl-modules
perlPackages: remove old broken packets
2018-11-27 08:11:10 +00:00
python-modules
pelican: 3.7.1 -> 4.0.1
2018-12-08 17:33:14 +01:00
ruby-modules
Merge master into staging-next
2018-12-08 12:40:13 +01:00
tools
frama-c: Chlorine -> Argon
2018-12-09 19:50:38 +00:00
web
nodejs.updateScript: fix evaluation
2018-12-03 00:49:37 +00:00