[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 <=