aboutsummaryrefslogtreecommitdiff
path: root/tests/glob.scm
diff options
context:
space:
mode:
Diffstat (limited to 'tests/glob.scm')
0 files changed, 0 insertions, 0 deletions
generated by cgit
100'>2020-11-26gnu: lean: Update to 3.23.0.Tobias Geerinckx-Rice * gnu/packages/lean.scm (lean): Update to 3.23.0. 2020-07-19gnu: lean: Disable test cases for i686 and armhf.Brett Gilio * gnu/packages/lean.scm (lean)[arguments]: Individual test cases are currently failing for 32-bit architectures. Disable them temporarily pending further investigation as to resolution. 2020-07-19gnu: lean: Update to 3.17.1.Brett Gilio * gnu/packages/lean.scm (lean): Update to 3.17.1. 2020-03-28Update email address and Savannah handle for Amin Bandali.Amin Bandali * .mailmap, gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm, gnu/packages/fonts.scm, gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm, gnu/packages/pulseaudio.scm: Update my email address. * build-aux/git-authenticate.scm: Update my Savannah handle.