Links for acl2-jupyter
acl2_jupyter-1.0.4.tar.gz
acl2_jupyter-1.0.6.tar.gz
acl2_jupyter-1.0.7.tar.gz