Subject: Re: [bug#38546] [PATCH v5] Julia: Update to 1.3.1

From: Efraim Flashner <[email-masked]>
Date: Mon, 16 Mar 2020 12:06:41 +0200

The upgrade of libgit2 to 0.99.0 seems to have broken this

julia bin/install_packages.jl
Activating environment at `~/workspace/LMGPU.jl/Project.toml`
   Cloning default registries into `~/.julia`
   Cloning registry from "https://github.com/JuliaRegistries/General.git"
ERROR: LoadError: failed to clone from https://github.com/JuliaRegistries/General.git, error: GitError(Code:ERROR, Class:Invalid, invalid version 0 on git_proxy_options)

Other bug reports from other libgit2 version bumps suggest using an
older version of libgit2

-- 
Efraim Flashner   <[email-masked]>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted