Actually there is a 0.7.6 from lingot (current one is 0.7.4) for almost more than a year, and its news says that some segmentation faults have been corrected. I think this one should be in the repository.
Actually there is a 0.7.6 from lingot (current one is 0.7.4) for almost more than a year, and its news says that some segmentation faults have been corrected. I think this one should be in the repository.