diff --git a/profiles/templates/3.5/6_ac_update_sync/world/grp/dev-lang b/profiles/templates/3.5/6_ac_update_sync/world/grp/dev-lang index 8b58a6fa..7813ccd1 100644 --- a/profiles/templates/3.5/6_ac_update_sync/world/grp/dev-lang +++ b/profiles/templates/3.5/6_ac_update_sync/world/grp/dev-lang @@ -9,6 +9,8 @@ scala-bin !!gnat-gpl:6.3.0 !!gnat-gpl:7.3.1 !!gnat-gpl:8.3.1 +!!gnat-gpl:9.3.1 +!!gnat-gpl:10 !!scala-bin:0 #in#