Gen install

Is it possible to install Gen on JuliaBox? I’m getting errors. I’m not sure it is possible to enter the pkg REPL in Jupyter so I’m trying some other approaches.

using Pkg
pkg"add https://github.com/probcomp/Gen"

GitError(Code:ENOTFOUND, Class:Repository, could not find repository from ‘/mnt/juliabox/.julia/clones/2723206085777595909’)


Pkg.add(PackageSpec(url = "https://github.com/probcomp/Gen"))

GitError(Code:ENOTFOUND, Class:Repository, could not find repository from ‘/mnt/juliabox/.julia/clones/2723206085777595909’)