You can publish the JLL to a GitHub repo of your choice with --deploy=username/MUMPS_jll.jl, see Reference · BinaryBuilder.jl. If you do that, then you can install the package on another machine by ]adding the corresponding URL
You can publish the JLL to a GitHub repo of your choice with --deploy=username/MUMPS_jll.jl, see Reference · BinaryBuilder.jl. If you do that, then you can install the package on another machine by ]adding the corresponding URL