Merge pull request #6449 from andreasabel/takeover-missingh

MissingH: takeover, reenable testsuite
This commit is contained in:
Adam Bergmark 2022-02-19 17:07:59 +01:00 committed by GitHub
commit 2017186a34
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -56,26 +56,29 @@ packages:
- geniplate-mirror
"Andreas Abel <andreas.abel@gu.se> @andreasabel":
- BNFC
- Sit
- STMonadTrans
- Agda
- agda2lagda
- BNFC
- cabal-clean
- ListLike
- haskell-src
- fix-whitespace
- hs-tags
- goldplate
- hasktags
- hs-tags
- java-adt
- Sit
- haskell-src
- ListLike
- MissingH
- regex-base
- regex-compat
- regex-pcre
- regex-posix
- regex-posix-clib
- regex-tdfa
- java-adt
- shelly
- STMonadTrans
- tasty-silver
- acid-state
@ -1552,7 +1555,6 @@ packages:
- interpolatedstring-perl6
- iproute
- missing-foreign
- MissingH
- multimap
- parallel-io
- text-binary