On 2020-05-01 17:13, Michel Levy wrote: > Why with this strange method, there is no more research of the module > Data.nat in the old library ? If you can reproduce the problem that you observed, please report it on the bug tracker. -- /NAD