summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorMathieu Othacehe <othacehe@gnu.org>2020-11-29 16:43:01 +0100
committerMathieu Othacehe <othacehe@gnu.org>2020-11-29 16:43:01 +0100
commit44068c7d3053fa4dc7a2bf7ab30ad65b44c6b02a (patch)
tree451855855eb2acc651bbdb7b30410ec8923f2188 /gnu/packages/coq.scm
parent36826389105fb7cf9037c5214ed9a6e37c83ad57 (diff)
downloadguix-44068c7d3053fa4dc7a2bf7ab30ad65b44c6b02a.tar.gz
self: Fix guile-avahi lookup.
This is a follow-up of 375cc7dea20da7117c9459e4a4d15144095e015b.

* guix/self.scm (specification->package): Search for "guile-avahi" in (gnu
package guile-xyz).
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions