Merge branch 'master' into add-refined

This commit is contained in:
Jens Petersen 2020-07-13 11:01:34 +08:00 committed by GitHub
commit 88dc3a683a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,6 +9,9 @@ cabal-format-version: "3.0"
# Constraints for brand new builds # Constraints for brand new builds
packages: packages:
"Bernie Pope <florbitous@gmail.com> @bjpop":
- language-python
"Nils Alex <nils@famalex.de> @nilsalex": "Nils Alex <nils@famalex.de> @nilsalex":
- safe-tensor - safe-tensor
@ -79,7 +82,7 @@ packages:
- lens-regex-pcre < 0 # via pcre-heavy - lens-regex-pcre < 0 # via pcre-heavy
"Emily Pillmore <emilypi@cohomolo.gy> @topos": "Emily Pillmore <emilypi@cohomolo.gy> @topos":
- base16 - base16 < 0.3.0.0 # https://github.com/commercialhaskell/stackage/issues/5513
- base16-lens - base16-lens
- base32 - base32
- base32-lens - base32-lens
@ -2204,7 +2207,8 @@ packages:
- semirings - semirings
- torsor - torsor
- chronos - chronos
- refined - refine
- these-skinny
"Kostiantyn Rybnikov <k-bx@k-bx.com> @k-bx": "Kostiantyn Rybnikov <k-bx@k-bx.com> @k-bx":
- SHA - SHA