re-add gpipe

This commit is contained in:
PLR 2016-11-13 15:12:52 -08:00
parent 585147bbe3
commit 281af4dc75

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