summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2021-01-02 03:07:05 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2021-01-02 18:54:30 +0100
commit405220916ae8ab4ec8f34adee9b9e09407071fe6 (patch)
tree60e1241850db0b6d21751fe841fe331618368281 /gnu/packages/coq.scm
parent434f378dff3ac0d51f3f81d93d7157ffbfecbdb2 (diff)
downloadguix-405220916ae8ab4ec8f34adee9b9e09407071fe6.tar.gz
gnu: font-jetbrains-mono: Update to 2.221.
* gnu/packages/fonts.scm (font-jetbrains-mono): Update to 2.221.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions