coq-modules
|
coqPackages.math-classes: 1.0.7 -> 8.8.1
|
2018-12-03 08:29:46 +00:00 |
guile-modules
|
Treewide: use HTTPS on GNU domains
|
2018-12-02 15:51:59 +01:00 |
interpreters
|
Revert "hugs: broken on clang"
|
2018-12-02 16:46:31 -05:00 |
libraries
|
libgpg-error: enable Aarch32 support for musl
|
2018-12-05 00:25:54 +01:00 |
misc
|
systems/parse.nix: support eabihf
|
2018-12-02 19:49:36 -06:00 |
python-modules
|
pythonPackages.svgwrite: 1.1.6 -> 1.2.1
|
2018-12-04 21:41:08 -05:00 |
ruby-modules
|
solargraph: 0.28.2 -> 0.29.1
|
2018-12-02 02:48:01 -05:00 |
web
|
nodejs.updateScript: fix evaluation
|
2018-12-03 00:49:37 +00:00 |