Subject: Re: bug#53165: "guix import opam coq-of-ocaml" unexpected error
From: Julien Lepiller <[email-masked]>
To: zimoun <[email-masked]>
Cc: [email-masked], raingloom <[email-masked]>
Date: Sun, 12 Jun 2022 07:15:38 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Since then, this has been fixed:

guix import opam coq-of-ocaml
...
(description
   "This package lacks a description.  Run \"info '(guix) Synopses and
Descriptions'\" for more information.")
...

So, closing :)