[hsct]: Error: Configuration not found. Maybe you need to run init first?
>>> Fetching sources...
filename:'isl-0.11.1.tar.bz2' url:'http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2'
     -> Fetching isl-0.11.1.tar.bz2...
--2023-05-16 01:40:27--  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Resolving isl.gforge.inria.fr (isl.gforge.inria.fr)... 128.93.193.15
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 01:42:39--  (try: 2)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 01:44:51--  (try: 3)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 01:47:03--  (try: 4)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 01:49:19--  (try: 5)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 01:51:35--  (try: 6)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 01:53:51--  (try: 7)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 01:56:07--  (try: 8)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 01:58:28--  (try: 9)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 02:00:48--  (try:10)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 02:03:08--  (try:11)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 02:05:27--  (try:12)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 02:07:47--  (try:13)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 02:10:06--  (try:14)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 02:12:25--  (try:15)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 02:14:44--  (try:16)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 02:17:04--  (try:17)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 02:19:23--  (try:18)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 02:21:42--  (try:19)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Retrying.

--2023-05-16 02:24:02--  (try:20)  http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2
Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
Giving up.

[hsct]: Error: Failed to fetch http://isl.gforge.inria.fr/isl-0.11.1.tar.bz2.