diff --git a/build-constraints.yaml b/build-constraints.yaml index fbd68784..fa9358fd 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -1235,7 +1235,6 @@ packages: "Matthew Pickering @mpickering": - refact - servant-pandoc - - ghc-exactprint "Andrés Sicard-Ramírez @asr": - Agda