aboutsummaryrefslogtreecommitdiff
path: root/NEWS
blob: 79c80cf949d3a992b4586bf126251cdba988a2b3 (about) (plain)
blob size (373KB) exceeds display size limit (100KB).
generated by cgit
d>gnu: lean: Trim synopsis....Tobias Geerinckx-Rice 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 2020-03-28Update email address and Savannah handle for Amin Bandali....Amin Bandali