| Ada | Yes |
| Ada.Asynchronous_Task_Control | Yes |
| Ada.Calendar | Yes[a][b] |
| Ada.Characters | Yes |
| Ada.Characters.Handling | Yes |
| Ada.Characters.Latin_1 | Yes |
| Ada.Characters.Wide_Latin_1 | Yes |
| Ada.Command_Line | Not applicable |
| Ada.Decimal | Yes |
| Ada.Direct_IO | Yes[b] |
| Ada.Dynamic_Priorities | Yes |
| Ada.Exceptions | Yes |
| Ada.Finalization | Restricted No_Implicit_Heap_Allocations |
| Ada.Interrupts | Yes |
| Ada.Interrupts.Names | Yes |
| Ada.IO_Exceptions | Yes |
| Ada.Numerics | Yes |
| Ada.Numerics.Complex_Elementary_Functions | Yes |
| Ada.Numerics.Complex_Types | Yes |
| Ada.Numerics.Discrete_Random | Not applicable |
| Ada.Numerics.Elementary_Functions | Yes |
| Ada.Numerics.Float_Random | Not applicable |
| Ada.Numerics.Generic_Complex_Elementary_Functions | Yes |
| Ada.Numerics.Generic_Complex_Types | Yes |
| Ada.Numerics.Generic_Elementary_Functions | Yes |
| Ada.Real_Time | Yes |
| Ada.Sequential_IO | Yes[b] |
| Ada.Storage_IO | Yes |
| Ada.Streams | Restricted No_Dispatch |
| Ada.Streams.Stream_IO | Restricted No_Dispatch |
| Ada.Strings | Yes |
| Ada.Strings.Bounded | Yes |
| Ada.Strings.Fixed | Yes |
| Ada.Strings.Maps | Yes |
| Ada.Strings.Maps.Constants | Yes |
| Ada.Strings.Unbounded | Not available |
| Ada.Strings.Wide_Bounded | Restricted No_Implicit_Heap_Allocations |
| Ada.Strings.Wide_Fixed | Restricted No_Implicit_Heap_Allocations |
| Ada.Strings.Wide_Maps | Restricted No_Implicit_Heap_Allocations |
| Ada.Strings.Wide_Maps.Wide_Constants | Restricted No_Implicit_Heap_Allocations |
| Ada.Strings.Wide_Unbounded | Restricted No_Implicit_Heap_Allocations |
| Ada.Synchronous_Task_Control | Yes |
| Ada.Tags | Restricted No_Dispatch |
| Ada.Task_Attributes | No |
| Ada.Task_Identification | Yes |
| Ada.Text_IO | Yes[b] |
| Ada.Text_IO.Complex_IO | Not applicable |
| Ada.Text_IO.Editing | Not applicable |
| Ada.Text_IO.Text_Streams | Not applicable |
| Ada.Unchecked_Conversion | Yes |
| Ada.Unchecked_Deallocation | Restricted No_Unchecked_Deallocation |
| Ada.Wide_Text_IO | Not applicable |
| Ada.Wide_Text_IO.Complex_IO | Not applicable |
| Ada.Wide_Text_IO.Editing | Not applicable |
| Ada.Wide_Text_IO.Text_Streams | Not applicable |
| Calendar | Yes[a][b] |
| Direct_IO | Yes[b] |
| IO_Exceptions | Yes |
| Interfaces | Yes |
| Interfaces.C | Yes |
| Interfaces.C.Pointers | Yes |
| Interfaces.C.Strings | Yes |
| Interfaces.COBOL | Not applicable |
| Interfaces.FORTRAN | Not applicable |
| Machine_Code | Yes |
| Sequential_IO | Yes[b] |
| System | Yes |
| System.Address_to_Access_Conversions | Yes |
| System.Machine_Code | Yes |
| System.RPC | Not available (depends on Ada.Streams) |
| System.Storage_Elements | Yes |
| System.Storage_Pools | Not available (depends on Ada.Finalization) |
| Text_IO | Yes |
| Unchecked_Conversion | Yes |
| Unchecked_Deallocation | Restricted No_Unchecked_Deallocation |
