Add prooftree.

[fedora-ocaml-rebuild.git] / Goalfile

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