compilers
|
Merge branch 'master' into staging
|
2017-10-07 10:17:42 +02:00 |
coq-modules
|
Merge branch 'master' into staging
|
2017-10-07 10:17:42 +02:00 |
guile-modules
|
Merge branch 'master' into staging
|
2017-10-02 00:22:12 +00:00 |
haskell-modules
|
Merge branch 'master' into staging
|
2017-10-07 10:17:42 +02:00 |
libraries
|
libgnurl: Use recommended configure flags.
|
2017-10-10 02:24:47 +00:00 |
qtcreator
|
qtcreator: 4.4.0 -> 4.4.1
|
2017-10-07 11:27:29 +02:00 |
web
|
Merge branch 'master' into staging
|
2017-10-02 00:22:12 +00:00 |