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
|
ncurses: make shared linking optinoal
|
2018-12-04 21:16:43 -06:00 |
misc
|
systems/parse.nix: support eabihf
|
2018-12-02 19:49:36 -06:00 |
ocaml-modules
|
ocamlPackages.frontc: 3.4 -> 3.4.1
|
2018-12-05 08:49:40 +00: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 |