diff --git a/ci/config.sh b/ci/config.sh
index 951b3ad5f9a8c9391e1177642f6d6f214185a9a3..3fb2edfaa8a08292fc0d5a2109d3c897a7d1eef9 100644
--- a/ci/config.sh
+++ b/ci/config.sh
@@ -82,10 +82,6 @@ case $version in
     #       package                   ticket
     broken  "Agda"                    20294
     broken  "diagrams-core"           20539
-    broken  "inj-base"                20584
-    broken  "lens"                    20584
-    broken  "microlens"               20584
-    broken  "mono-traversable"        20584
     ;;
 
   *)