compilers
|
Merge branch 'master' into staging
|
2019-04-26 16:35:54 +02:00 |
coq-modules
|
coqPackages.Verdi: 20181102 -> 20190202
|
2019-04-25 08:35:20 +02:00 |
interpreters
|
Merge branch 'master' into staging
|
2019-04-26 16:35:54 +02:00 |
libraries
|
Merge branch 'master' into staging
|
2019-04-26 16:35:54 +02:00 |
python-modules
|
Merge branch 'master' into staging
|
2019-04-26 16:35:54 +02:00 |
tools
|
Merge branch 'master' into staging
|
2019-04-26 16:35:54 +02:00 |
web
|
Merge pull request #60130 from lo1tuma/nodejs-12_staging
|
2019-04-25 23:08:20 -05:00 |