guix/doc
Julien Lepiller ccc4d287b7
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.
2020-12-08 16:53:07 +01:00
..
images doc: Update 'Bootstrapping' for further binary seed reduction. 2020-05-22 16:11:52 +02:00
build.scm doc: Cookbook links to /manual/devel, not /manual. 2020-10-21 19:19:33 +02:00
contributing.texi maint: update-guix-package: Optionally add sources to store. 2020-11-12 09:23:27 -05:00
environment-gdb.scm
fdl-1.3.texi
guix-cookbook.texi doc: cookbook: Balance parens in custom kernel examples. 2020-10-17 22:40:18 +02:00
guix.texi guix: opam: Add coq support in the importer. 2020-12-08 16:53:07 +01:00
htmlxref.cnf
local.mk doc: Fix xref translation macro. 2020-10-27 00:40:24 +01:00
package-hello.json
package-hello.scm