re-add gpipe
commit281af4dc75ade51151733e2e8332eb1dd63018a2
authorPLR <plredmond@gmail.com>
dateSun 13 Nov 2016, 15:12 (10 years ago)
parent585147b
build-constraints.yaml+4−4
@@ -1820,11 +1820,11 @@ packages:
18201820
18211821 - yi-rope
18221822
1823− # "Tobias Bexelius <tobias_bexelius@hotmail.com> @tobbebex":
1824− # GHC 8 - GPipe
1823+ "Tobias Bexelius <tobias_bexelius@hotmail.com> @tobbebex":
1824+ - GPipe
18251825
1826− # "Patrick Redmond <plredmond@gmail.com> @plredmond":
1827− # GHC 8 - GPipe-GLFW
1826+ "Patrick Redmond <plredmond@gmail.com> @plredmond":
1827+ - GPipe-GLFW
18281828
18291829 # "Csaba Hruska <csaba.hruska@gmail.com> @csabahruska":
18301830 # GHC 8 - lambdacube-ir