mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-02-01 00:45:43 +00:00
028b9d1c98
For CLooG/PPL 0.15.3, the directory name was simply cloog-ppl. For any later versions, the driectory name does have the version, such as cloog-ppl-0.15.4.