aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2019-07-02 22:16:40 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2019-07-02 23:13:20 +0200
commit3f6943846f65f4158b5715d0b7bc23f031991a91 (patch)
treefd251546ae3e632c212870d02a990de99517cbd2 /gnu/packages/coq.scm
parent1b7395b1adcce4c895240f1cfa245262c7e2ea9d (diff)
downloadguix-3f6943846f65f4158b5715d0b7bc23f031991a91.tar.gz
guix-3f6943846f65f4158b5715d0b7bc23f031991a91.zip
gnu: garcon: Update to 0.6.3.
* gnu/packages/xfce.scm (garcon): Update to 0.6.3.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions