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

doc: Use HTTPS for external links.

2020-03-10 20:26:52 +01:00

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

doc: Update htmlxref.cnf.

2020-01-12 00:19:10 +01:00

local.mk

doc: Fix xref translation macro.

2020-10-27 00:40:24 +01:00

package-hello.json

doc: Document building and installing from JSON files.

2020-04-16 23:41:52 +02:00

package-hello.scm

doc: Use the recommended Scheme format.

2015-09-14 23:10:58 +02:00