compilers
|
Merge branch 'master' into staging
|
2018-05-19 11:12:19 +02:00 |
coq-modules
|
coqPackages.stdpp: init at 1.1
|
2018-05-15 20:55:53 +00:00 |
idris-modules
|
idrisPackages.vdom: init at 0.6.0
|
2018-05-08 11:41:52 +02:00 |
libraries
|
Merge branch 'master' into staging
|
2018-05-19 11:12:19 +02:00 |
lisp-modules
|
asdf: 3.3.1 -> 3.3.2
|
2018-05-07 05:20:34 -07:00 |
misc
|
avrgcc: 7.3.0 -> 8.1.0
|
2018-05-07 05:59:21 -07:00 |
mobile
|
androidndk: Fix usage as crossSystem
|
2018-05-17 17:22:27 +02:00 |
node-packages
|
ios-rebuild: Unbreak build
|
2018-05-16 14:28:23 -04:00 |
perl-modules
|
perlPackages.DBFile: db -> db.lib
|
2018-05-13 13:00:24 +00:00 |
python-modules
|
Merge branch 'master' into staging
|
2018-05-19 11:12:19 +02:00 |
r-modules
|
rPackages.JuniperKernel: fix non-Darwin build
|
2018-05-15 17:50:11 +09:00 |