Merge pull request #2059 from plredmond/master

re-add gpipe
This commit is contained in:
Adam Bergmark 2016-11-14 00:47:54 +01:00 committed by GitHub
commit efafa25608

View File

@ -1820,11 +1820,11 @@ packages:
- yi-rope
# "Tobias Bexelius <tobias_bexelius@hotmail.com> @tobbebex":
# GHC 8 - GPipe
"Tobias Bexelius <tobias_bexelius@hotmail.com> @tobbebex":
- GPipe
# "Patrick Redmond <plredmond@gmail.com> @plredmond":
# GHC 8 - GPipe-GLFW
"Patrick Redmond <plredmond@gmail.com> @plredmond":
- GPipe-GLFW
# "Csaba Hruska <csaba.hruska@gmail.com> @csabahruska":
# GHC 8 - lambdacube-ir