trixi-framework/Trixi.jl
View on GitHubShorten package extension names as per the Pkg docs
Open
#2,543 opened on Sep 1, 2025
good first issuerefactoring
Description
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.