summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorZhu Zihao <all_but_last@163.com>2020-09-21 19:19:17 +0800
committerMathieu Othacehe <othacehe@gnu.org>2020-09-22 11:02:58 +0200
commit7e463dd16b7e273011f0beafa57a89fa2d525f8b (patch)
tree53671dd4fbbe155fe9d05b555857b03e1e0ee456 /gnu/packages/coq.scm
parent17e88168c3abb87ede709b18e376cdd4fe643b27 (diff)
gnu: fcitx: Update to 4.2.9.8.
* gnu/packages/fcitx.scm(fcitx): Update to 4.2.9.8. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions