X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fdune-project;h=8a85936cced1b59e62387d8508c65eed26880068;hb=6fbaee3701f116f9db60bfd3998dff63ddb68704;hp=a40f5a38fc11b3e6187ee543ed66da5f9012f51b;hpb=8f4dd9ff1ccceb8b305376fbbdfd1526dc9c22ab;p=helm.git

diff --git a/matita/dune-project b/matita/dune-project
index a40f5a38f..8a85936cc 100644
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -31,6 +31,7 @@
    (ulex-camlp5 (= 1.3))
    (ocaml-expat (= 1.1.0))
    (lablgtk3-sourceview3 (= 3.1.3))
+   dune-build-info
    (camlp5 (= 8.00.04)))
  (tags
   ("interactive theorem proving" "calculus of constructions")))