From: Richard W.M. Jones <rjones@redhat.com>
Date: Fri, 4 Feb 2022 22:46:47 +0000 (+0000)
Subject: Add supermin
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=6f002abddfe772d7065f02edd91a83b2dd2b1627;p=fedora-ocaml-rebuild.git

Add supermin
---

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",