From: Richard W.M. Jones <rjones@redhat.com>
Date: Sun, 28 Feb 2021 21:47:56 +0000 (+0000)
Subject: Enable gappalib-coq again.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=6ae5314c4219bd3dae9ddaf750339eee56104df6;hp=6ae5314c4219bd3dae9ddaf750339eee56104df6;p=fedora-ocaml-rebuild.git

Enable gappalib-coq again.
---