From 61faea1819db875183dadf7291ed404f7fb46817 Mon Sep 17 00:00:00 2001 From: Daniel Casanueva Date: Fri, 21 Feb 2025 16:05:09 +0100 Subject: [PATCH] Update Daniel Casanueva's email address --- build-constraints.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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