diff options
author | Julien Lepiller <julien@lepiller.eu> | 2020-12-08 15:03:47 +0100 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2020-12-08 16:53:07 +0100 |
commit | ccc4d287b7bd2a3ddea7b7f2c1ea2a722e68115c (patch) | |
tree | eae73548e3f438c6ea3af85c13564c561ce5d28c /gnu/packages | |
parent | a8dccd4bdc1e58219d4ba08fe1649bf0b8325f44 (diff) | |
download | guix-patches-ccc4d287b7bd2a3ddea7b7f2c1ea2a722e68115c.tar guix-patches-ccc4d287b7bd2a3ddea7b7f2c1ea2a722e68115c.tar.gz |
guix: opam: Add coq support in the importer.
* guix/import/opam.scm (get-opam-repository): Add support for coq
repositories.
(ocaml-name->guix-name): Properly name coq package.
* doc/guix.texi (Invoking guix import): Document it.
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions