Merge pull request #5835 from maksbotan/hasbolt

Reenable hasbolt
This commit is contained in:
Adam Bergmark 2021-01-24 18:04:32 +01:00 committed by GitHub
commit f31930ff0f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3583,7 +3583,7 @@ packages:
- github-webhooks
"Pavel Yakovlev <pavel@yakovlev.me> @zmactep":
- hasbolt < 0 # ghc 8.10
- hasbolt
- uniprot-kb
- mmtf < 0 # MonadFail