trixi-framework/Trixi.jl
GitHub で見るShorten package extension names as per the Pkg docs
Open
#2,543 opened on 2025年9月1日
good first issuerefactoring
説明
Since (I believe) v1.10, it is not necessary to include the parent package name in the extension package name. From the Pkg docs:
Extensions can have arbitrary names (here ContourExt), following the format of this example is likely a good idea for extensions with a single dependency. In Pkg output, extension names are always shown together with their parent package name.