Merge pull request #6075 from jkoppel/master

adding language-dot (requires maintainer approval)
This commit is contained in:
Adam Bergmark 2021-06-19 02:16:23 +02:00 committed by GitHub
commit 01ffc7812b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1283,6 +1283,7 @@ packages:
"Ben Gamari <ben@smart-cactus.org> @bgamari":
- vector-fftw < 0 # GHC 8.4 via base-4.11.0.0
- cborg-json
- language-dot
"Roman Cheplyaka <roma@ro-che.info> @feuerbach":
- action-permutations