add richenv

This commit is contained in:
David Sánchez 2023-09-25 20:47:31 +01:00 committed by GitHub
parent cdeef05b11
commit 4a06f518b3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5251,6 +5251,9 @@ packages:
"Alexander Esgen <amesgen@amesgen.de> @amesgen":
- ghc-hs-meta
"David Sánchez <davidslt+stackage@pm.me> @DavSanchez":
- richenv
"Grandfathered dependencies":
- BiobaseNewick
- Boolean