Merge pull request #7125 from DavSanchez/patch-1

add richenv
This commit is contained in:
Jens Petersen 2023-09-29 15:56:40 +08:00 committed by GitHub
commit bd83b32c31
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5251,9 +5251,14 @@ packages:
"Alexander Esgen <amesgen@amesgen.de> @amesgen":
- ghc-hs-meta
"David Sánchez <davidslt+stackage@pm.me> @DavSanchez":
- richenv
"Zac Slade <krakrjak@gmail.com> @krakrjak":
- fits-parse
"Grandfathered dependencies":
- BiobaseNewick
- Boolean