diff --git a/build-constraints.yaml b/build-constraints.yaml
index a12a90a5e..730a210ad 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -7085,7 +7085,6 @@ packages:
         - gogol-youtube < 0 # tried gogol-youtube-0.5.0, but its *library* requires the disabled package: gogol-core
         - gogol-youtube-analytics < 0 # tried gogol-youtube-analytics-0.5.0, but its *library* requires the disabled package: gogol-core
         - gogol-youtube-reporting < 0 # tried gogol-youtube-reporting-0.5.0, but its *library* requires the disabled package: gogol-core
-        - goldplate < 0 # tried goldplate-0.2.2.1, but its *library* requires Diff >=0.3 && < 0.6 and the snapshot contains Diff-1.0.2
         - google-translate < 0 # tried google-translate-0.5, but its *library* requires bytestring >=0.10 && < 0.11 and the snapshot contains bytestring-0.12.1.0
         - google-translate < 0 # tried google-translate-0.5, but its *library* requires http-api-data >=0.2 && < 0.4 and the snapshot contains http-api-data-0.6.1
         - google-translate < 0 # tried google-translate-0.5, but its *library* requires http-client >=0.4 && < 0.6 and the snapshot contains http-client-0.7.17
@@ -8891,7 +8890,6 @@ skipped-tests:
     - JuicyPixels-blurhash # tried JuicyPixels-blurhash-0.1.0.3, but its *test-suite* requires tasty >=1.2.3 && < 1.5 and the snapshot contains tasty-1.5.2
     - JuicyPixels-blurhash # tried JuicyPixels-blurhash-0.1.0.3, but its *test-suite* requires tasty-discover >=4.2.1 && < 4.3 and the snapshot contains tasty-discover-5.0.0
     - JuicyPixels-blurhash # tried JuicyPixels-blurhash-0.1.0.3, but its *test-suite* requires tasty-hedgehog >=1.0.0.2 && < 1.2 and the snapshot contains tasty-hedgehog-1.4.0.2
-    - agda2lagda # tried agda2lagda-0.2023.6.9, but its *test-suite* requires the disabled package: goldplate
     - airship # tried airship-0.9.5, but its *test-suite* requires bytestring >=0.9.1 && < 0.11 and the snapshot contains bytestring-0.12.1.0
     - airship # tried airship-0.9.5, but its *test-suite* requires tasty >=0.10.1 && < 1.3 and the snapshot contains tasty-1.5.2
     - airship # tried airship-0.9.5, but its *test-suite* requires tasty-quickcheck >=0.8.3 && < 0.11 and the snapshot contains tasty-quickcheck-0.11