on master help sign in
Merge pull request #4861 from kowainik/chshersh/shellmet

Add back `shellmet`

commitf66949383b09d234ad109114005f9d4ed09fd375 authorDan Burton <danburton.email@gmail.com> dateSun 29 Sep 2019, 09:10 (7 years ago) parent8b0736a0a57e2a
1 file changed−2
build-constraints.yaml−2
build-constraints.yaml−2
@@ -3503,7 +3503,6 @@ packages:
35033503 - universum
35043504
35053505 "Kowainik <xrom.xkov@gmail.com> @chshersh @vrom911":
3506− - base-noprelude == 4.12.0.0
35073506 - co-log-core
35083507 - co-log
35093508 - first-class-patterns
@@ -4789,7 +4788,6 @@ packages:
47894788 - servant-auth-server < 0 # via base-4.13.0.0
47904789 - servant-auth-swagger < 0 # via base-4.13.0.0
47914790 - sexpr-parser < 0 # via base-4.13.0.0
4792− - shellmet < 0 # via base-4.13.0.0
47934791 - shower < 0 # via base-4.13.0.0
47944792 - sized-grid < 0 # via base-4.13.0.0
47954793 - slack-web < 0 # via base-4.13.0.0