diff --git a/build-constraints.yaml b/build-constraints.yaml
index 49e0cf58..deb31e33 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4901,6 +4901,7 @@ packages:
 
     "8c6794b6 <8c6794b6@gmail.com> @8c6794b6":
         - hpc-codecov
+        - miniterion
 
     "Hiromi Ishii <konn.jinro@gmail.com> @konn":
         - equational-reasoning