From: Richard W.M. Jones <rjones@redhat.com>
Date: Wed, 12 Jul 2023 16:11:58 +0000 (+0100)
Subject: Re-enable coq and packages that depend on it
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=ef51f30e882cd54a07d0c70bf1e0400fc587d45b;hp=ef51f30e882cd54a07d0c70bf1e0400fc587d45b;p=fedora-ocaml-rebuild.git

Re-enable coq and packages that depend on it

We have reached a resolution here: we'll only build coq on
architectures that have the native compiler.
---