Closed jfmc closed 4 years ago
Thanks! I will be testing together with the updates for Ciao that I committed for the portable os and random libraries. The goal is to officially support Ciao in the next stable release (expected in one or two weeks).
os
random
Thanks! I will be testing together with the updates for Ciao that I committed for the portable
os
andrandom
libraries. The goal is to officially support Ciao in the next stable release (expected in one or two weeks).