From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 1 Sep 2020 17:36:39 +0000 (+0100)
Subject: Add prooftree.
X-Git-Url: http://git.annexia.org/?p=fedora-ocaml-rebuild.git;a=commitdiff_plain;h=ddd9d928405d2472e7288b1303fc5dc79839d550

Add prooftree.
---

diff --git a/Goalfile b/Goalfile
index abbf7c9..ff03426 100644
--- a/Goalfile
+++ b/Goalfile
@@ -176,6 +176,7 @@ let packages = [
     "libnbd",
     "opam",
     "plplot",
+    "prooftree",
     "utop",
     "virt-top",
     "virt-v2v",