summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2021-07-06 19:12:21 -0400
committerLeo Famulari <leo@famulari.name>2021-07-06 19:13:17 -0400
commit601063c612edccbaae038fabe4759a303eff5593 (patch)
tree7338b74d7df795c987677ebfc67e849efe33f8a7 /gnu/packages/lean.scm
parent2252abce0525a5ce0921e5feb0872d982515f77c (diff)
gnu: Mutt: Update to 2.1.0.
* gnu/packages/mail.scm (mutt): Update to 2.1.0.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions