3:45 a.m.
Is Julia something that can be added to official Fedora repositories?
The Julia documentation ( https://julialang.org/downloads/platform/ )
recommends a COPR repository:
https://copr.fedoraproject.org/coprs/nalimilan/julia/
but maybe this is something that can be added.
4:37 a.m.
El dom., 28 mar. 2021 10:45, Benson Muite <benson_muite(a)emailplus.org escribió:
Is Julia something that can be added to official Fedora
repositories?
The Julia documentation ( https://julialang.org/downloads/platform/ )
recommends a COPR repository:
https://copr.fedoraproject.org/coprs/nalimilan/julia/
but maybe this is something that can be added.
It's already part of Fedora: https://src.fedoraproject.org/rpms/julia
The question is why upstream recommends the maintainer's Copr instead.
Iñaki
6:05 a.m.
Iñaki
It's already part of Fedora:
https://src.fedoraproject.org/rpms/julia
<https://src.fedoraproject.org/rpms/julia>
The question is why upstream recommends the maintainer's Copr instead.
Thanks, made a pull request to update the documentation.
Benson
6:07 a.m.
On Sun, Mar 28, 2021 11:37:14 +0200, Iñaki Ucar wrote:
It's already part of
Fedora: https://src.fedoraproject.org/rpms/julia
The question is why upstream recommends the maintainer's Copr instead.
That's very odd!
Their docs are on GitHub, so one could open a PR there (and perhaps
discuss why a COPR is preferred to the standard repos):
https://github.com/JuliaLang/www.julialang.org/blob/main/downloads/platfo...
--
Thanks,
Regards,
Ankur Sinha "FranciscoD" (He / Him / His) |
https://fedoraproject.org/wiki/User:Ankursinha
Time zone: Europe/London
6:18 a.m.
That's very odd!
Their docs are on GitHub, so one could open a PR there (and perhaps
discuss why a COPR is preferred to the standard repos):
https://github.com/JuliaLang/www.julialang.org/blob/main/downloads/platfo...
https://github.com/JuliaLang/www.julialang.org/pull/1248
>
1124
days inactive
1124
days old
scitech@lists.fedoraproject.org
4 comments
3 participants
participants (3)
-
Ankur Sinha -
Benson Muite -
Iñaki Ucar