Skip to content
GitLab
Explore
Sign in
It should work for julia>=1.6 now
Code
Review changes
Check out branch
Download
Patches
Plain diff
YingXing
requested to merge
fix-julia-deps
into
main
Oct 11, 2023
Overview
2
Commits
6
Pipelines
0
Changes
4
Expand
Please test if this works for julia with
1.6
1.7
1.8
1.9
Edited
Oct 12, 2023
by
Michele Nottoli
Merge request reports
Loading