New comment by tornaria on void-packages repository

https://github.com/void-linux/void-packages/pull/32559#issuecomment-902297110

Comment:
Here's the complete error for test #1340 on i686, in case you can figure out what's wrong.
```
1340/1414 Test #1340: leanittest_complete_trailing_period.lean ....................***Failed    0.03 sec
--- complete_trailing_period.lean.expected.out	2021-08-12 10:56:43.000000000 +0000
+++ complete_trailing_period.lean.produced.out	2021-08-19 22:20:09.954646641 +0000
@@ -1,2 +1,2 @@
 {"message":"file invalidated","response":"ok","seq_num":0}
-{"completions":[{"source":,"text":"foo.rec","type":"Π (motive : foo → Sort l) (n : foo), motive n"},{"source":{"column":10,"line":3},"text":"foo.rec_on","type":"Π (motive : foo → Sort l) (n : foo), motive n"},{"source":{"column":10,"line":3},"text":"foo","type":"Type"}],"prefix":"foo.","response":"ok","seq_num":6}
+{"completions":[],"prefix":"foo.","response":"ok","seq_num":6}
ERROR: file complete_trailing_period.lean.produced.out does not match complete_trailing_period.lean.expected.out
```