aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2020-01-08 16:51:05 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2020-02-25 02:00:05 +0100
commit0d197a63d1c2751c562f44046b089017cd246574 (patch)
treef31c2f70cd1d196b38f2b0916246c3630ca41e30 /gnu/packages/coq.scm
parent679d41b4406d30ec5805ee8015d2ffa446a4e334 (diff)
downloadpatches-0d197a63d1c2751c562f44046b089017cd246574.tar
patches-0d197a63d1c2751c562f44046b089017cd246574.tar.gz
gnu: font-fantasque-sans: Update to 1.8.0.
* gnu/packages/fonts.scm (font-fantasque-sans): Update to 1.8.0. [native-inputs]: Remove ttf2eot. [arguments]: Rename the ‘xrange->range’ phase to ‘support-python@3’. Patch another Python twoism.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions