Closed nderjung closed 3 years ago
Use the mirroring service for micro-library source origin's hosted at https://releases.unikraft.org/mirrors.
This can be accomplished by retrieving the filename from current origin, at LIB${LIBNAME}_URL, and replacing the rest of the URL with the naming format https://releases.unikraft.org/mirrors/libs/${LIBNAME}/${FILENAME}.
LIB${LIBNAME}_URL
https://releases.unikraft.org/mirrors/libs/${LIBNAME}/${FILENAME}
Use the mirroring service for micro-library source origin's hosted at https://releases.unikraft.org/mirrors.
This can be accomplished by retrieving the filename from current origin, at
LIB${LIBNAME}_URL, and replacing the rest of the URL with the naming formathttps://releases.unikraft.org/mirrors/libs/${LIBNAME}/${FILENAME}.