This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.

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	doc: Document building and installing from JSON files.	2020-04-16 23:41:52 +02:00
package-hello.scm	…