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