Bryan Hundven 5a86af465f Add isl 0.25
This fixes configure time issues on newer linux distributions

Signed-off-by: Bryan Hundven <bryanhundven@gmail.com>
2023-03-14 08:53:16 +13:00
..
2017-09-29 17:05:22 -07:00
2017-09-29 17:05:22 -07:00
2017-09-29 17:05:22 -07:00
2017-09-29 17:05:22 -07:00
2019-12-25 18:30:23 -08:00
2019-12-25 18:30:23 -08:00
2022-02-23 20:20:55 +13:00
2022-02-23 20:20:55 +13:00
2023-03-14 08:53:16 +13:00
2022-02-11 00:47:50 -08:00