From 3ef11ebb3d5873c0da98c0606e2e1bf5f2844143 Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>
Date: Mon, 23 Dec 2024 15:51:24 -0800
Subject: [PATCH] Update control

---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index de764941a..217f0c885 100644
--- a/debian/control
+++ b/debian/control
@@ -1,5 +1,5 @@
 Source: yices2
-Maintainer: Ian A. Mason <iam@csl.sri.com>
+Maintainer: Ahmed Irfan <ahmed.irfan@sri.com>
 Section: misc
 Priority: optional
 Standards-Version: 3.9.8