trixi-framework/Trixi.jl
Ver no GitHubShorten package extension names as per the Pkg docs
Open
#2.543 aberto em 1 de set. de 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.