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