From ddd9d928405d2472e7288b1303fc5dc79839d550 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 1 Sep 2020 18:36:39 +0100
Subject: [PATCH] Add prooftree.

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

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