Juliapro编写程序时如何添加GitHub上的代码

我在修改一个Julia的packages的其中一个.jl代码文件，这个文件调用了GitHub上的其他代码，我想调试修改后的代码，请问要怎么做？我用的是Juliapro1.2.0-2

描述更具体一点？

我正在修改一个从GitHub上下载的packages：neuralverification(以下简称NV)，它的代码里用using调用了其他的packages如JuMp，Lazy sets等，我想调试修改后的NV的代码。我现在已经将其中所需的JuMP等pkg安装到了Julia中，请问接下来在juliapro中的REPL输入“include NV.jl"就可以了吗？

注意下依赖的版本是不是兼容的，应该没啥大问题

请问这个问题如何解决？

包里没这个函数吧。看了下 readme 一共就提供了 5 个函数，没有 gen 函数。

你想用的是 using PkgTemplates 吧。

与无关的新提问最好单独发帖，这样便于搜索。