idris-modules
|
specdris: init at 2017-11-11 (#31544)
|
2017-11-21 22:59:38 +00:00 |
interpreters
|
j: fix build
|
2017-12-02 06:04:00 +00:00 |
libraries
|
ncurses: 6.0-20170902 -> 6.0-20171125
|
2017-12-03 01:50:42 +02:00 |
node-packages
|
nodePackages.html-minifier: init at 3.5.7
|
2017-11-27 05:10:39 -05:00 |
ocaml-modules
|
ocamlPackages.ipaddr: 2.7.2 -> 2.8.0
|
2017-12-01 22:26:54 +00:00 |
python-modules
|
Merge branch 'master' into staging
|
2017-12-02 09:37:07 +01:00 |
r-modules
|
R: update package set
|
2017-12-01 13:48:26 +01:00 |
tools
|
libtool: Enable cross compilation
|
2017-12-03 01:50:42 +02:00 |