coq-modules
|
coqPackages.math-classes: 1.0.6 -> 1.0.7
|
2017-11-05 16:59:23 +01:00 |
interpreters
|
Merge pull request #31264 from kini/acl2-update
|
2017-11-04 23:17:30 +00:00 |
libraries
|
spice_gtk: 0.33 → 0.34
|
2017-11-05 17:02:28 +01:00 |
python-modules
|
python.pkgs.urwid: fix build
|
2017-11-05 13:44:16 +01:00 |
r-modules
|
nixpkgs manual: add rstudio shell.nix example
|
2017-11-04 12:26:08 +01:00 |
tools
|
gotools: 20160519 -> 20170807
|
2017-11-04 01:22:40 +01:00 |
web
|
nodejs: refactor generic build function
|
2017-11-02 10:58:45 +01:00 |