diff --git a/build-constraints.yaml b/build-constraints.yaml index 10cbb4f2..6030b385 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -1325,7 +1325,7 @@ packages: - text-format # needed by liquid-fixpoint - liquid-fixpoint - "Daniel Casanueva @Daniel-Diaz": + "Daniel Casanueva @Daniel-Diaz": - binary-list - bounded-qsem - byteset