Attention des changements sont bientôt à prévoir sur l'instance gitea d'Aurore :
-- { dg-do compile }
-- { dg-options "-gnatE" }
package body Elab6 is
procedure Force_Body is null;
package Inst is new Elab6_Pkg;
end Elab6;