bug#53165: "guix import opam coq-of-ocaml" unexpected error

[Julien Lepiller]

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 :)