ada_size.ali
../agar-gui-colors.ali
../agar-gui-draw.ali
../agar-gui-pixelformat.ali
../agar-gui-point.ali
../agar-gui-rect.ali
../agar-gui-style.ali
../agar-gui-surface.ali
../agar-gui-text.ali
../agar-gui-types.ali
../agar-gui-unit.ali
../agar-gui-view.ali
../agar-gui-widget-box.ali
../agar-gui-widget-button.ali
../agar-gui-widget-checkbox.ali
../agar-gui-widget-combo.ali
../agar-gui-widget-console.ali
../agar-gui-widget-editable.ali
../agar-gui-widget-file_dialog.ali
../agar-gui-widget-fixed.ali
../agar-gui-widget-fixed_plotter.ali
../agar-gui-widget-graph.ali
../agar-gui-widget-hbox.ali
../agar-gui-widget-hsvpal.ali
../agar-gui-widget-icon.ali
../agar-gui-widget-label.ali
../agar-gui-widget-menu.ali
../agar-gui-widget-mpane.ali
../agar-gui-widget-notebook.ali
../agar-gui-widget-numerical.ali
../agar-gui-widget-pane.ali
../agar-gui-widget-pixmap.ali
../agar-gui-widget-progress_bar.ali
../agar-gui-widget-radio.ali
../agar-gui-widget-scrollbar.ali
../agar-gui-widget-separator.ali
../agar-gui-widget-slider.ali
../agar-gui-widget-socket.ali
../agar-gui-widget-table.ali
../agar-gui-widget-textbox.ali
../agar-gui-widget-titlebar.ali
../agar-gui-widget-tlist.ali
../agar-gui-widget-toolbar.ali
../agar-gui-widget-ucombo.ali
../agar-gui-widget-vbox.ali
../agar-gui-widget.ali
../agar-gui-window.ali
../agar-gui.ali
../agar-gui-ada.a