ANN: mybinder.org support for Julia 1.x and Project.toml

thanks for your answers! The picture is clearer now, but I still don’t understand a couple of things: my goal is to create an image with Julia 1.0.4 (or whatever version can do the right version of Turing) and Turing 0.6.23 to be able to share the environment for a publication. My current understanding is that if I manage to collect correctly Manifest.toml and Project.toml files, Binder will be launching exactly what I need and the users won’t need to make any additional installations. The questions now are:

  • where does the Manifest.toml file come from? I have found a couple on my computer, but none of them contains the Turing record, even though I use Truing all the time.
  • do the UUID come into Project.toml from the Manifest.toml file, i.e. should I copy-paste them from there for the libraries which I am going to use?
  • where and when should I use the package manager on Binder? I thought the idea of Binder was to pre-define all package versions in Project.toml and let everyone use the given set up. Please correct me if I am wrong.