coq-modules
|
coqPackages.HoTT: init at 20170921
|
2017-10-11 02:51:16 +02:00 |
interpreters
|
erlang: fix ssl on darwin
|
2017-10-14 12:36:15 +02:00 |
libraries
|
Revert "libinput: 1.7.3 -> 1.8.3"
|
2017-10-16 11:55:40 +02:00 |
ocaml-modules
|
ocamlPackages.qtest: 2.6 -> 2.7
|
2017-10-16 07:02:03 +00:00 |
python-modules
|
python.pkgs.Keras: remove default backend
|
2017-10-16 00:59:51 +03:00 |
qtcreator
|
qtcreator: 4.4.0 -> 4.4.1
|
2017-10-07 11:27:29 +02:00 |
tools
|
ocamlPackages.camlp5: 7.01 -> 7.02
|
2017-10-17 09:01:22 +02:00 |
web
|
nodejs: 8.6.0 -> 8.7.0
|
2017-10-16 02:36:49 +02:00 |