summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorGabriel Wicki <gabriel@erlikon.ch>2022-11-10 02:27:21 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2022-11-27 01:00:01 +0100
commitb39d77e7f792113176b406c736859bed8ab38b3d (patch)
treef6f086dc1f8490df9be2093a530ca2126b83cefd /gnu/packages/lean.scm
parent7e3becd791eaede35d75ab4b02b525371f4e2c5a (diff)
gnu: fritzing: Update to 0.9.6.
* gnu/packages/engineering.scm (fritzing): Update to 0.9.6. [arguments]: Update libgit2 substitutions.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions