Merge pull request #4145 from kowainik/master

Add base-noprelude-4.12.0.0
This commit is contained in:
Michael Snoyman 2018-11-17 19:00:30 +02:00 committed by GitHub
commit 55e38d415d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3322,7 +3322,7 @@ packages:
- universum
"Kowainik <xrom.xkov@gmail.com> @ChShersh":
- base-noprelude == 4.11.1.0
- base-noprelude == 4.12.0.0
- co-log-core
- first-class-patterns
- relude