summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2020-07-20 01:47:39 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2020-07-20 01:48:26 +0200
commit454b3748661b2ad47665e176e93d25f0ff9fbecb (patch)
tree8c6e786c3ac65f7a75f6bb1568eeb1c2609fc323 /gnu/packages/lean.scm
parentb036e370b458738b0eb182776e9e9c1f6e1584a4 (diff)
downloadguix-patches-454b3748661b2ad47665e176e93d25f0ff9fbecb.tar
guix-patches-454b3748661b2ad47665e176e93d25f0ff9fbecb.tar.gz
gnu: console-setup: Update to 1.196.
* gnu/packages/xorg.scm (console-setup): Update to 1.196. [source]: Use git tag.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions