X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=7a7f95ff4d378b59da7a65f88af6792735e2aa45;hb=da984f922bb4dfd240fa92a5df7885d8ea1a1d6f;hp=07ef5749cc49fda8224a3a6a548992d6847e5b5f;hpb=1eff3e970b65ef5c8c83489f2b81c62a280365ea;p=fedora-ocaml-rebuild.git

diff --git a/Goalfile b/Goalfile
index 07ef574..7a7f95f 100644
--- a/Goalfile
+++ b/Goalfile
@@ -20,6 +20,7 @@ let fedora-ignored = [
     # These use rpmautospec and must be rebuilt by hand for now.
     # XXX eventually need to fix stdlib/fedora.gl to deal with these
     "ocaml-base64",
+    "ocaml-dose3",
     "ocaml-opam-file-format",
 ]