Hop.jl
Hop.jl has been renamed to HopTB.jl and moved to https://github.com/HopTB/HopTB.jl
Hop.jl has been renamed to HopTB.jl and moved to https://github.com/HopTB/HopTB.jl
Hop.jl has been renamed to HopTB.jl and moved to https://github.com/HopTB/HopTB.jl
Hop.jl has been renamed to HopTB.jl and moved to https://github.com/HopTB/HopTB.jl