From d400dec7092f7f63c5f41eda163fdf1a2c6ddd02 Mon Sep 17 00:00:00 2001 From: Thomas Trepl Date: Wed, 13 Mar 2024 22:19:48 +0100 Subject: [PATCH] Upgrade isl-0.26 and chg download url --- packages.ent | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/packages.ent b/packages.ent index be58de1b9..089cd95cf 100644 --- a/packages.ent +++ b/packages.ent @@ -349,12 +349,13 @@ - - + + - - - + + + +