diff --git a/build-constraints.yaml b/build-constraints.yaml index 15311f5b..7bf702de 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -1322,7 +1322,7 @@ packages: - text-format # needed by liquid-fixpoint - liquid-fixpoint - "Daniel Casanueva @Daniel-Diaz": + "Daniel Casanueva @Daniel-Diaz": - binary-list - bounded-qsem - byteset