Brett Gilio 8bbc8accda gnu: lean: Disable test cases for i686 and armhf. ...

* 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-19 20:24:00 -05:00

3.0 KiB

Raw Blame History

View Raw