aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2020-01-08 14:48:24 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2020-01-09 01:46:30 +0100
commit7c3c6f3a151af5a97f0c07c1c624f3769bfbd353 (patch)
tree93b45c5b74413c56bce0af74e6841e67b62b771e /gnu/packages/coq.scm
parentfb7e50bdb4631459855183ab5dc1e714fb3fddea (diff)
downloadguix-7c3c6f3a151af5a97f0c07c1c624f3769bfbd353.tar
guix-7c3c6f3a151af5a97f0c07c1c624f3769bfbd353.tar.gz
gnu: font-comic-neue: Add a note about versions.
* gnu/packages/fonts.scm (font-comic-neue): Add a comment about the ‘v2.4’ tag.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions