summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2022-09-26 14:20:32 -0400
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2022-09-27 10:05:54 -0400
commit1fe766fbe75330f96d9bec8ab8c86385fa68d1c9 (patch)
treeb8510eec4602e9a489e37959447c4eab01ea26fb /gnu/packages/coq.scm
parentfb6173b7c0aab02efdf15bfc9a00791f77a8b04f (diff)
downloadguix-1fe766fbe75330f96d9bec8ab8c86385fa68d1c9.tar.gz
gnu: docbook-xsl-ns: Rename to docbook-xsl-1.79.1 and use gexps.
* gnu/packages/docbook.scm (docbook-xsl-ns): Rename to...
(docbook-xsl-1.79.1): ... this.
[source]: Adjust URL and add a comment.
[arguments]: Use gexps and adjust phases accordingly.
* gnu/packages/gnome.scm (colord)[native-inputs]: Replace docbook-xsl-ns with
docbook-xsl-1.79.1.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions