Merge pull request #2059 from plredmond/master
re-add gpipe
commitefafa25608ccbe9ec02221a04957e9462e329790
authorAdam Bergmark <adam@bergmark.nl>
dateMon 14 Nov 2016, 00:47 (10 years ago)
parent585147b281af4d
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