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
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
guix.texi	guix: opam: Add coq support in the importer.	2020-12-08 16:53:07 +01:00
htmlxref.cnf
local.mk
package-hello.json
package-hello.scm