coq-modules
|
coqPackages.HoTT: init at 20170921
|
2017-10-11 02:51:16 +02:00 |
guile-modules
|
Merge branch 'master' into staging
|
2017-10-02 00:22:12 +00:00 |
libraries
|
Merge branch 'phonon-backend-qt5'
|
2017-10-11 18:35:08 -05:00 |
ocaml-modules
|
ocamlPackages.ppx_ast: 0.9.0 -> 0.9.{1,2}
|
2017-10-09 08:02:11 +00:00 |
python-modules
|
Add pandas 0.17
|
2017-10-10 09:23:51 -04:00 |
qtcreator
|
qtcreator: 4.4.0 -> 4.4.1
|
2017-10-07 11:27:29 +02:00 |
tools
|
Merge pull request #30306 from copumpkin/xcbuild-update
|
2017-10-11 18:54:38 -04:00 |
web
|
Merge branch 'master' into staging
|
2017-10-02 00:22:12 +00:00 |