[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#53165: "guix import opam coq-of-ocaml" unexpected error
|
From: |
Julien Lepiller |
|
Subject: |
bug#53165: "guix import opam coq-of-ocaml" unexpected error |
|
Date: |
Sun, 12 Jun 2022 07:15:38 +0200 |
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 :)
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#53165: "guix import opam coq-of-ocaml" unexpected error,
Julien Lepiller <=