me
/
guix
Archived
1
0
Fork 0
Code
This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.
guix/doc
History
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
…
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
…