From: Richard W.M. Jones <rjones@redhat.com>
Date: Mon, 6 Apr 2020 08:41:26 +0000 (+0100)
Subject: Re-add gappalib-coq.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=6e3c0abee809b588e96095c7f15d07edbf35ae76;hp=6e3c0abee809b588e96095c7f15d07edbf35ae76;p=fedora-ocaml-rebuild.git

Re-add gappalib-coq.
---