Elliot Saba

> If doing this then should match Cargo.io > So it should be `licence-file.` > Not `licence-path`. While naming doesn't matter that much to me, that also seems fine. >...

Right; the two modes of operation are: no fields necessary (because license autodetection works) or both fields necessary (to assert that (a) a license file exists in upstream at all,...

Pinging @DilumAluthge as the person most likely to be able to pull this off.

Here's another vote for ResNet timings with Zygote. :D I really hope there's been progress!

In any case, even if we just want to put this stuff inside of my PPA, we're going to need to change the header names. -E

If we want to distribute precompiled versions of package C codes, distribution packages (.deb, .rpm, etc...) have been our go-to solution so far. Of course if we force the user...

I pushed a commit that I think fixes things locally, but it fails on CI; feel free to drop that commit and go back to what Shuhei was doing originally.

> It works with a dummy command (e.g. ls), but fails if I stick another invocation of the julia plugin after I invoke the sandbox plugin. It's telling you, via...

I can't wait to see you try to define division

# EDIT **My brain was fuzzled, ignore everything in this post, it assumes you're using `Homebrew.jl` on OSX.** You could attempt to force Homebrew.jl to override your system-wide `ipopt` installation...