Block coq while jjames looks at it.
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 1 Aug 2019 17:39:35 +0000 (18:39 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 1 Aug 2019 17:39:35 +0000 (18:39 +0100)
commit4f4e732e582bfe1705c231c98486cb90b3d10175
treed066080fbe20bf59c94f9386a7d1cbb7e9a2661e
parent5e8c2cd06d80d7e388885f2d895cf4501dc7f9ae
Block coq while jjames looks at it.
fedora_ocaml_rebuild.ml