aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions
20-11-26 04:22:50 +0100'>2020-11-26gnu: lean: Update to 3.23.0.Tobias Geerinckx-Rice 2020-07-19gnu: lean: Disable test cases for i686 and armhf.Brett Gilio 2020-07-19gnu: lean: Update to 3.17.1.Brett Gilio