on master help sign in
Merge pull request #936 from expipiplus1/add-microlens-platform

Add microlens-platform

commitee2badef40e120c3ecae048deee51af65820fd1a authorDan Burton <danburton.email@gmail.com> dateFri 30 Oct 2015, 13:24 (11 years ago) parent330290e5902c20
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -1370,6 +1370,7 @@ packages:
13701370
13711371 "Artyom <yom@artyom.me>":
13721372 - microlens
1373+ - microlens-platform
13731374 - microlens-mtl
13741375 - microlens-th
13751376 - microlens-ghc