gnu: lean: Update to 3.17.1. - guix - Wojtek's customized Guix

diff options


context:
2019-06-05	accounts: Call 'fdatasync' when writing databases....	Ludovic Courtès
2019-06-05	accounts: Close database before renaming it....	Ludovic Courtès
2019-06-05	activation: Lock /etc/.pwd.lock before accessing databases....	Ludovic Courtès
commit	4deab59f5aed983dd6466603be8b6bb122c83e04 (patch)
tree	ce922aaa0962ea6ffdbd6aae88433c211d1aa078 /gnu/packages/digest.scm
parent	667903d1433ae86df09cc090daac67faa62afd32 (diff)
download	guix-4deab59f5aed983dd6466603be8b6bb122c83e04.tar.gz guix-4deab59f5aed983dd6466603be8b6bb122c83e04.zip

gnu: lean: Update to 3.17.1.

* gnu/packages/lean.scm (lean): Update to 3.17.1.

Diffstat (limited to 'gnu/packages/digest.scm')

0 files changed, 0 insertions, 0 deletions