Disable ocaml-atd, ocaml-camlp5, coq, swig
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 12 Jul 2023 12:59:11 +0000 (13:59 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 12 Jul 2023 12:59:11 +0000 (13:59 +0100)
commita11c8cf33577f14c3043d26e384ca2e8a6b5753f
tree74b05b75bc5ab6690d91444f6987c6aa90b9efad
parent14c2539c35635d1c8092295091ddae167512b8be
Disable ocaml-atd, ocaml-camlp5, coq, swig

See comments for why.
Goalfile