Add prooftree.

[fedora-ocaml-rebuild.git] / Goalfile

diff --git a/Goalfile b/Goalfile
index 40627d6..ff03426 100644 (file)
--- a/Goalfile
+++ b/Goalfile
@@ -31,7 +31,7 @@ let packages = [
     "ocaml-biniou",
     "ocaml-bin-prot",
     "ocaml-bisect-ppx",
-    #"ocaml-cairo",
+    "ocaml-cairo",
     "ocaml-calendar",
     "ocaml-camlidl",
     "ocaml-camlimages",
@@ -143,7 +143,7 @@ let packages = [
     "ocaml-sexplib0",
     "ocaml-sha",
     "ocaml-sqlite",
-    #"ocaml-ssl",
+    "ocaml-ssl",
     "ocaml-stdint",
     "ocaml-stdio",
     "ocaml-time-now",
@@ -176,6 +176,7 @@ let packages = [
     "libnbd",
     "opam",
     "plplot",
+    "prooftree",
     "utop",
     "virt-top",
     "virt-v2v",