summary refs log tree commit diff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorBrett Gilio <brettg@gnu.org>2020-07-18 23:51:32 -0500
committerBrett Gilio <brettg@gnu.org>2020-07-18 23:51:32 -0500
commit667903d1433ae86df09cc090daac67faa62afd32 (patch)
treea62bd8a7d8d399f5a22159d5ba5c198ef253b88d /gnu/packages/lean.scm
parentd37eb6bb20069464e3a82d15a350084b457c12f6 (diff)
downloadguix-667903d1433ae86df09cc090daac67faa62afd32.tar.gz
gnu: straw-viewer: Update to 0.0.6.
* gnu/packages/video.scm (straw-viewer): Update to 0.0.6.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions