Links for acl2-jupyter

acl2_jupyter-0.3.tar.gz
acl2_jupyter-0.4.tar.gz