Merge pull request #6732 from nomeata/rec-def

This commit is contained in:
Alexey Zabelin 2022-10-10 15:00:03 -05:00 committed by GitHub
commit 5f6ab7df02
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1392,6 +1392,7 @@ packages:
"Joachim Breitner <mail@joachim-breitner.de> @nomeata":
- arbtt
- rec-def
- bytestring-progress # dependency of arbtt
- circle-packing
- haskell-spacegoo