diff --git a/build-constraints.yaml b/build-constraints.yaml
index 58c9bdd8..33922a85 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2033,8 +2033,7 @@ packages:
         - ipython-kernel # GHC 8
 
     "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
-        []
-        # - Agda # GHC 8.2.1
+        - Agda
 
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-sum
@@ -3379,6 +3378,9 @@ packages:
         # https://github.com/fpco/stackage/issues/2832
         - io-streams < 1.5
 
+        # https://github.com/fpco/stackage/issues/2860
+        - language-c < 0.7
+
 # end of packages
 
 # Package flags are applied to individual packages, and override the values of