From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 1 Sep 2020 20:08:20 +0000 (+0100)
Subject: Include separate Coq packages list in the main list.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=71862a6ce5b16d6d9ac2e07e581a2869ec99ac09;hp=71862a6ce5b16d6d9ac2e07e581a2869ec99ac09;p=fedora-ocaml-rebuild.git

Include separate Coq packages list in the main list.

Separated for historical reasons that make no sense now.
---