Merge pull request #3616 from minad/patch-11
Drop tasty-auto which is deprecated in favor of tasty-discover
commitd4355239ba49ee0bcc4ed4a7bca7947b08829eff
authorDan Burton <danburton.email@gmail.com>
dateFri 11 May 2018, 12:00 (8 years ago)
parentd3b9e255a5f86a
build-constraints.yaml−1
@@ -2755,7 +2755,6 @@ packages:
27552755 - console-style
27562756 - unlit
27572757 - intro
2758− - tasty-auto
27592758 - tasty-stats
27602759 - colorful-monoids
27612760 - ihs