GtkAda is an Ada binding to Gtk.

PR:		23138
Submitted by:	Samuel Tardieu <sam@inf.enst.fr>

6 files changed, 668 insertions, 0 deletions

diff --git a/x11-toolkits/gtkada-devel/Makefile b/x11-toolkits/gtkada-devel/Makefile
new file mode 100644
index 0000000..954f82d
--- /dev/null
+++ b/x11-toolkits/gtkada-devel/Makefile
@@ -0,0 +1,39 @@
+# New ports collection makefile for:   gtkada
+# Date Created:			27 Nov 2000
+# Whom:				Samuel Tardieu <sam@inf.enst.fr>
+#
+# $FreeBSD$
+#
+
+PORTNAME=	gtkada
+PORTVERSION=	1.2.10
+CATEGORIES=	x11-toolkits
+MASTER_SITES=	http://gtkada.eu.org/
+DISTNAME=	GtkAda-${PORTVERSION}
+
+MAINTAINER=	sam@inf.enst.fr
+
+LIB_DEPENDS=	GLU.14:${PORTSDIR}/graphics/Mesa3
+BUILD_DEPENDS=	adagcc:${PORTSDIR}/lang/gnat \
+		gdk-pixbuf-config:${PORTSDIR}/graphics/gdk-pixbuf
+
+USE_AUTOCONF=	yes
+USE_X_PREFIX=	yes
+USE_GNOMELIBS=	yes
+USE_GMAKE=	yes
+INSTALLS_SHLIB=	yes
+MAN_MAN1=	dgate.1 gate.1 gtkada-config.1
+
+post-install:
+	${INSTALL_DATA}	${WRKSRC}/docs/*.1 ${PREFIX}/man/man1/
+.if !defined(NOPORTDOCS)
+	${MKDIR} ${PREFIX}/share/doc/gtkada
+	${INSTALL_DATA} ${WRKSRC}/docs/gtkada_rm/*.info* ${PREFIX}/info/
+	${INSTALL_DATA} ${WRKSRC}/docs/gtkada_rm/*.html ${PREFIX}/share/doc/gtkada
+	${INSTALL_DATA} ${WRKSRC}/docs/gtkada_rm/*.ps ${PREFIX}/share/doc/gtkada
+	${INSTALL_DATA} ${WRKSRC}/docs/gtkada_ug/*.info* ${PREFIX}/info/
+	${INSTALL_DATA} ${WRKSRC}/docs/gtkada_ug/*.html ${PREFIX}/share/doc/gtkada
+	${INSTALL_DATA} ${WRKSRC}/docs/gtkada_ug/*.ps ${PREFIX}/share/doc/gtkada
+.endif
+
+.include <bsd.port.mk>
diff --git a/x11-toolkits/gtkada-devel/distinfo b/x11-toolkits/gtkada-devel/distinfo
new file mode 100644
index 0000000..57c7c9e
--- /dev/null
+++ b/x11-toolkits/gtkada-devel/distinfo
@@ -0,0 +1 @@
+MD5 (GtkAda-1.2.10.tar.gz) = 525997c967d3429fd6c70c01ece8dade
diff --git a/x11-toolkits/gtkada-devel/files/patch-aa b/x11-toolkits/gtkada-devel/files/patch-aa
new file mode 100644
index 0000000..354e7cd
--- /dev/null
+++ b/x11-toolkits/gtkada-devel/files/patch-aa
@@ -0,0 +1,21 @@
+--- src/Makefile.in.orig	Mon Nov 27 19:21:00 2000
++++ src/Makefile.in	Mon Nov 27 19:22:38 2000
+@@ -14,6 +14,7 @@
+ INSTALL = @INSTALL@
+ INSTALL_PROGRAM = @INSTALL_PROGRAM@
+ INSTALL_DATA = @INSTALL_DATA@
++INSTALL_SCRIPT = @INSTALL_SCRIPT@
+ 
+ CFLAGS = @CFLAGS@ -Wall @GTK_CFLAGS@ -I.. $(FPIC)
+ 
+@@ -148,8 +149,8 @@
+ 	   $(CP) gtk*.ads gtk*.adb $(incdir); \
+ 	   $(CP) $(LIB_DIR)/glib*.ali $(LIB_DIR)/gdk*.ali $(LIB_DIR)/gtk*.ali $(alidir); \
+ 	   $(CHMOD) -w $(alidir)/*.ali; \
+-	   $(INSTALL_PROGRAM) $(GTKADA_CONFIG) $(bindir); \
+-           $(INSTALL_PROGRAM) $(GATE) $(bindir); \
++	   $(INSTALL_SCRIPT) $(GTKADA_CONFIG) $(bindir); \
++           $(INSTALL_SCRIPT) $(GATE) $(bindir); \
+            $(INSTALL_PROGRAM) $(GATE_EX) $(bindir); \
+            $(INSTALL_PROGRAM) $(DGATE) $(bindir); \
+            $(INSTALL_PROGRAM) $(GDIALOG) $(bindir); \
diff --git a/x11-toolkits/gtkada-devel/pkg-comment b/x11-toolkits/gtkada-devel/pkg-comment
new file mode 100644
index 0000000..f15972f8c
--- /dev/null
+++ b/x11-toolkits/gtkada-devel/pkg-comment
@@ -0,0 +1 @@
+Gtk binding for Ada
diff --git a/x11-toolkits/gtkada-devel/pkg-descr b/x11-toolkits/gtkada-devel/pkg-descr
new file mode 100644
index 0000000..eca35f8
--- /dev/null
+++ b/x11-toolkits/gtkada-devel/pkg-descr
@@ -0,0 +1,3 @@
+GtkAda provides Ada programmes with a full Gtk binding.
+
+WWW: http://adabroker.eu.org/
diff --git a/x11-toolkits/gtkada-devel/pkg-plist b/x11-toolkits/gtkada-devel/pkg-plist
new file mode 100644
index 0000000..b952529
--- /dev/null
+++ b/x11-toolkits/gtkada-devel/pkg-plist
@@ -0,0 +1,603 @@
+@exec /sbin/ldconfig -m %D/lib
+@unexec /sbin/ldconfig -R
+bin/gate-in.exe
+bin/dgate
+bin/gdialog
+bin/gtkada-config
+bin/gate
+lib/libgtkada.a
+lib/libgtkada-1.2.so.10
+lib/libgtkada_gl.a
+lib/libgtkada_gl-1.2.so.10
+lib/libgtkada_art.a
+lib/libgtkada_art-1.2.so.10
+include/gtkada/glib-enums.ads
+include/gtkada/glib-xml.adb
+include/gtkada/glib-gslist.adb
+include/gtkada/glib-gnodes.adb
+include/gtkada/glib-glist.adb
+include/gtkada/glib-glade.adb
+include/gtkada/glib.ads
+include/gtkada/glib-xml.ads
+include/gtkada/glib-gslist.ads
+include/gtkada/glib-gnodes.ads
+include/gtkada/glib-glist.ads
+include/gtkada/glib-glade.ads
+include/gtkada/glib.adb
+include/gtkada/gdk-bitmap.ads
+include/gtkada/gdk-window.adb
+include/gtkada/gdk-visual.adb
+include/gtkada/gdk-rgb.adb
+include/gtkada/gdk-region.adb
+include/gtkada/gdk-rectangle.adb
+include/gtkada/gdk-property.adb
+include/gtkada/gdk-pixmap.adb
+include/gtkada/gdk-main.adb
+include/gtkada/gdk-keyval.adb
+include/gtkada/gdk-image.adb
+include/gtkada/gdk-gc.adb
+include/gtkada/gdk-font.adb
+include/gtkada/gdk-event.adb
+include/gtkada/gdk-drawable.adb
+include/gtkada/gdk-cursor.adb
+include/gtkada/gdk-color_context.adb
+include/gtkada/gdk-color.adb
+include/gtkada/gdk-bitmap.adb
+include/gtkada/gdk.ads
+include/gtkada/gdk-window_attr.ads
+include/gtkada/gdk-window.ads
+include/gtkada/gdk-visual.ads
+include/gtkada/gdk-types.ads
+include/gtkada/gdk-types-keysyms.ads
+include/gtkada/gdk-threads.ads
+include/gtkada/gdk-rgb.ads
+include/gtkada/gdk-region.ads
+include/gtkada/gdk-rectangle.ads
+include/gtkada/gdk-property.ads
+include/gtkada/gdk-pixmap.ads
+include/gtkada/gdk-main.ads
+include/gtkada/gdk-keyval.ads
+include/gtkada/gdk-input.ads
+include/gtkada/gdk-image.ads
+include/gtkada/gdk-gc.ads
+include/gtkada/gdk-font.ads
+include/gtkada/gdk-event.ads
+include/gtkada/gdk-drawable.ads
+include/gtkada/gdk-cursor.ads
+include/gtkada/gdk-color_context.ads
+include/gtkada/gdk-color.ads
+include/gtkada/gdk-window_attr.adb
+include/gtkada/gtk-accel_group.ads
+include/gtkada/gtkada-intl.adb
+include/gtkada/gtkada-file_selection.adb
+include/gtkada/gtkada-dialogs.adb
+include/gtkada/gtk.adb
+include/gtkada/gtkada-canvas.adb
+include/gtkada/gtk-window.adb
+include/gtkada/gtk-widget.adb
+include/gtkada/gtk-viewport.adb
+include/gtkada/gtk-vbutton_box.adb
+include/gtkada/gtk-util.adb
+include/gtkada/gtk-type_conversion_hooks.adb
+include/gtkada/gtk-type_conversion.adb
+include/gtkada/gtk-tree_item.adb
+include/gtkada/gtk-tree.adb
+include/gtkada/gtk-tooltips.adb
+include/gtkada/gtk-toolbar.adb
+include/gtkada/gtk-toggle_button.adb
+include/gtkada/gtk-tips_query.adb
+include/gtkada/gtk-text.adb
+include/gtkada/gtk-tearoff_menu_item.adb
+include/gtkada/gtk-table.adb
+include/gtkada/gtk-style.adb
+include/gtkada/gtk-status_bar.adb
+include/gtkada/gtk-spin_button.adb
+include/gtkada/gtk-socket.adb
+include/gtkada/gtk-signal.adb
+include/gtkada/gtk-separator.adb
+include/gtkada/gtk-selection.adb
+include/gtkada/gtk-scrolled_window.adb
+include/gtkada/gtk-scrollbar.adb
+include/gtkada/gtk-scale.adb
+include/gtkada/gtk-ruler.adb
+include/gtkada/gtk-rc.adb
+include/gtkada/gtk-radio_menu_item.adb
+include/gtkada/gtk-radio_button.adb
+include/gtkada/gtk-progress_bar.adb
+include/gtkada/gtk-progress.adb
+include/gtkada/gtk-preview.adb
+include/gtkada/gtk-plug.adb
+include/gtkada/gtk-pixmap.adb
+include/gtkada/gtk-paned.adb
+include/gtkada/gtk-packer.adb
+include/gtkada/gtk-option_menu.adb
+include/gtkada/gtk-object.adb
+include/gtkada/gtk-notebook.adb
+include/gtkada/gtk-misc.adb
+include/gtkada/gtk-menu_shell.adb
+include/gtkada/gtk-menu_item.adb
+include/gtkada/gtk-menu_bar.adb
+include/gtkada/gtk-menu.adb
+include/gtkada/gtk-marshallers.adb
+include/gtkada/gtk-main.adb
+include/gtkada/gtk-macro.adb
+include/gtkada/gtk-list_item.adb
+include/gtkada/gtk-list.adb
+include/gtkada/gtk-layout.adb
+include/gtkada/gtk-label.adb
+include/gtkada/gtk-item_factory.adb
+include/gtkada/gtk-item.adb
+include/gtkada/gtk-invisible.adb
+include/gtkada/gtk.ads
+include/gtkada/gtk-input_dialog.adb
+include/gtkada/gtk-image.adb
+include/gtkada/gtk-hbutton_box.adb
+include/gtkada/gtk-handlers.adb
+include/gtkada/gtk-handle_box.adb
+include/gtkada/gtk-grange.adb
+include/gtkada/gtk-glade.adb
+include/gtkada/gtk-gentry.adb
+include/gtkada/gtk-gamma_curve.adb
+include/gtkada/gtk-frame.adb
+include/gtkada/gtk-font_selection.adb
+include/gtkada/gtk-fixed.adb
+include/gtkada/gtk-file_selection.adb
+include/gtkada/gtk-extra-sheet.adb
+include/gtkada/gtk-extra-psfont.adb
+include/gtkada/gtk-extra-plot_ps.adb
+include/gtkada/gtk-extra-plot_canvas.adb
+include/gtkada/gtk-extra-plot.adb
+include/gtkada/gtk-extra-item_entry.adb
+include/gtkada/gtk-extra-font_combo.adb
+include/gtkada/gtk-extra-combo_box.adb
+include/gtkada/gtk-extra-color_combo.adb
+include/gtkada/gtk-extra-check_item.adb
+include/gtkada/gtk-extra-border_combo.adb
+include/gtkada/gtk-event_box.adb
+include/gtkada/gtk-enums.adb
+include/gtkada/gtk-editable.adb
+include/gtkada/gtk-drawing_area.adb
+include/gtkada/gtk-dnd.adb
+include/gtkada/gtk-dialog.adb
+include/gtkada/gtk-curve.adb
+include/gtkada/gtk-ctree.adb
+include/gtkada/gtk-container.adb
+include/gtkada/gtk-combo.adb
+include/gtkada/gtk-color_selection_dialog.adb
+include/gtkada/gtk-color_selection.adb
+include/gtkada/gtk-clist.adb
+include/gtkada/gtk-check_menu_item.adb
+include/gtkada/gtk-check_button.adb
+include/gtkada/gtk-calendar.adb
+include/gtkada/gtk-button_box.adb
+include/gtkada/gtk-button.adb
+include/gtkada/gtk-box.adb
+include/gtkada/gtk-bin.adb
+include/gtkada/gtk-aspect_frame.adb
+include/gtkada/gtk-arrow.adb
+include/gtkada/gtk-arguments.adb
+include/gtkada/gtk-alignment.adb
+include/gtkada/gtk-adjustment.adb
+include/gtkada/gtk-accel_label.adb
+include/gtkada/gtk-accel_group.adb
+include/gtkada/gtkada.ads
+include/gtkada/gtkada-types.ads
+include/gtkada/gtkada-pixmaps.ads
+include/gtkada/gtkada-intl.ads
+include/gtkada/gtkada-handlers.ads
+include/gtkada/gtkada-file_selection.ads
+include/gtkada/gtkada-dialogs.ads
+include/gtkada/gtkada-canvas.ads
+include/gtkada/gtk-window.ads
+include/gtkada/gtk-widget.ads
+include/gtkada/gtk-viewport.ads
+include/gtkada/gtk-vbutton_box.ads
+include/gtkada/gtk-util.ads
+include/gtkada/gtk-type_conversion_hooks.ads
+include/gtkada/gtk-type_conversion.ads
+include/gtkada/gtk-tree_item.ads
+include/gtkada/gtk-tree.ads
+include/gtkada/gtk-tooltips.ads
+include/gtkada/gtk-toolbar.ads
+include/gtkada/gtk-toggle_button.ads
+include/gtkada/gtk-tips_query.ads
+include/gtkada/gtk-text.ads
+include/gtkada/gtk-tearoff_menu_item.ads
+include/gtkada/gtk-table.ads
+include/gtkada/gtk-style.ads
+include/gtkada/gtk-status_bar.ads
+include/gtkada/gtk-spin_button.ads
+include/gtkada/gtk-socket.ads
+include/gtkada/gtk-signal.ads
+include/gtkada/gtk-separator.ads
+include/gtkada/gtk-selection.ads
+include/gtkada/gtk-scrolled_window.ads
+include/gtkada/gtk-scrollbar.ads
+include/gtkada/gtk-scale.ads
+include/gtkada/gtk-ruler.ads
+include/gtkada/gtk-rc.ads
+include/gtkada/gtk-radio_menu_item.ads
+include/gtkada/gtk-radio_button.ads
+include/gtkada/gtk-progress_bar.ads
+include/gtkada/gtk-dnd.ads
+include/gtkada/gtk-progress.ads
+include/gtkada/gtk-preview.ads
+include/gtkada/gtk-plug.ads
+include/gtkada/gtk-pixmap.ads
+include/gtkada/gtk-paned.ads
+include/gtkada/gtk-packer.ads
+include/gtkada/gtk-option_menu.ads
+include/gtkada/gtk-object.ads
+include/gtkada/gtk-notebook.ads
+include/gtkada/gtk-misc.ads
+include/gtkada/gtk-menu_shell.ads
+include/gtkada/gtk-menu_item.ads
+include/gtkada/gtk-menu_bar.ads
+include/gtkada/gtk-menu.ads
+include/gtkada/gtk-marshallers.ads
+include/gtkada/gtk-main.ads
+include/gtkada/gtk-macro.ads
+include/gtkada/gtk-list_item.ads
+include/gtkada/gtk-list.ads
+include/gtkada/gtk-layout.ads
+include/gtkada/gtk-label.ads
+include/gtkada/gtk-item_factory.ads
+include/gtkada/gtk-item.ads
+include/gtkada/gtk-invisible.ads
+include/gtkada/gtk-input_dialog.ads
+include/gtkada/gtk-image.ads
+include/gtkada/gtk-hbutton_box.ads
+include/gtkada/gtk-handlers.ads
+include/gtkada/gtk-handle_box.ads
+include/gtkada/gtk-grange.ads
+include/gtkada/gtk-glade.ads
+include/gtkada/gtk-gentry.ads
+include/gtkada/gtk-gamma_curve.ads
+include/gtkada/gtk-frame.ads
+include/gtkada/gtk-font_selection_dialog.ads
+include/gtkada/gtk-font_selection.ads
+include/gtkada/gtk-fixed.ads
+include/gtkada/gtk-file_selection.ads
+include/gtkada/gtk-extra.ads
+include/gtkada/gtk-extra-sheet.ads
+include/gtkada/gtk-extra-psfont.ads
+include/gtkada/gtk-extra-plot_ps.ads
+include/gtkada/gtk-extra-plot_canvas.ads
+include/gtkada/gtk-extra-plot.ads
+include/gtkada/gtk-extra-item_entry.ads
+include/gtkada/gtk-extra-font_combo.ads
+include/gtkada/gtk-extra-combo_box.ads
+include/gtkada/gtk-extra-color_combo.ads
+include/gtkada/gtk-extra-check_item.ads
+include/gtkada/gtk-extra-border_combo.ads
+include/gtkada/gtk-event_box.ads
+include/gtkada/gtk-enums.ads
+include/gtkada/gtk-editable.ads
+include/gtkada/gtk-drawing_area.ads
+include/gtkada/gtk-dialog.ads
+include/gtkada/gtk-data.ads
+include/gtkada/gtk-curve.ads
+include/gtkada/gtk-ctree.ads
+include/gtkada/gtk-container.ads
+include/gtkada/gtk-combo.ads
+include/gtkada/gtk-color_selection_dialog.ads
+include/gtkada/gtk-color_selection.ads
+include/gtkada/gtk-clist.ads
+include/gtkada/gtk-check_menu_item.ads
+include/gtkada/gtk-check_button.ads
+include/gtkada/gtk-calendar.ads
+include/gtkada/gtk-button_box.ads
+include/gtkada/gtk-button.ads
+include/gtkada/gtk-box.ads
+include/gtkada/gtk-bin.ads
+include/gtkada/gtk-aspect_frame.ads
+include/gtkada/gtk-arrow.ads
+include/gtkada/gtk-arguments.ads
+include/gtkada/gtk-alignment.ads
+include/gtkada/gtk-adjustment.ads
+include/gtkada/gtk-accel_label.ads
+include/gtkada/gtkada-types.adb
+include/gtkada/glib-enums.ali
+include/gtkada/gtkada-types.ali
+include/gtkada/gtkada-pixmaps.ali
+include/gtkada/gtkada-intl.ali
+include/gtkada/gtkada-handlers.ali
+include/gtkada/gtkada-file_selection.ali
+include/gtkada/gtkada-dialogs.ali
+include/gtkada/gtkada-canvas.ali
+include/gtkada/gtk.ali
+include/gtkada/gtk-window.ali
+include/gtkada/gtk-widget.ali
+include/gtkada/gtk-viewport.ali
+include/gtkada/gtk-vbutton_box.ali
+include/gtkada/gtk-util.ali
+include/gtkada/gtk-type_conversion.ali
+include/gtkada/gtk-type_conversion_hooks.ali
+include/gtkada/gtk-tree_item.ali
+include/gtkada/gtk-tree.ali
+include/gtkada/gtk-tooltips.ali
+include/gtkada/gtk-toolbar.ali
+include/gtkada/gtk-toggle_button.ali
+include/gtkada/gtk-tips_query.ali
+include/gtkada/gtk-text.ali
+include/gtkada/gtk-tearoff_menu_item.ali
+include/gtkada/gtk-table.ali
+include/gtkada/gtk-style.ali
+include/gtkada/gtk-status_bar.ali
+include/gtkada/gtk-spin_button.ali
+include/gtkada/gtk-socket.ali
+include/gtkada/gtk-signal.ali
+include/gtkada/gtk-separator.ali
+include/gtkada/gtk-selection.ali
+include/gtkada/gtk-scrolled_window.ali
+include/gtkada/gtk-scrollbar.ali
+include/gtkada/gtk-scale.ali
+include/gtkada/gtk-ruler.ali
+include/gtkada/gtk-rc.ali
+include/gtkada/gtk-radio_menu_item.ali
+include/gtkada/gtk-radio_button.ali
+include/gtkada/gtk-progress_bar.ali
+include/gtkada/gtk-progress.ali
+include/gtkada/gtk-preview.ali
+include/gtkada/gtk-plug.ali
+include/gtkada/gtk-pixmap.ali
+include/gtkada/gtk-paned.ali
+include/gtkada/gtk-packer.ali
+include/gtkada/gtk-option_menu.ali
+include/gtkada/gtk-object.ali
+include/gtkada/gtk-notebook.ali
+include/gtkada/gtk-misc.ali
+include/gtkada/gtk-menu_shell.ali
+include/gtkada/gtk-menu_item.ali
+include/gtkada/gtk-menu_bar.ali
+include/gtkada/gtk-menu.ali
+include/gtkada/gtk-marshallers.ali
+include/gtkada/gtk-main.ali
+include/gtkada/gtk-list_item.ali
+include/gtkada/gtk-list.ali
+include/gtkada/gtk-layout.ali
+include/gtkada/gtk-label.ali
+include/gtkada/gtk-item_factory.ali
+include/gtkada/gtk-item.ali
+include/gtkada/gtk-invisible.ali
+include/gtkada/gtk-input_dialog.ali
+include/gtkada/gtk-image.ali
+include/gtkada/gtk-hbutton_box.ali
+include/gtkada/gtk-handlers.ali
+include/gtkada/gtk-handle_box.ali
+include/gtkada/gtk-grange.ali
+include/gtkada/gtk-glade.ali
+include/gtkada/gtk-gentry.ali
+include/gtkada/gtk-gamma_curve.ali
+include/gtkada/gtk-frame.ali
+include/gtkada/gtk-font_selection_dialog.ali
+include/gtkada/gtk-font_selection.ali
+include/gtkada/gtk-fixed.ali
+include/gtkada/gtk-file_selection.ali
+include/gtkada/gtk-extra.ali
+include/gtkada/gtk-extra-sheet.ali
+include/gtkada/gtk-extra-psfont.ali
+include/gtkada/gtk-extra-plot_ps.ali
+include/gtkada/gtk-extra-plot_canvas.ali
+include/gtkada/gtk-extra-plot.ali
+include/gtkada/gtk-extra-item_entry.ali
+include/gtkada/gtk-extra-font_combo.ali
+include/gtkada/gtk-extra-combo_box.ali
+include/gtkada/gtk-extra-color_combo.ali
+include/gtkada/gtk-extra-check_item.ali
+include/gtkada/gtk-extra-border_combo.ali
+include/gtkada/gtk-event_box.ali
+include/gtkada/gtk-enums.ali
+include/gtkada/gtk-editable.ali
+include/gtkada/gtk-drawing_area.ali
+include/gtkada/gtk-dnd.ali
+include/gtkada/gtk-dialog.ali
+include/gtkada/gtk-data.ali
+include/gtkada/gtk-curve.ali
+include/gtkada/gtk-ctree.ali
+include/gtkada/gtk-container.ali
+include/gtkada/gtk-combo.ali
+include/gtkada/gtk-color_selection_dialog.ali
+include/gtkada/gtk-color_selection.ali
+include/gtkada/gtk-clist.ali
+include/gtkada/gtk-check_menu_item.ali
+include/gtkada/gtk-check_button.ali
+include/gtkada/gtk-calendar.ali
+include/gtkada/gtk-button_box.ali
+include/gtkada/gtk-button.ali
+include/gtkada/gtk-box.ali
+include/gtkada/gtk-bin.ali
+include/gtkada/gtk-aspect_frame.ali
+include/gtkada/gtk-arrow.ali
+include/gtkada/gtk-arguments.ali
+include/gtkada/gtk-alignment.ali
+include/gtkada/gtk-adjustment.ali
+include/gtkada/gtk-accel_label.ali
+include/gtkada/gtk-accel_group.ali
+include/gtkada/gdk.ali
+include/gtkada/gdk-window_attr.ali
+include/gtkada/gdk-window.ali
+include/gtkada/gdk-visual.ali
+include/gtkada/gdk-types.ali
+include/gtkada/gdk-types-keysyms.ali
+include/gtkada/gdk-threads.ali
+include/gtkada/gdk-rgb.ali
+include/gtkada/gdk-region.ali
+include/gtkada/gdk-rectangle.ali
+include/gtkada/gdk-property.ali
+include/gtkada/gdk-pixmap.ali
+include/gtkada/gdk-main.ali
+include/gtkada/gdk-keyval.ali
+include/gtkada/gdk-input.ali
+include/gtkada/gdk-image.ali
+include/gtkada/gdk-gc.ali
+include/gtkada/gdk-font.ali
+include/gtkada/gdk-event.ali
+include/gtkada/gdk-drawable.ali
+include/gtkada/gdk-cursor.ali
+include/gtkada/gdk-color_context.ali
+include/gtkada/gdk-color.ali
+include/gtkada/gdk-bitmap.ali
+include/gtkada/glib.ali
+include/gtkada/glib-xml.ali
+include/gtkada/glib-gslist.ali
+include/gtkada/glib-gnodes.ali
+include/gtkada/gtkada.ali
+include/gtkada/glib-glist.ali
+include/gtkada/glib-glade.ali
+include/gtkada/glu_h.ads
+include/gtkada/gl_h.ads
+include/gtkada/gdk-gl.adb
+include/gtkada/gdk-gl.ads
+include/gtkada/gtk-glarea.adb
+include/gtkada/gtk-glarea.ads
+include/gtkada/gtk-glarea.ali
+include/gtkada/gdk-gl.ali
+include/gtkada/gdk-pixbuf.adb
+include/gtkada/gdk-pixbuf.ads
+include/gtkada/gdk-art.ads
+include/gtkada/gdk-art-pixbuf.ads
+include/gtkada/gdk-pixbuf.ali
+include/gtkada/gdk-art.ali
+include/gtkada/gdk-art-pixbuf.ali
+info/gtkada_rm.info
+info/gtkada_rm.info-1
+info/gtkada_rm.info-10
+info/gtkada_rm.info-11
+info/gtkada_rm.info-12
+info/gtkada_rm.info-13
+info/gtkada_rm.info-14
+info/gtkada_rm.info-15
+info/gtkada_rm.info-16
+info/gtkada_rm.info-2
+info/gtkada_rm.info-3
+info/gtkada_rm.info-4
+info/gtkada_rm.info-5
+info/gtkada_rm.info-6
+info/gtkada_rm.info-7
+info/gtkada_rm.info-8
+info/gtkada_rm.info-9
+share/doc/gtkada/gtkada_rm.ps
+share/doc/gtkada/gtkada_rm_1.html
+share/doc/gtkada/gtkada_rm_10.html
+share/doc/gtkada/gtkada_rm_100.html
+share/doc/gtkada/gtkada_rm_101.html
+share/doc/gtkada/gtkada_rm_102.html
+share/doc/gtkada/gtkada_rm_103.html
+share/doc/gtkada/gtkada_rm_104.html
+share/doc/gtkada/gtkada_rm_105.html
+share/doc/gtkada/gtkada_rm_106.html
+share/doc/gtkada/gtkada_rm_107.html
+share/doc/gtkada/gtkada_rm_108.html
+share/doc/gtkada/gtkada_rm_109.html
+share/doc/gtkada/gtkada_rm_11.html
+share/doc/gtkada/gtkada_rm_110.html
+share/doc/gtkada/gtkada_rm_111.html
+share/doc/gtkada/gtkada_rm_112.html
+share/doc/gtkada/gtkada_rm_113.html
+share/doc/gtkada/gtkada_rm_114.html
+share/doc/gtkada/gtkada_rm_12.html
+share/doc/gtkada/gtkada_rm_13.html
+share/doc/gtkada/gtkada_rm_14.html
+share/doc/gtkada/gtkada_rm_15.html
+share/doc/gtkada/gtkada_rm_16.html
+share/doc/gtkada/gtkada_rm_17.html
+share/doc/gtkada/gtkada_rm_18.html
+share/doc/gtkada/gtkada_rm_19.html
+share/doc/gtkada/gtkada_rm_2.html
+share/doc/gtkada/gtkada_rm_20.html
+share/doc/gtkada/gtkada_rm_21.html
+share/doc/gtkada/gtkada_rm_22.html
+share/doc/gtkada/gtkada_rm_23.html
+share/doc/gtkada/gtkada_rm_24.html
+share/doc/gtkada/gtkada_rm_25.html
+share/doc/gtkada/gtkada_rm_26.html
+share/doc/gtkada/gtkada_rm_27.html
+share/doc/gtkada/gtkada_rm_28.html
+share/doc/gtkada/gtkada_rm_29.html
+share/doc/gtkada/gtkada_rm_3.html
+share/doc/gtkada/gtkada_rm_30.html
+share/doc/gtkada/gtkada_rm_31.html
+share/doc/gtkada/gtkada_rm_32.html
+share/doc/gtkada/gtkada_rm_33.html
+share/doc/gtkada/gtkada_rm_34.html
+share/doc/gtkada/gtkada_rm_35.html
+share/doc/gtkada/gtkada_rm_36.html
+share/doc/gtkada/gtkada_rm_37.html
+share/doc/gtkada/gtkada_rm_38.html
+share/doc/gtkada/gtkada_rm_39.html
+share/doc/gtkada/gtkada_rm_4.html
+share/doc/gtkada/gtkada_rm_40.html
+share/doc/gtkada/gtkada_rm_41.html
+share/doc/gtkada/gtkada_rm_42.html
+share/doc/gtkada/gtkada_rm_43.html
+share/doc/gtkada/gtkada_rm_44.html
+share/doc/gtkada/gtkada_rm_45.html
+share/doc/gtkada/gtkada_rm_46.html
+share/doc/gtkada/gtkada_rm_47.html
+share/doc/gtkada/gtkada_rm_48.html
+share/doc/gtkada/gtkada_rm_49.html
+share/doc/gtkada/gtkada_rm_5.html
+share/doc/gtkada/gtkada_rm_50.html
+share/doc/gtkada/gtkada_rm_51.html
+share/doc/gtkada/gtkada_rm_52.html
+share/doc/gtkada/gtkada_rm_53.html
+share/doc/gtkada/gtkada_rm_54.html
+share/doc/gtkada/gtkada_rm_55.html
+share/doc/gtkada/gtkada_rm_56.html
+share/doc/gtkada/gtkada_rm_57.html
+share/doc/gtkada/gtkada_rm_58.html
+share/doc/gtkada/gtkada_rm_59.html
+share/doc/gtkada/gtkada_rm_6.html
+share/doc/gtkada/gtkada_rm_60.html
+share/doc/gtkada/gtkada_rm_61.html
+share/doc/gtkada/gtkada_rm_62.html
+share/doc/gtkada/gtkada_rm_63.html
+share/doc/gtkada/gtkada_rm_64.html
+share/doc/gtkada/gtkada_rm_65.html
+share/doc/gtkada/gtkada_rm_66.html
+share/doc/gtkada/gtkada_rm_67.html
+share/doc/gtkada/gtkada_rm_68.html
+share/doc/gtkada/gtkada_rm_69.html
+share/doc/gtkada/gtkada_rm_7.html
+share/doc/gtkada/gtkada_rm_70.html
+share/doc/gtkada/gtkada_rm_71.html
+share/doc/gtkada/gtkada_rm_72.html
+share/doc/gtkada/gtkada_rm_73.html
+share/doc/gtkada/gtkada_rm_74.html
+share/doc/gtkada/gtkada_rm_75.html
+share/doc/gtkada/gtkada_rm_76.html
+share/doc/gtkada/gtkada_rm_77.html
+share/doc/gtkada/gtkada_rm_78.html
+share/doc/gtkada/gtkada_rm_79.html
+share/doc/gtkada/gtkada_rm_8.html
+share/doc/gtkada/gtkada_rm_80.html
+share/doc/gtkada/gtkada_rm_81.html
+share/doc/gtkada/gtkada_rm_82.html
+share/doc/gtkada/gtkada_rm_83.html
+share/doc/gtkada/gtkada_rm_84.html
+share/doc/gtkada/gtkada_rm_85.html
+share/doc/gtkada/gtkada_rm_86.html
+share/doc/gtkada/gtkada_rm_87.html
+share/doc/gtkada/gtkada_rm_88.html
+share/doc/gtkada/gtkada_rm_89.html
+share/doc/gtkada/gtkada_rm_9.html
+share/doc/gtkada/gtkada_rm_90.html
+share/doc/gtkada/gtkada_rm_91.html
+share/doc/gtkada/gtkada_rm_92.html
+share/doc/gtkada/gtkada_rm_93.html
+share/doc/gtkada/gtkada_rm_94.html
+share/doc/gtkada/gtkada_rm_95.html
+share/doc/gtkada/gtkada_rm_96.html
+share/doc/gtkada/gtkada_rm_97.html
+share/doc/gtkada/gtkada_rm_98.html
+share/doc/gtkada/gtkada_rm_99.html
+share/doc/gtkada/gtkada_rm_stoc.html
+share/doc/gtkada/gtkada_rm_toc.html
+share/doc/gtkada/gtkada_ug.ps
+share/doc/gtkada/gtkada_ug.html
+info/gtkada_ug.info
+info/gtkada_ug.info-1
+info/gtkada_ug.info-2
+@dirrm include/gtkada
+@dirrm share/doc/gtkada