Closed vneiger closed 6 months ago
In fact it seems this include was just not needed anyway. In case this is needed in the future: the corresponding files fft_tuning{32,64}.in were removed from flint in this commit https://github.com/flintlib/flint/commit/0672a560daf32050d7bce979329f9221fe9e7098
In fact it seems this include was just not needed anyway. In case this is needed in the future: the corresponding files fft_tuning{32,64}.in were removed from flint in this commit https://github.com/flintlib/flint/commit/0672a560daf32050d7bce979329f9221fe9e7098