X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=ff03426ee24dc64e326d21facd70261b93f0c2eb;hb=ddd9d928405d2472e7288b1303fc5dc79839d550;hp=abbf7c9c7f02111f28f29ef1dd3953510ae5e2c4;hpb=db046c179a850df45638e1982a08dd0e0dcc1fd1;p=fedora-ocaml-rebuild.git

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