Packages and source files (A):
Actions (package) at actions.ads:15:9
Actors (package) at actors.ads:19:9
Actors.Keen (package) at actors-keen.ads:9:16
Actors.Keen4 (package) at actors-keen4.ads:9:16
Alfont (package) at alfont.ads:6:9
Allegro (package) at allegro.ads:14:9
Allegro.Audio_Streams (package) at allegro-audio_streams.ads:12:17
Allegro.Bitmaps (package) at allegro-bitmaps.ads:12:17
Allegro.Bitmaps.Direct_Access (package) at allegro-bitmaps-direct_access.ads:16:25
Allegro.Configuration (package) at allegro-configuration.ads:13:17
Allegro.Digital_Samples (package) at allegro-digital_samples.ads:14:17
Allegro.Drawing (package) at allegro-drawing.ads:17:17
Allegro.Files (package) at allegro-files.ads:22:17
Allegro.Files.Memory (package) at allegro-files-memory.ads:15:23
Allegro.Fixed_Point_Math (package) at allegro-fixed_point_math.ads:10:17
Allegro.Fonts (package) at allegro-fonts.ads:14:17
Allegro.Graphics (package) at allegro-graphics.ads:16:17
Allegro.Image_Files (package) at allegro-image_files.ads:15:17
Allegro.Keyboard (package) at allegro-keyboard.ads:10:17
Allegro.Mouse (package) at allegro-mouse.ads:12:17
Allegro.Palettes (package) at allegro-palettes.ads:13:17
Allegro.Sound (package) at allegro-sound.ads:10:17
Allegro.Sprites (package) at allegro-sprites.ads:14:17
Allegro.Text_IO (package) at allegro-text_io.ads:17:17
Allegro.Timers (package) at allegro-timers.ads:10:17
Allegro.Transparency (package) at allegro-transparency.ads:16:17
Allegro.Truecolor (package) at allegro-truecolor.ads:12:17
Allegro_Ids (package) at allegro_ids.ads:12:9
Almp3 (package) at almp3.ads:6:9
Applications (package) at applications.ads:14:9
Applications.Gui (package) at applications-gui.ads:9:22
Applications.Gui.Games (package) at applications-gui-games.ads:14:26
Applications.Gui.Games.Keen (package) at applications-gui-games-keen.ads:9:32
Archives (package) at archives.ads:17:9
Archives.Zip_Archives (package) at archives-zip_archives.ads:12:18
Associations (package) at associations.ads:16:9
Audio_Players (package) at audio_players.ads:17:9
Audio_Players.Cache (package) at audio_players-cache.ads:13:31