2 ms·

- library download manager ? -> https://www.quicklisp.org/ https://www.quicklisp.org/ (over 1500 libs)