From 6f002abddfe772d7065f02edd91a83b2dd2b1627 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Fri, 4 Feb 2022 22:46:47 +0000
Subject: [PATCH] Add supermin

---
 Goalfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Goalfile b/Goalfile
index 29aeac8..4f36733 100644
--- a/Goalfile
+++ b/Goalfile
@@ -198,6 +198,7 @@ let packages = [
     # https://bugzilla.redhat.com/show_bug.cgi?id=2050480
     #"plplot",
     "prooftree",
+    "supermin",
     "utop",
     "virt-top",
     "virt-v2v",
-- 
1.8.3.1