git.annexia.org / fedora-ocaml-rebuild.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a884816)
Add supermin
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 4 Feb 2022 22:46:47 +0000 (22:46 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 4 Feb 2022 22:46:47 +0000 (22:46 +0000)
Goalfile patch | blob | history

diff --git a/Goalfile b/Goalfile
index 29aeac8..4f36733 100644 (file)
--- 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",
Unnamed repository; edit this file 'description' to name the repository.