{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.HMLhRJOr/b1/libgtkada_24.0.0-3_amd64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.HMLhRJOr/b2/libgtkada_24.0.0-3_amd64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,7 +1,7 @@\n \n 43dc7fc9d8375240b69b6f3a46f18b62 31676 debug optional libgtkada-bin-dbgsym_24.0.0-3_amd64.deb\n 0bf5bcb27cca475f33a1eeb10b2105e9 27012 devel optional libgtkada-bin_24.0.0-3_amd64.deb\n 1bc5d95f8c3b83904acd98fff3cf1600 4937248 libdevel optional libgtkada-dev_24.0.0-3_amd64.deb\n- 3e652564e2da95c397488421a61a98fa 1149236 doc optional libgtkada-doc_24.0.0-3_all.deb\n+ 53465e4a6bae12e6c1b6b4d7cdae6bc8 1151668 doc optional libgtkada-doc_24.0.0-3_all.deb\n 34c17ce3523e8fc7aed9a2ca6e58ed9f 5190988 debug optional libgtkada23-dbgsym_24.0.0-3_amd64.deb\n 450b76a0f0868ab073095fac2a4b30d8 2056444 libs optional libgtkada23_24.0.0-3_amd64.deb\n"}, {"source1": "libgtkada-doc_24.0.0-3_all.deb", "source2": "libgtkada-doc_24.0.0-3_all.deb", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -1,3 +1,3 @@\n -rw-r--r-- 0 0 0 4 2024-05-06 05:35:15.000000 debian-binary\n -rw-r--r-- 0 0 0 2680 2024-05-06 05:35:15.000000 control.tar.xz\n--rw-r--r-- 0 0 0 1146364 2024-05-06 05:35:15.000000 data.tar.xz\n+-rw-r--r-- 0 0 0 1148796 2024-05-06 05:35:15.000000 data.tar.xz\n"}, {"source1": "control.tar.xz", "source2": "control.tar.xz", "unified_diff": null, "details": [{"source1": "control.tar", "source2": "control.tar", "unified_diff": null, "details": [{"source1": "./control", "source2": "./control", "unified_diff": "@@ -1,13 +1,13 @@\n Package: libgtkada-doc\n Source: libgtkada\n Version: 24.0.0-3\n Architecture: all\n Maintainer: Ludovic Brenta \n-Installed-Size: 1755\n+Installed-Size: 1758\n Depends: libjs-jquery (>= 3.6.0), libjs-sphinxdoc (>= 7.2.2), sphinx-rtd-theme-common (>= 2.0.0+dfsg)\n Suggests: gnat\n Built-Using: sphinx (= 7.2.6-6)\n Section: doc\n Priority: optional\n Multi-Arch: foreign\n Homepage: https://github.com/AdaCore/gtkada\n"}, {"source1": "./md5sums", "source2": "./md5sums", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "comments": ["Files differ"], "unified_diff": null}]}]}]}, {"source1": "data.tar.xz", "source2": "data.tar.xz", "unified_diff": null, "details": [{"source1": "data.tar", "source2": "data.tar", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -2,15 +2,15 @@\n drwxr-xr-x 0 root (0) root (0) 0 2024-05-06 05:35:15.000000 ./usr/\n drwxr-xr-x 0 root (0) root (0) 0 2024-05-06 05:35:15.000000 ./usr/share/\n drwxr-xr-x 0 root (0) root (0) 0 2024-05-06 05:35:15.000000 ./usr/share/doc/\n drwxr-xr-x 0 root (0) root (0) 0 2024-05-06 05:35:15.000000 ./usr/share/doc/libgtkada-dev/\n -rw-r--r-- 0 root (0) root (0) 249 2023-07-26 12:38:56.000000 ./usr/share/doc/libgtkada-dev/AUTHORS\n -rw-r--r-- 0 root (0) root (0) 1975 2023-07-26 12:38:56.000000 ./usr/share/doc/libgtkada-dev/README.md\n drwxr-xr-x 0 root (0) root (0) 0 2024-05-06 05:35:15.000000 ./usr/share/doc/libgtkada-dev/examples/\n--rw-r--r-- 0 root (0) root (0) 537187 2024-05-06 05:35:15.000000 ./usr/share/doc/libgtkada-dev/examples/testgtk.tgz\n+-rw-r--r-- 0 root (0) root (0) 539986 2024-05-06 05:35:15.000000 ./usr/share/doc/libgtkada-dev/examples/testgtk.tgz\n -rw-r--r-- 0 root (0) root (0) 2181 2023-07-26 12:38:56.000000 ./usr/share/doc/libgtkada-dev/features-17\n -rw-r--r-- 0 root (0) root (0) 3008 2023-07-26 12:38:56.000000 ./usr/share/doc/libgtkada-dev/features.old.gz\n drwxr-xr-x 0 root (0) root (0) 0 2024-05-06 05:35:15.000000 ./usr/share/doc/libgtkada-dev/gtkada_ug/\n -rw-r--r-- 0 root (0) root (0) 434541 2024-05-06 05:35:15.000000 ./usr/share/doc/libgtkada-dev/gtkada_ug/GtkAda.pdf.gz\n drwxr-xr-x 0 root (0) root (0) 0 2024-05-06 05:35:15.000000 ./usr/share/doc/libgtkada-dev/gtkada_ug/_images/\n -rw-r--r-- 0 root (0) root (0) 5240 2024-05-06 05:35:15.000000 ./usr/share/doc/libgtkada-dev/gtkada_ug/_images/boxes.png\n -rw-r--r-- 0 root (0) root (0) 74718 2023-07-26 12:38:56.000000 ./usr/share/doc/libgtkada-dev/gtkada_ug/_images/hierarchy.jpg\n"}, {"source1": "./usr/share/doc/libgtkada-dev/examples/testgtk.tgz", "source2": "./usr/share/doc/libgtkada-dev/examples/testgtk.tgz", "unified_diff": null, "details": [{"source1": "testgtk.tgz-content", "source2": "testgtk.tgz-content", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -1,224 +1,224 @@\n-drwxr-xr-x 0 0 0 0 2024-05-07 09:13:03.000000 testgtk/\n--rw-r--r-- 0 0 0 2755 2023-07-26 12:38:56.000000 testgtk/gnome-calendar.png\n--rw-r--r-- 0 0 0 10907 2023-07-26 12:38:56.000000 testgtk/create_progress.adb\n--rw-r--r-- 0 0 0 1894 2023-07-26 12:38:56.000000 testgtk/create_box.ads\n--rw-r--r-- 0 0 0 1898 2023-07-26 12:38:56.000000 testgtk/create_paned.ads\n--rw-r--r-- 0 0 0 54936 2023-07-26 12:38:56.000000 testgtk/dancing-penguin.gif\n--rw-r--r-- 0 0 0 1900 2023-07-26 12:38:56.000000 testgtk/create_about.ads\n--rw-r--r-- 0 0 0 1894 2023-07-26 12:38:56.000000 testgtk/create_dnd.ads\n--rw-r--r-- 0 0 0 1921 2023-07-26 12:38:56.000000 testgtk/create_test_idle.ads\n--rw-r--r-- 0 0 0 3410 2023-07-26 12:38:56.000000 testgtk/gnome-gimp.png\n--rw-r--r-- 0 0 0 1916 2023-07-26 12:38:56.000000 testgtk/create_gtkada_builder.ads\n--rw-r--r-- 0 0 0 122669 2023-07-26 12:38:56.000000 testgtk/background.png\n--rw-r--r-- 0 0 0 6014 2023-07-26 12:38:56.000000 testgtk/create_tooltips.adb\n--rw-r--r-- 0 0 0 1902 2023-07-26 12:38:56.000000 testgtk/create_builder.ads\n--rw-r--r-- 0 0 0 33995 2023-07-26 12:38:56.000000 testgtk/alps.png\n--rw-r--r-- 0 0 0 1924 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_links.ads\n--rw-r--r-- 0 0 0 5923 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_animate.adb\n--rw-r--r-- 0 0 0 3808 2023-07-26 12:38:56.000000 testgtk/create_css_accordion.adb\n--rw-r--r-- 0 0 0 5500 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_minimap.adb\n--rw-r--r-- 0 0 0 9608 2023-07-26 12:38:56.000000 testgtk/create_dialog.adb\n--rw-r--r-- 0 0 0 7728 2023-07-26 12:38:56.000000 testgtk/create_icon_view.adb\n--rw-r--r-- 0 0 0 8443 2023-07-26 12:38:56.000000 testgtk/create_entry.adb\n--rw-r--r-- 0 0 0 9666 2023-07-26 12:38:56.000000 testgtk/create_clipboard.adb\n--rw-r--r-- 0 0 0 1926 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_rtrees.ads\n--rw-r--r-- 0 0 0 3244 2023-07-26 12:38:56.000000 testgtk/gnome-gmush.png\n--rw-r--r-- 0 0 0 2932 2023-07-26 12:38:56.000000 testgtk/css_accordion.css\n--rw-r--r-- 0 0 0 1898 2023-07-26 12:38:56.000000 testgtk/create_frame.ads\n--rw-r--r-- 0 0 0 2916 2023-07-26 12:38:56.000000 testgtk/gnome-foot.png\n--rw-r--r-- 0 0 0 1921 2023-07-26 12:38:56.000000 testgtk/create_main_loop.ads\n--rw-r--r-- 0 0 0 1904 2023-07-26 12:38:56.000000 testgtk/create_revealer.ads\n--rw-r--r-- 0 0 0 4816 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_edit.adb\n--rw-r--r-- 0 0 0 1928 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_animate.ads\n--rw-r--r-- 0 0 0 1906 2023-07-26 12:38:56.000000 testgtk/create_selection.ads\n--rw-r--r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_tree_view.ads\n--rw-r--r-- 0 0 0 1924 2023-07-26 12:38:56.000000 testgtk/create_css_editor.ads\n--rw-r--r-- 0 0 0 1915 2023-07-26 12:38:56.000000 testgtk/create_status.ads\n--rw-r--r-- 0 0 0 14090 2023-07-26 12:38:56.000000 testgtk/create_notebook.adb\n--rw-r--r-- 0 0 0 18059 2023-07-26 12:38:56.000000 testgtk/create_tree_view.adb\n--rw-r--r-- 0 0 0 6879 2023-07-26 12:38:56.000000 testgtk/libart_demo.adb\n--rw-r--r-- 0 0 0 1924 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_items.ads\n--rw-r--r-- 0 0 0 3545 2023-07-26 12:38:56.000000 testgtk/apple-red.png\n--rw-r--r-- 0 0 0 6379 2023-07-26 12:38:56.000000 testgtk/create_tree_filter.adb\n--rw-r--r-- 0 0 0 4134 2023-07-26 12:38:56.000000 testgtk/create_selection.adb\n--rw-r--r-- 0 0 0 1912 2023-07-26 12:38:56.000000 testgtk/create_tree_filter.ads\n--rw-r--r-- 0 0 0 1927 2023-07-26 12:38:56.000000 testgtk/create_task_monitor.ads\n--rw-r--r-- 0 0 0 1926 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_events.ads\n--rw-r--r-- 0 0 0 1898 2023-07-26 12:38:56.000000 testgtk/create_print.ads\n--rw-r--r-- 0 0 0 1912 2023-07-26 12:38:56.000000 testgtk/create_status_icons.ads\n--rw-r--r-- 0 0 0 8980 2023-07-26 12:38:56.000000 testgtk/gtkbuilder_example.xml\n--rw-r--r-- 0 0 0 5768 2023-07-26 12:38:56.000000 testgtk/create_reparent.adb\n--rw-r--r-- 0 0 0 1927 2023-07-26 12:38:56.000000 testgtk/create_radio_button.ads\n--rw-r--r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_icon_view.ads\n--rw-r--r-- 0 0 0 1912 2023-07-26 12:38:56.000000 testgtk/create_application.ads\n--rw-r--r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_combo_box.ads\n--rw-r--r-- 0 0 0 211 2023-07-26 12:38:56.000000 testgtk/gnat_debug.adc\n--rwxr-xr-x 0 0 0 1970 2023-07-26 12:38:56.000000 testgtk/global_exception_handler.ads\n--rw-r--r-- 0 0 0 15983 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_items.adb\n--rw-r--r-- 0 0 0 7912 2023-07-26 12:38:56.000000 testgtk/create_cursors.adb\n--rw-r--r-- 0 0 0 4261 2023-07-26 12:38:56.000000 testgtk/create_frame.adb\n--rw-r--r-- 0 0 0 3705 2023-07-26 12:38:56.000000 testgtk/create_scrolled.adb\n--rw-r--r-- 0 0 0 7918 2023-07-26 12:38:56.000000 testgtk/create_label.adb\n--rw-r--r-- 0 0 0 347 2023-07-26 12:38:56.000000 testgtk/check-y.xpm\n--rw-r--r-- 0 0 0 1919 2023-07-26 12:38:56.000000 testgtk/create_reparent.ads\n--rw-r--r-- 0 0 0 3908 2023-07-26 12:38:56.000000 testgtk/3DRings.xpm\n--rw-r--r-- 0 0 0 6195 2023-07-26 12:38:56.000000 testgtk/create_layout.adb\n--rw-r--r-- 0 0 0 3864 2023-07-26 12:38:56.000000 testgtk/create_stack.adb\n--rw-r--r-- 0 0 0 1899 2023-07-26 12:38:56.000000 testgtk/create_layout.ads\n--rw-r--r-- 0 0 0 1929 2023-07-26 12:38:56.000000 testgtk/create_check_buttons.ads\n--rw-r--r-- 0 0 0 11433 2023-07-26 12:38:56.000000 testgtk/create_combo_box.adb\n--rw-r--r-- 0 0 0 2494 2023-07-26 12:38:56.000000 testgtk/create_cairo.ads\n--rw-r--r-- 0 0 0 4431 2023-07-26 12:38:56.000000 testgtk/create_link_buttons.adb\n--rw-r--r-- 0 0 0 1919 2023-07-26 12:38:56.000000 testgtk/create_scrolled.ads\n--rw-r--r-- 0 0 0 6994 2023-07-26 12:38:56.000000 testgtk/create_box.adb\n--rw-r--r-- 0 0 0 4263 2023-07-26 12:38:56.000000 testgtk/gnome-gsame.png\n--rw-r--r-- 0 0 0 1929 2023-07-26 12:38:56.000000 testgtk/create_gtkada_dialog.ads\n--rw-r--r-- 0 0 0 1919 2023-07-26 12:38:56.000000 testgtk/create_tooltips.ads\n--rw-r--r-- 0 0 0 3718 2023-07-26 12:38:56.000000 testgtk/create_font_chooser.adb\n--rw-r--r-- 0 0 0 2676 2023-07-26 12:38:56.000000 testgtk/create_file_selection.adb\n--rw-r--r-- 0 0 0 5389 2023-07-26 12:38:56.000000 testgtk/create_css_editor.adb\n--rw-r--r-- 0 0 0 5875 2023-07-26 12:38:56.000000 testgtk/create_size_groups.adb\n--rw-r--r-- 0 0 0 3636 2023-07-26 12:38:56.000000 testgtk/create_color_chooser.adb\n--rw-r--r-- 0 0 0 1915 2023-07-26 12:38:56.000000 testgtk/create_dialog.ads\n--rw-r--r-- 0 0 0 4361 2023-07-26 12:38:56.000000 testgtk/create_test_timeout.adb\n--rw-r--r-- 0 0 0 1910 2023-07-26 12:38:56.000000 testgtk/create_ui_manager.ads\n--rw-r--r-- 0 0 0 347 2023-07-26 12:38:56.000000 testgtk/check-n.xpm\n--rw-r--r-- 0 0 0 1904 2023-07-26 12:38:56.000000 testgtk/create_gestures.ads\n--rw-r--r-- 0 0 0 302023 2023-07-26 12:38:56.000000 testgtk/marble.xpm\n--rw-r--r-- 0 0 0 1927 2023-07-26 12:38:56.000000 testgtk/create_test_timeout.ads\n--rw-r--r-- 0 0 0 1927 2023-07-26 12:38:56.000000 testgtk/create_font_chooser.ads\n--rw-r--r-- 0 0 0 1913 2023-07-26 12:38:56.000000 testgtk/create_entry.ads\n-drwxr-xr-x 0 0 0 0 2024-05-07 09:13:03.000000 testgtk/task_project/\n-drwxr-xr-x 0 0 0 0 2023-07-26 12:38:56.000000 testgtk/task_project/src/\n--rw-r--r-- 0 0 0 2971 2023-07-26 12:38:56.000000 testgtk/task_project/src/task_worker.ads\n--rw-r--r-- 0 0 0 3087 2023-07-26 12:38:56.000000 testgtk/task_project/src/task_worker.adb\n--rw-r--r-- 0 0 0 1912 2023-07-26 12:38:56.000000 testgtk/create_size_groups.ads\n--rw-r--r-- 0 0 0 1900 2023-07-26 12:38:56.000000 testgtk/create_arrow.ads\n--rw-r--r-- 0 0 0 21297 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_links.adb\n--rw-r--r-- 0 0 0 31629 2023-07-26 12:38:56.000000 testgtk/create_canvas.adb\n--rw-r--r-- 0 0 0 1902 2023-07-26 12:38:56.000000 testgtk/create_canvas.ads\n--rw-r--r-- 0 0 0 29 2023-07-26 12:38:56.000000 testgtk/.cvsignore\n--rw-r--r-- 0 0 0 22166 2023-07-26 12:38:56.000000 testgtk/testcairo_drawing.adb\n--rw-r--r-- 0 0 0 11212 2023-07-26 12:38:56.000000 testgtk/create_menu.adb\n--rw-r--r-- 0 0 0 9444 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_routes.adb\n--rw-r--r-- 0 0 0 4999 2023-07-26 12:38:56.000000 testgtk/create_range.adb\n--rw-r--r-- 0 0 0 6077 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_rtrees.adb\n--rw-r--r-- 0 0 0 6794 2023-07-26 12:38:56.000000 testgtk/create_print.adb\n--rw-r--r-- 0 0 0 2855 2023-07-26 12:38:56.000000 testgtk/gnome-textfile.png\n--rw-r--r-- 0 0 0 1919 2023-07-26 12:38:56.000000 testgtk/create_progress.ads\n--rw-r--r-- 0 0 0 4008 2023-07-26 12:38:56.000000 testgtk/create_gtkada_dialog.adb\n--rw-r--r-- 0 0 0 1919 2023-07-26 12:38:56.000000 testgtk/create_spinners.ads\n--rw-r--r-- 0 0 0 6084 2023-07-26 12:38:56.000000 testgtk/create_button_box.adb\n--rw-r--r-- 0 0 0 1919 2023-07-26 12:38:56.000000 testgtk/create_notebook.ads\n--rw-r--r-- 0 0 0 1912 2023-07-26 12:38:56.000000 testgtk/create_link_buttons.ads\n--rw-r--r-- 0 0 0 4295 2023-07-26 12:38:56.000000 testgtk/menus.ui\n--rw-r--r-- 0 0 0 1910 2023-07-26 12:38:56.000000 testgtk/create_splittable.ads\n--rw-r--r-- 0 0 0 2456 2023-07-26 12:38:56.000000 testgtk/testgtk.adb\n--rw-r--r-- 0 0 0 8739 2023-07-26 12:38:56.000000 testgtk/create_splittable.adb\n--rw-r--r-- 0 0 0 23505 2023-07-26 12:38:56.000000 testgtk/create_assistant.adb\n--rw-r--r-- 0 0 0 1982 2023-07-26 12:38:56.000000 testgtk/create_mdi.ads\n--rw-r--r-- 0 0 0 7017 2023-07-26 12:38:56.000000 testgtk/create_application.adb\n--rw-r--r-- 0 0 0 1911 2023-07-26 12:38:56.000000 testgtk/create_menu.ads\n--rw-r--r-- 0 0 0 6035 2023-07-26 12:38:56.000000 testgtk/create_revealer.adb\n--rw-r--r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_assistant.ads\n--rw-r--r-- 0 0 0 1931 2023-07-26 12:38:56.000000 testgtk/create_toggle_buttons.ads\n--rw-r--r-- 0 0 0 10213 2023-07-26 12:38:56.000000 testgtk/create_pixbuf.adb\n--rw-r--r-- 0 0 0 3951 2023-07-26 12:38:56.000000 testgtk/Modeller.xpm\n--rw-r--r-- 0 0 0 1930 2023-07-26 12:38:56.000000 testgtk/create_css_accordion.ads\n--rw-r--r-- 0 0 0 1087 2023-07-26 12:38:56.000000 testgtk/gtkbuilder_custom_widget.xml\n--rw-r--r-- 0 0 0 370 2023-07-26 12:38:56.000000 testgtk/testgtk.css\n--rw-r--r-- 0 0 0 10028 2023-07-26 12:38:56.000000 testgtk/penguin.lwo\n--rw-r--r-- 0 0 0 7237 2023-07-26 12:38:56.000000 testgtk/create_cell_view.adb\n--rw-r--r-- 0 0 0 1910 2023-07-26 12:38:56.000000 testgtk/create_button_box.ads\n--rw-r--r-- 0 0 0 8476 2023-07-26 12:38:56.000000 testgtk/create_text_view.adb\n--rw-r--r-- 0 0 0 1946 2023-07-26 12:38:56.000000 testgtk/libart_demo.ads\n--rw-r--r-- 0 0 0 2663 2023-07-26 12:38:56.000000 testgtk/create_calendar.adb\n--rw-r--r-- 0 0 0 3852 2023-07-26 12:38:56.000000 testgtk/gnu-keys.png\n--rw-r--r-- 0 0 0 1904 2023-07-26 12:38:56.000000 testgtk/create_buttons.ads\n--rw-r--r-- 0 0 0 1913 2023-07-26 12:38:56.000000 testgtk/create_fixed.ads\n--rw-r--r-- 0 0 0 2388 2023-07-26 12:38:56.000000 testgtk/testcairo_drawing.ads\n--rw-r--r-- 0 0 0 7470 2023-07-26 12:38:56.000000 testgtk/create_status_icons.adb\n--rw-r--r-- 0 0 0 1931 2023-07-26 12:38:56.000000 testgtk/create_font_selection.ads\n--rw-r--r-- 0 0 0 1898 2023-07-26 12:38:56.000000 testgtk/create_stack.ads\n--rw-r--r-- 0 0 0 21535 2023-07-26 12:38:56.000000 testgtk/create_flow_box.adb\n--rw-r--r-- 0 0 0 299 2023-07-26 12:38:56.000000 testgtk/tree_minus.xpm\n--rw-r--r-- 0 0 0 2104 2023-07-26 12:38:56.000000 testgtk/create_toolbar.ads\n--rw-r--r-- 0 0 0 10529 2023-07-26 12:38:56.000000 testgtk/create_sources.adb\n--rw-r--r-- 0 0 0 5327 2023-07-26 12:38:56.000000 testgtk/create_task_monitor.adb\n--rw-r--r-- 0 0 0 1913 2023-07-26 12:38:56.000000 testgtk/create_range.ads\n--rw-r--r-- 0 0 0 4523 2023-07-26 12:38:56.000000 testgtk/create_alignment.adb\n--rw-r--r-- 0 0 0 1922 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_edit.ads\n--rw-r--r-- 0 0 0 4364 2023-07-26 12:38:56.000000 testgtk/create_opacity.adb\n--rw-r--r-- 0 0 0 10776 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_events.adb\n--rw-r--r-- 0 0 0 2294 2023-07-26 12:38:56.000000 testgtk/main_windows.ads\n--rw-r--r-- 0 0 0 3572 2023-07-26 12:38:56.000000 testgtk/application.ui\n--rw-r--r-- 0 0 0 1900 2023-07-26 12:38:56.000000 testgtk/create_sources.ads\n--rw-r--r-- 0 0 0 2417 2023-07-26 12:38:56.000000 testgtk/create_font_selection.adb\n--rw-r--r-- 0 0 0 1918 2023-07-26 12:38:56.000000 testgtk/create_cursors.ads\n--rw-r--r-- 0 0 0 298 2023-07-26 12:38:56.000000 testgtk/tree_plus.xpm\n--rw-r--r-- 0 0 0 3901 2023-07-26 12:38:56.000000 testgtk/create_main_loop.adb\n--rw-r--r-- 0 0 0 1911 2023-07-26 12:38:56.000000 testgtk/create_spin.ads\n--rw-r--r-- 0 0 0 8952 2023-07-26 12:38:56.000000 testgtk/create_spin.adb\n--rw-r--r-- 0 0 0 1906 2023-07-26 12:38:56.000000 testgtk/create_alignment.ads\n--rw-r--r-- 0 0 0 14108 2023-07-26 12:38:56.000000 testgtk/create_mdi.adb\n--rw-r--r-- 0 0 0 3890 2023-07-26 12:38:56.000000 testgtk/create_buttons.adb\n--rw-r--r-- 0 0 0 1928 2023-07-26 12:38:56.000000 testgtk/create_file_chooser.ads\n--rw-r--r-- 0 0 0 37511 2023-07-26 12:38:56.000000 testgtk/main_windows.adb\n--rw-r--r-- 0 0 0 13499 2023-07-26 12:38:56.000000 testgtk/create_builder.adb\n--rw-r--r-- 0 0 0 6693 2023-07-26 12:38:56.000000 testgtk/create_gestures.adb\n--rw-r--r-- 0 0 0 1904 2023-07-26 12:38:56.000000 testgtk/create_flow_box.ads\n--rw-r--r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_cell_view.ads\n--rw-r--r-- 0 0 0 1926 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_routes.ads\n--rw-r--r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_text_view.ads\n--rw-r--r-- 0 0 0 3138 2023-07-26 12:38:56.000000 testgtk/create_fixed.adb\n--rw-r--r-- 0 0 0 19401 2023-07-26 12:38:56.000000 testgtk/lightning.png\n--rw-r--r-- 0 0 0 2039 2023-07-26 12:38:56.000000 testgtk/test.xpm\n--rw-r--r-- 0 0 0 1931 2023-07-26 12:38:56.000000 testgtk/create_file_selection.ads\n--rw-r--r-- 0 0 0 6330 2023-07-26 12:38:56.000000 testgtk/create_color_selection.adb\n--rw-r--r-- 0 0 0 3431 2023-07-26 12:38:56.000000 testgtk/create_check_buttons.adb\n--rw-r--r-- 0 0 0 1472 2023-07-26 12:38:56.000000 testgtk/perspectives.xml\n--rw-r--r-- 0 0 0 6537 2023-07-26 12:38:56.000000 testgtk/create_test_idle.adb\n--rw-r--r-- 0 0 0 1904 2023-07-26 12:38:56.000000 testgtk/create_calendar.ads\n--rw-r--r-- 0 0 0 2845 2023-07-26 12:38:56.000000 testgtk/test_rtree.adb\n--rw-r--r-- 0 0 0 9309 2023-07-26 12:38:56.000000 testgtk/create_gtkada_builder.adb\n--rw-r--r-- 0 0 0 1917 2023-07-26 12:38:56.000000 testgtk/create_opacity.ads\n--rw-r--r-- 0 0 0 2571 2023-07-26 12:38:56.000000 testgtk/common.adb\n--rw-r--r-- 0 0 0 481 2023-07-26 12:38:56.000000 testgtk/README\n--rw-r--r-- 0 0 0 3229 2023-07-26 12:38:56.000000 testgtk/search_and_menu.png\n--rw-r--r-- 0 0 0 5413 2024-05-07 09:06:54.000000 testgtk/create_about.adb\n--rw-r--r-- 0 0 0 3090 2023-07-26 12:38:56.000000 testgtk/gnome-applets.png\n--rw-r--r-- 0 0 0 1928 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_minimap.ads\n--rwxr-xr-x 0 0 0 2038 2023-07-26 12:38:56.000000 testgtk/global_exception_handler.adb\n--rw-r--r-- 0 0 0 2883 2023-07-26 12:38:56.000000 testgtk/FilesQueue.xpm\n--rw-r--r-- 0 0 0 11200 2023-07-26 12:38:56.000000 testgtk/create_ui_manager.adb\n--rw-r--r-- 0 0 0 4723 2023-07-26 12:38:56.000000 testgtk/create_paned.adb\n--rw-r--r-- 0 0 0 1479 2023-07-26 12:38:56.000000 testgtk/perspectives_indep.xml\n--rw-r--r-- 0 0 0 4603 2023-07-26 12:38:56.000000 testgtk/create_arrow.adb\n-drwxr-xr-x 0 0 0 0 2023-07-26 12:38:56.000000 testgtk/gtkextra/\n--rw-r--r-- 0 0 0 1898 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_sheet.ads\n--rw-r--r-- 0 0 0 1914 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_plot_realtime.ads\n--rw-r--r-- 0 0 0 1902 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_plot_3d.ads\n--rw-r--r-- 0 0 0 25626 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_plot.adb\n--rw-r--r-- 0 0 0 53007 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_sheet.adb\n--rw-r--r-- 0 0 0 1896 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_plot.ads\n--rw-r--r-- 0 0 0 6862 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_plot_3d.adb\n--rw-r--r-- 0 0 0 8597 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_plot_realtime.adb\n--rw-r--r-- 0 0 0 4255 2023-07-26 12:38:56.000000 testgtk/create_file_chooser.adb\n--rw-r--r-- 0 0 0 5173 2023-07-26 12:38:56.000000 testgtk/create_spinners.adb\n--rw-r--r-- 0 0 0 1932 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_composite.ads\n--rw-r--r-- 0 0 0 1272 2023-07-26 12:38:56.000000 testgtk/refresh.svg\n--rw-r--r-- 0 0 0 7896 2023-07-26 12:38:56.000000 testgtk/create_toolbar.adb\n--rw-r--r-- 0 0 0 6209 2023-07-26 12:38:56.000000 testgtk/create_status.adb\n--rw-r--r-- 0 0 0 1897 2023-07-26 12:38:56.000000 testgtk/create_label.ads\n--rw-r--r-- 0 0 0 9095 2023-07-26 12:38:56.000000 testgtk/common.ads\n--rw-r--r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_clipboard.ads\n--rw-r--r-- 0 0 0 1933 2023-07-26 12:38:56.000000 testgtk/create_color_selection.ads\n--rw-r--r-- 0 0 0 475 2023-07-26 12:38:56.000000 testgtk/central.xml\n--rw-r--r-- 0 0 0 12463 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_composite.adb\n--rw-r--r-- 0 0 0 2016 2023-07-26 12:38:56.000000 testgtk/create_cairo.adb\n--rw-r--r-- 0 0 0 3172 2023-07-26 12:38:56.000000 testgtk/create_radio_button.adb\n--rw-r--r-- 0 0 0 3578 2023-07-26 12:38:56.000000 testgtk/create_toggle_buttons.adb\n--rw-r--r-- 0 0 0 35754 2023-07-26 12:38:56.000000 testgtk/create_dnd.adb\n--rw-r--r-- 0 0 0 2003 2023-07-26 12:38:56.000000 testgtk/create_pixbuf.ads\n--rw-r--r-- 0 0 0 1929 2023-07-26 12:38:56.000000 testgtk/create_color_chooser.ads\n--rw-r--r-- 0 0 0 149 2023-10-29 21:40:25.000000 testgtk/testgtk.gpr\n+drwxrwxr-x 0 0 0 0 2025-06-09 15:44:40.000000 testgtk/\n+-rw-rw-r-- 0 0 0 2845 2023-07-26 12:38:56.000000 testgtk/test_rtree.adb\n+-rw-rw-r-- 0 0 0 9608 2023-07-26 12:38:56.000000 testgtk/create_dialog.adb\n+-rw-rw-r-- 0 0 0 4723 2023-07-26 12:38:56.000000 testgtk/create_paned.adb\n+-rw-rw-r-- 0 0 0 1921 2023-07-26 12:38:56.000000 testgtk/create_test_idle.ads\n+-rw-rw-r-- 0 0 0 6994 2023-07-26 12:38:56.000000 testgtk/create_box.adb\n+-rw-rw-r-- 0 0 0 1919 2023-07-26 12:38:56.000000 testgtk/create_scrolled.ads\n+-rw-rw-r-- 0 0 0 11433 2023-07-26 12:38:56.000000 testgtk/create_combo_box.adb\n+-rw-rw-r-- 0 0 0 3901 2023-07-26 12:38:56.000000 testgtk/create_main_loop.adb\n+-rw-rw-r-- 0 0 0 1910 2023-07-26 12:38:56.000000 testgtk/create_splittable.ads\n+-rw-rw-r-- 0 0 0 7918 2023-07-26 12:38:56.000000 testgtk/create_label.adb\n+-rw-rw-r-- 0 0 0 2755 2023-07-26 12:38:56.000000 testgtk/gnome-calendar.png\n+-rw-rw-r-- 0 0 0 302023 2023-07-26 12:38:56.000000 testgtk/marble.xpm\n+-rw-rw-r-- 0 0 0 1919 2023-07-26 12:38:56.000000 testgtk/create_reparent.ads\n+-rw-rw-r-- 0 0 0 10028 2023-07-26 12:38:56.000000 testgtk/penguin.lwo\n+-rw-rw-r-- 0 0 0 4263 2023-07-26 12:38:56.000000 testgtk/gnome-gsame.png\n+-rw-rw-r-- 0 0 0 3244 2023-07-26 12:38:56.000000 testgtk/gnome-gmush.png\n+-rw-rw-r-- 0 0 0 7237 2023-07-26 12:38:56.000000 testgtk/create_cell_view.adb\n+-rw-rw-r-- 0 0 0 3172 2023-07-26 12:38:56.000000 testgtk/create_radio_button.adb\n+-rw-rw-r-- 0 0 0 2676 2023-07-26 12:38:56.000000 testgtk/create_file_selection.adb\n+-rw-rw-r-- 0 0 0 2417 2023-07-26 12:38:56.000000 testgtk/create_font_selection.adb\n+-rw-rw-r-- 0 0 0 1910 2023-07-26 12:38:56.000000 testgtk/create_button_box.ads\n+-rw-rw-r-- 0 0 0 1931 2023-07-26 12:38:56.000000 testgtk/create_file_selection.ads\n+-rw-rw-r-- 0 0 0 21297 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_links.adb\n+-rw-rw-r-- 0 0 0 1894 2023-07-26 12:38:56.000000 testgtk/create_box.ads\n+-rw-rw-r-- 0 0 0 3808 2023-07-26 12:38:56.000000 testgtk/create_css_accordion.adb\n+-rw-rw-r-- 0 0 0 6379 2023-07-26 12:38:56.000000 testgtk/create_tree_filter.adb\n+-rw-rw-r-- 0 0 0 211 2023-07-26 12:38:56.000000 testgtk/gnat_debug.adc\n+-rw-rw-r-- 0 0 0 4361 2023-07-26 12:38:56.000000 testgtk/create_test_timeout.adb\n+-rw-rw-r-- 0 0 0 1900 2023-07-26 12:38:56.000000 testgtk/create_about.ads\n+-rw-rw-r-- 0 0 0 298 2023-07-26 12:38:56.000000 testgtk/tree_plus.xpm\n+-rw-rw-r-- 0 0 0 35754 2023-07-26 12:38:56.000000 testgtk/create_dnd.adb\n+-rw-rw-r-- 0 0 0 7470 2023-07-26 12:38:56.000000 testgtk/create_status_icons.adb\n+-rw-rw-r-- 0 0 0 1904 2023-07-26 12:38:56.000000 testgtk/create_calendar.ads\n+-rw-rw-r-- 0 0 0 1913 2023-07-26 12:38:56.000000 testgtk/create_entry.ads\n+-rw-rw-r-- 0 0 0 7728 2023-07-26 12:38:56.000000 testgtk/create_icon_view.adb\n+-rw-rw-r-- 0 0 0 1931 2023-07-26 12:38:56.000000 testgtk/create_toggle_buttons.ads\n+-rw-rw-r-- 0 0 0 2932 2023-07-26 12:38:56.000000 testgtk/css_accordion.css\n+-rw-rw-r-- 0 0 0 2003 2023-07-26 12:38:56.000000 testgtk/create_pixbuf.ads\n+-rw-rw-r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_cell_view.ads\n+-rw-rw-r-- 0 0 0 6195 2023-07-26 12:38:56.000000 testgtk/create_layout.adb\n+-rw-rw-r-- 0 0 0 1932 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_composite.ads\n+-rw-rw-r-- 0 0 0 1897 2023-07-26 12:38:56.000000 testgtk/create_label.ads\n+-rw-rw-r-- 0 0 0 5389 2023-07-26 12:38:56.000000 testgtk/create_css_editor.adb\n+-rw-rw-r-- 0 0 0 1919 2023-07-26 12:38:56.000000 testgtk/create_tooltips.ads\n+-rw-rw-r-- 0 0 0 1902 2023-07-26 12:38:56.000000 testgtk/create_canvas.ads\n+-rw-rw-r-- 0 0 0 9095 2023-07-26 12:38:56.000000 testgtk/common.ads\n+-rw-rw-r-- 0 0 0 1894 2023-07-26 12:38:56.000000 testgtk/create_dnd.ads\n+-rw-rw-r-- 0 0 0 1902 2023-07-26 12:38:56.000000 testgtk/create_builder.ads\n+-rw-rw-r-- 0 0 0 370 2023-07-26 12:38:56.000000 testgtk/testgtk.css\n+-rw-rw-r-- 0 0 0 1912 2023-07-26 12:38:56.000000 testgtk/create_tree_filter.ads\n+drwxrwxr-x 0 0 0 0 2025-06-09 15:44:40.000000 testgtk/task_project/\n+drwxrwxr-x 0 0 0 0 2023-07-26 12:38:56.000000 testgtk/task_project/src/\n+-rw-rw-r-- 0 0 0 2971 2023-07-26 12:38:56.000000 testgtk/task_project/src/task_worker.ads\n+-rw-rw-r-- 0 0 0 3087 2023-07-26 12:38:56.000000 testgtk/task_project/src/task_worker.adb\n+-rw-rw-r-- 0 0 0 1917 2023-07-26 12:38:56.000000 testgtk/create_opacity.ads\n+-rw-rw-r-- 0 0 0 4431 2023-07-26 12:38:56.000000 testgtk/create_link_buttons.adb\n+-rw-rw-r-- 0 0 0 10213 2023-07-26 12:38:56.000000 testgtk/create_pixbuf.adb\n+-rw-rw-r-- 0 0 0 13499 2023-07-26 12:38:56.000000 testgtk/create_builder.adb\n+-rw-rw-r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_text_view.ads\n+-rw-rw-r-- 0 0 0 1921 2023-07-26 12:38:56.000000 testgtk/create_main_loop.ads\n+-rw-rw-r-- 0 0 0 3578 2023-07-26 12:38:56.000000 testgtk/create_toggle_buttons.adb\n+-rw-rw-r-- 0 0 0 122669 2023-07-26 12:38:56.000000 testgtk/background.png\n+-rw-rw-r-- 0 0 0 1479 2023-07-26 12:38:56.000000 testgtk/perspectives_indep.xml\n+-rw-rw-r-- 0 0 0 4364 2023-07-26 12:38:56.000000 testgtk/create_opacity.adb\n+-rw-rw-r-- 0 0 0 3852 2023-07-26 12:38:56.000000 testgtk/gnu-keys.png\n+-rw-rw-r-- 0 0 0 8952 2023-07-26 12:38:56.000000 testgtk/create_spin.adb\n+-rw-rw-r-- 0 0 0 1929 2023-07-26 12:38:56.000000 testgtk/create_color_chooser.ads\n+-rw-rw-r-- 0 0 0 2039 2023-07-26 12:38:56.000000 testgtk/test.xpm\n+-rw-rw-r-- 0 0 0 4816 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_edit.adb\n+-rw-rw-r-- 0 0 0 10907 2023-07-26 12:38:56.000000 testgtk/create_progress.adb\n+-rw-rw-r-- 0 0 0 1899 2023-07-26 12:38:56.000000 testgtk/create_layout.ads\n+-rw-rw-r-- 0 0 0 2388 2023-07-26 12:38:56.000000 testgtk/testcairo_drawing.ads\n+-rw-rw-r-- 0 0 0 1916 2023-07-26 12:38:56.000000 testgtk/create_gtkada_builder.ads\n+-rw-rw-r-- 0 0 0 3636 2023-07-26 12:38:56.000000 testgtk/create_color_chooser.adb\n+-rw-rw-r-- 0 0 0 2663 2023-07-26 12:38:56.000000 testgtk/create_calendar.adb\n+-rw-rw-r-- 0 0 0 3229 2023-07-26 12:38:56.000000 testgtk/search_and_menu.png\n+-rw-rw-r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_assistant.ads\n+-rw-rw-r-- 0 0 0 2294 2023-07-26 12:38:56.000000 testgtk/main_windows.ads\n+-rw-rw-r-- 0 0 0 1912 2023-07-26 12:38:56.000000 testgtk/create_status_icons.ads\n+-rw-rw-r-- 0 0 0 1915 2023-07-26 12:38:56.000000 testgtk/create_status.ads\n+-rw-rw-r-- 0 0 0 1272 2023-07-26 12:38:56.000000 testgtk/refresh.svg\n+-rw-rw-r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_icon_view.ads\n+-rw-rw-r-- 0 0 0 1926 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_rtrees.ads\n+-rw-rw-r-- 0 0 0 1924 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_links.ads\n+-rw-rw-r-- 0 0 0 475 2023-07-26 12:38:56.000000 testgtk/central.xml\n+-rw-rw-r-- 0 0 0 2456 2023-07-26 12:38:56.000000 testgtk/testgtk.adb\n+-rw-rw-r-- 0 0 0 33995 2023-07-26 12:38:56.000000 testgtk/alps.png\n+-rw-rw-r-- 0 0 0 4134 2023-07-26 12:38:56.000000 testgtk/create_selection.adb\n+-rw-rw-r-- 0 0 0 5327 2023-07-26 12:38:56.000000 testgtk/create_task_monitor.adb\n+-rw-rw-r-- 0 0 0 19401 2023-07-26 12:38:56.000000 testgtk/lightning.png\n+-rw-rw-r-- 0 0 0 10776 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_events.adb\n+-rw-rw-r-- 0 0 0 2104 2023-07-26 12:38:56.000000 testgtk/create_toolbar.ads\n+-rw-rw-r-- 0 0 0 1910 2023-07-26 12:38:56.000000 testgtk/create_ui_manager.ads\n+-rw-rw-r-- 0 0 0 1912 2023-07-26 12:38:56.000000 testgtk/create_link_buttons.ads\n+-rw-rw-r-- 0 0 0 3718 2023-07-26 12:38:56.000000 testgtk/create_font_chooser.adb\n+-rw-rw-r-- 0 0 0 1898 2023-07-26 12:38:56.000000 testgtk/create_frame.ads\n+-rw-rw-r-- 0 0 0 1931 2023-07-26 12:38:56.000000 testgtk/create_font_selection.ads\n+-rw-rw-r-- 0 0 0 1930 2023-07-26 12:38:56.000000 testgtk/create_css_accordion.ads\n+-rw-rw-r-- 0 0 0 8739 2023-07-26 12:38:56.000000 testgtk/create_splittable.adb\n+-rw-rw-r-- 0 0 0 4603 2023-07-26 12:38:56.000000 testgtk/create_arrow.adb\n+-rw-rw-r-- 0 0 0 1906 2023-07-26 12:38:56.000000 testgtk/create_alignment.ads\n+-rw-rw-r-- 0 0 0 6084 2023-07-26 12:38:56.000000 testgtk/create_button_box.adb\n+-rw-rw-r-- 0 0 0 6209 2023-07-26 12:38:56.000000 testgtk/create_status.adb\n+-rw-rw-r-- 0 0 0 22166 2023-07-26 12:38:56.000000 testgtk/testcairo_drawing.adb\n+-rw-rw-r-- 0 0 0 1926 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_events.ads\n+-rw-rw-r-- 0 0 0 1933 2023-07-26 12:38:56.000000 testgtk/create_color_selection.ads\n+-rw-rw-r-- 0 0 0 1924 2023-07-26 12:38:56.000000 testgtk/create_css_editor.ads\n+-rw-rw-r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_tree_view.ads\n+-rw-rw-r-- 0 0 0 1918 2023-07-26 12:38:56.000000 testgtk/create_cursors.ads\n+-rw-rw-r-- 0 0 0 6693 2023-07-26 12:38:56.000000 testgtk/create_gestures.adb\n+-rw-rw-r-- 0 0 0 3138 2023-07-26 12:38:56.000000 testgtk/create_fixed.adb\n+-rw-rw-r-- 0 0 0 6077 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_rtrees.adb\n+-rw-rw-r-- 0 0 0 1927 2023-07-26 12:38:56.000000 testgtk/create_test_timeout.ads\n+-rw-rw-r-- 0 0 0 4523 2023-07-26 12:38:56.000000 testgtk/create_alignment.adb\n+-rw-rw-r-- 0 0 0 6537 2023-07-26 12:38:56.000000 testgtk/create_test_idle.adb\n+-rw-rw-r-- 0 0 0 1982 2023-07-26 12:38:56.000000 testgtk/create_mdi.ads\n+-rw-rw-r-- 0 0 0 5413 2025-06-09 15:42:01.000000 testgtk/create_about.adb\n+-rw-rw-r-- 0 0 0 1912 2023-07-26 12:38:56.000000 testgtk/create_application.ads\n+-rw-rw-r-- 0 0 0 4261 2023-07-26 12:38:56.000000 testgtk/create_frame.adb\n+drwxrwxr-x 0 0 0 0 2023-07-26 12:38:56.000000 testgtk/gtkextra/\n+-rw-rw-r-- 0 0 0 1914 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_plot_realtime.ads\n+-rw-rw-r-- 0 0 0 8597 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_plot_realtime.adb\n+-rw-rw-r-- 0 0 0 1902 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_plot_3d.ads\n+-rw-rw-r-- 0 0 0 53007 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_sheet.adb\n+-rw-rw-r-- 0 0 0 1898 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_sheet.ads\n+-rw-rw-r-- 0 0 0 25626 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_plot.adb\n+-rw-rw-r-- 0 0 0 1896 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_plot.ads\n+-rw-rw-r-- 0 0 0 6862 2023-07-26 12:38:56.000000 testgtk/gtkextra/create_plot_3d.adb\n+-rw-rw-r-- 0 0 0 1904 2023-07-26 12:38:56.000000 testgtk/create_flow_box.ads\n+-rw-rw-r-- 0 0 0 5173 2023-07-26 12:38:56.000000 testgtk/create_spinners.adb\n+-rw-rw-r-- 0 0 0 2016 2023-07-26 12:38:56.000000 testgtk/create_cairo.adb\n+-rw-rw-r-- 0 0 0 3864 2023-07-26 12:38:56.000000 testgtk/create_stack.adb\n+-rw-rw-r-- 0 0 0 1928 2023-07-26 12:38:56.000000 testgtk/create_file_chooser.ads\n+-rw-rw-r-- 0 0 0 8443 2023-07-26 12:38:56.000000 testgtk/create_entry.adb\n+-rw-rw-r-- 0 0 0 2494 2023-07-26 12:38:56.000000 testgtk/create_cairo.ads\n+-rw-rw-r-- 0 0 0 1906 2023-07-26 12:38:56.000000 testgtk/create_selection.ads\n+-rw-rw-r-- 0 0 0 15983 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_items.adb\n+-rw-rw-r-- 0 0 0 1904 2023-07-26 12:38:56.000000 testgtk/create_revealer.ads\n+-rw-rw-r-- 0 0 0 9444 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_routes.adb\n+-rw-rw-r-- 0 0 0 6035 2023-07-26 12:38:56.000000 testgtk/create_revealer.adb\n+-rwxrwxr-x 0 0 0 2038 2023-07-26 12:38:56.000000 testgtk/global_exception_handler.adb\n+-rw-rw-r-- 0 0 0 347 2023-07-26 12:38:56.000000 testgtk/check-n.xpm\n+-rw-rw-r-- 0 0 0 1911 2023-07-26 12:38:56.000000 testgtk/create_menu.ads\n+-rw-rw-r-- 0 0 0 1919 2023-07-26 12:38:56.000000 testgtk/create_progress.ads\n+-rw-rw-r-- 0 0 0 54936 2023-07-26 12:38:56.000000 testgtk/dancing-penguin.gif\n+-rw-rw-r-- 0 0 0 9309 2023-07-26 12:38:56.000000 testgtk/create_gtkada_builder.adb\n+-rw-rw-r-- 0 0 0 6879 2023-07-26 12:38:56.000000 testgtk/libart_demo.adb\n+-rw-rw-r-- 0 0 0 2916 2023-07-26 12:38:56.000000 testgtk/gnome-foot.png\n+-rw-rw-r-- 0 0 0 18059 2023-07-26 12:38:56.000000 testgtk/create_tree_view.adb\n+-rw-rw-r-- 0 0 0 2883 2023-07-26 12:38:56.000000 testgtk/FilesQueue.xpm\n+-rw-rw-r-- 0 0 0 1472 2023-07-26 12:38:56.000000 testgtk/perspectives.xml\n+-rw-rw-r-- 0 0 0 1928 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_minimap.ads\n+-rw-rw-r-- 0 0 0 1922 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_edit.ads\n+-rw-rw-r-- 0 0 0 1927 2023-07-26 12:38:56.000000 testgtk/create_font_chooser.ads\n+-rw-rw-r-- 0 0 0 10529 2023-07-26 12:38:56.000000 testgtk/create_sources.adb\n+-rw-rw-r-- 0 0 0 1904 2023-07-26 12:38:56.000000 testgtk/create_buttons.ads\n+-rw-rw-r-- 0 0 0 2571 2023-07-26 12:38:56.000000 testgtk/common.adb\n+-rw-rw-r-- 0 0 0 5923 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_animate.adb\n+-rw-rw-r-- 0 0 0 11212 2023-07-26 12:38:56.000000 testgtk/create_menu.adb\n+-rw-rw-r-- 0 0 0 11200 2023-07-26 12:38:56.000000 testgtk/create_ui_manager.adb\n+-rw-rw-r-- 0 0 0 8476 2023-07-26 12:38:56.000000 testgtk/create_text_view.adb\n+-rw-rw-r-- 0 0 0 37511 2023-07-26 12:38:56.000000 testgtk/main_windows.adb\n+-rw-rw-r-- 0 0 0 347 2023-07-26 12:38:56.000000 testgtk/check-y.xpm\n+-rw-rw-r-- 0 0 0 1898 2023-07-26 12:38:56.000000 testgtk/create_stack.ads\n+-rw-rw-r-- 0 0 0 31629 2023-07-26 12:38:56.000000 testgtk/create_canvas.adb\n+-rw-rw-r-- 0 0 0 23505 2023-07-26 12:38:56.000000 testgtk/create_assistant.adb\n+-rw-rw-r-- 0 0 0 299 2023-07-26 12:38:56.000000 testgtk/tree_minus.xpm\n+-rw-rw-r-- 0 0 0 6330 2023-07-26 12:38:56.000000 testgtk/create_color_selection.adb\n+-rwxrwxr-x 0 0 0 1970 2023-07-26 12:38:56.000000 testgtk/global_exception_handler.ads\n+-rw-rw-r-- 0 0 0 29 2023-07-26 12:38:56.000000 testgtk/.cvsignore\n+-rw-rw-r-- 0 0 0 9666 2023-07-26 12:38:56.000000 testgtk/create_clipboard.adb\n+-rw-rw-r-- 0 0 0 1898 2023-07-26 12:38:56.000000 testgtk/create_print.ads\n+-rw-rw-r-- 0 0 0 2855 2023-07-26 12:38:56.000000 testgtk/gnome-textfile.png\n+-rw-rw-r-- 0 0 0 5875 2023-07-26 12:38:56.000000 testgtk/create_size_groups.adb\n+-rw-rw-r-- 0 0 0 14090 2023-07-26 12:38:56.000000 testgtk/create_notebook.adb\n+-rw-rw-r-- 0 0 0 3431 2023-07-26 12:38:56.000000 testgtk/create_check_buttons.adb\n+-rw-rw-r-- 0 0 0 1929 2023-07-26 12:38:56.000000 testgtk/create_check_buttons.ads\n+-rw-rw-r-- 0 0 0 1929 2023-07-26 12:38:56.000000 testgtk/create_gtkada_dialog.ads\n+-rw-rw-r-- 0 0 0 1913 2023-07-26 12:38:56.000000 testgtk/create_fixed.ads\n+-rw-rw-r-- 0 0 0 4008 2023-07-26 12:38:56.000000 testgtk/create_gtkada_dialog.adb\n+-rw-rw-r-- 0 0 0 3090 2023-07-26 12:38:56.000000 testgtk/gnome-applets.png\n+-rw-rw-r-- 0 0 0 3410 2023-07-26 12:38:56.000000 testgtk/gnome-gimp.png\n+-rw-rw-r-- 0 0 0 21535 2023-07-26 12:38:56.000000 testgtk/create_flow_box.adb\n+-rw-rw-r-- 0 0 0 1924 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_items.ads\n+-rw-rw-r-- 0 0 0 5500 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_minimap.adb\n+-rw-rw-r-- 0 0 0 3951 2023-07-26 12:38:56.000000 testgtk/Modeller.xpm\n+-rw-rw-r-- 0 0 0 4295 2023-07-26 12:38:56.000000 testgtk/menus.ui\n+-rw-rw-r-- 0 0 0 3572 2023-07-26 12:38:56.000000 testgtk/application.ui\n+-rw-rw-r-- 0 0 0 1946 2023-07-26 12:38:56.000000 testgtk/libart_demo.ads\n+-rw-rw-r-- 0 0 0 12463 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_composite.adb\n+-rw-rw-r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_clipboard.ads\n+-rw-rw-r-- 0 0 0 14108 2023-07-26 12:38:56.000000 testgtk/create_mdi.adb\n+-rw-rw-r-- 0 0 0 6794 2023-07-26 12:38:56.000000 testgtk/create_print.adb\n+-rw-rw-r-- 0 0 0 7912 2023-07-26 12:38:56.000000 testgtk/create_cursors.adb\n+-rw-rw-r-- 0 0 0 1912 2023-07-26 12:38:56.000000 testgtk/create_size_groups.ads\n+-rw-rw-r-- 0 0 0 1904 2023-07-26 12:38:56.000000 testgtk/create_gestures.ads\n+-rw-rw-r-- 0 0 0 1908 2023-07-26 12:38:56.000000 testgtk/create_combo_box.ads\n+-rw-rw-r-- 0 0 0 1926 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_routes.ads\n+-rw-rw-r-- 0 0 0 1928 2023-07-26 12:38:56.000000 testgtk/create_canvas_view_animate.ads\n+-rw-rw-r-- 0 0 0 1913 2023-07-26 12:38:56.000000 testgtk/create_range.ads\n+-rw-rw-r-- 0 0 0 8980 2023-07-26 12:38:56.000000 testgtk/gtkbuilder_example.xml\n+-rw-rw-r-- 0 0 0 3890 2023-07-26 12:38:56.000000 testgtk/create_buttons.adb\n+-rw-rw-r-- 0 0 0 3545 2023-07-26 12:38:56.000000 testgtk/apple-red.png\n+-rw-rw-r-- 0 0 0 1919 2023-07-26 12:38:56.000000 testgtk/create_spinners.ads\n+-rw-rw-r-- 0 0 0 1900 2023-07-26 12:38:56.000000 testgtk/create_sources.ads\n+-rw-rw-r-- 0 0 0 6014 2023-07-26 12:38:56.000000 testgtk/create_tooltips.adb\n+-rw-rw-r-- 0 0 0 3908 2023-07-26 12:38:56.000000 testgtk/3DRings.xpm\n+-rw-rw-r-- 0 0 0 5768 2023-07-26 12:38:56.000000 testgtk/create_reparent.adb\n+-rw-rw-r-- 0 0 0 1915 2023-07-26 12:38:56.000000 testgtk/create_dialog.ads\n+-rw-rw-r-- 0 0 0 481 2023-07-26 12:38:56.000000 testgtk/README\n+-rw-rw-r-- 0 0 0 7017 2023-07-26 12:38:56.000000 testgtk/create_application.adb\n+-rw-rw-r-- 0 0 0 1898 2023-07-26 12:38:56.000000 testgtk/create_paned.ads\n+-rw-rw-r-- 0 0 0 1919 2023-07-26 12:38:56.000000 testgtk/create_notebook.ads\n+-rw-rw-r-- 0 0 0 1927 2023-07-26 12:38:56.000000 testgtk/create_task_monitor.ads\n+-rw-rw-r-- 0 0 0 1911 2023-07-26 12:38:56.000000 testgtk/create_spin.ads\n+-rw-rw-r-- 0 0 0 1900 2023-07-26 12:38:56.000000 testgtk/create_arrow.ads\n+-rw-rw-r-- 0 0 0 1927 2023-07-26 12:38:56.000000 testgtk/create_radio_button.ads\n+-rw-rw-r-- 0 0 0 3705 2023-07-26 12:38:56.000000 testgtk/create_scrolled.adb\n+-rw-rw-r-- 0 0 0 7896 2023-07-26 12:38:56.000000 testgtk/create_toolbar.adb\n+-rw-rw-r-- 0 0 0 4255 2023-07-26 12:38:56.000000 testgtk/create_file_chooser.adb\n+-rw-rw-r-- 0 0 0 1087 2023-07-26 12:38:56.000000 testgtk/gtkbuilder_custom_widget.xml\n+-rw-rw-r-- 0 0 0 4999 2023-07-26 12:38:56.000000 testgtk/create_range.adb\n+-rw-rw-r-- 0 0 0 149 2023-10-29 21:40:25.000000 testgtk/testgtk.gpr\n"}]}]}, {"source1": "./usr/share/doc/libgtkada-dev/gtkada_ug/searchindex.js", "source2": "./usr/share/doc/libgtkada-dev/gtkada_ug/searchindex.js", "unified_diff": null, "details": [{"source1": "js-beautify {}", "source2": "js-beautify {}", "unified_diff": "@@ -2323,38 +2323,14 @@\n ],\n \"Debugging GtkAda applications\": [\n [2, \"debugging-gtkada-applications\"]\n ],\n \"Processing external events\": [\n [3, \"processing-external-events\"]\n ],\n- \"Getting started with GtkAda\": [\n- [4, \"getting-started-with-gtkada\"]\n- ],\n- \"How to build and install GtkAda\": [\n- [4, \"how-to-build-and-install-gtkada\"]\n- ],\n- \"How to distribute a GtkAda application\": [\n- [4, \"how-to-distribute-a-gtkada-application\"]\n- ],\n- \"How to use GtkAda\": [\n- [4, \"how-to-use-gtkada\"]\n- ],\n- \"Organization of the GtkAda package\": [\n- [4, \"organization-of-the-gtkada-package\"]\n- ],\n- \"How to compile an application with GtkAda\": [\n- [4, \"how-to-compile-an-application-with-gtkada\"]\n- ],\n- \"Architecture of the toolkit\": [\n- [4, \"architecture-of-the-toolkit\"]\n- ],\n- \"Widgets Hierarchy\": [\n- [4, \"widgets-hierarchy\"]\n- ],\n \"Support for Glade, the Gtk GUI builder\": [\n [5, \"support-for-glade-the-gtk-gui-builder\"]\n ],\n \"Introduction\": [\n [5, \"introduction\"]\n ],\n \"Launching Glade\": [\n@@ -2383,14 +2359,38 @@\n ],\n \"Binding new widgets\": [\n [12, \"binding-new-widgets\"]\n ],\n \"Resource files\": [\n [15, \"resource-files\"]\n ],\n+ \"Getting started with GtkAda\": [\n+ [4, \"getting-started-with-gtkada\"]\n+ ],\n+ \"How to build and install GtkAda\": [\n+ [4, \"how-to-build-and-install-gtkada\"]\n+ ],\n+ \"How to distribute a GtkAda application\": [\n+ [4, \"how-to-distribute-a-gtkada-application\"]\n+ ],\n+ \"How to use GtkAda\": [\n+ [4, \"how-to-use-gtkada\"]\n+ ],\n+ \"Organization of the GtkAda package\": [\n+ [4, \"organization-of-the-gtkada-package\"]\n+ ],\n+ \"How to compile an application with GtkAda\": [\n+ [4, \"how-to-compile-an-application-with-gtkada\"]\n+ ],\n+ \"Architecture of the toolkit\": [\n+ [4, \"architecture-of-the-toolkit\"]\n+ ],\n+ \"Widgets Hierarchy\": [\n+ [4, \"widgets-hierarchy\"]\n+ ],\n \"GNU Free Documentation License\": [\n [10, \"gnu-free-documentation-license\"]\n ],\n \"PREAMBLE\": [\n [10, \"preamble\"]\n ],\n \"APPLICABILITY AND DEFINITIONS\": [\n@@ -2422,20 +2422,14 @@\n ],\n \"FUTURE REVISIONS OF THIS LICENSE\": [\n [10, \"future-revisions-of-this-license\"]\n ],\n \"ADDENDUM: How to use this License for your documents\": [\n [10, \"addendum-how-to-use-this-license-for-your-documents\"]\n ],\n- \"How to report bugs\": [\n- [14, \"how-to-report-bugs\"]\n- ],\n- \"Tasking with GtkAda\": [\n- [18, \"tasking-with-gtkada\"]\n- ],\n \"Object-oriented features\": [\n [13, \"object-oriented-features\"]\n ],\n \"General description of the tagged types\": [\n [13, \"general-description-of-the-tagged-types\"]\n ],\n \"Why should I use object-oriented programming ?\": [\n@@ -2452,22 +2446,16 @@\n ],\n \"Creating composite widgets\": [\n [13, \"creating-composite-widgets\"]\n ],\n \"Creating widgets from scratch\": [\n [13, \"creating-widgets-from-scratch\"]\n ],\n- \"System Package Dependencies\": [\n- [17, \"system-package-dependencies\"]\n- ],\n- \"Red Hat Enterprise Linux 7 & 8\": [\n- [17, \"red-hat-enterprise-linux-7-8\"]\n- ],\n- \"Ubunbu 18.04 & 20.04\": [\n- [17, \"ubunbu-18-04-20-04\"]\n+ \"How to report bugs\": [\n+ [14, \"how-to-report-bugs\"]\n ],\n \"Signal handling\": [\n [16, \"signal-handling\"]\n ],\n \"Predefined signals\": [\n [16, \"predefined-signals\"]\n ],\n@@ -2491,14 +2479,26 @@\n ],\n \"Third case: manually disconnecting the callback\": [\n [16, \"third-case-manually-disconnecting-the-callback\"]\n ],\n \"Fourth case: setting a watch on a specific widget\": [\n [16, \"fourth-case-setting-a-watch-on-a-specific-widget\"]\n ],\n+ \"System Package Dependencies\": [\n+ [17, \"system-package-dependencies\"]\n+ ],\n+ \"Red Hat Enterprise Linux 7 & 8\": [\n+ [17, \"red-hat-enterprise-linux-7-8\"]\n+ ],\n+ \"Ubunbu 18.04 & 20.04\": [\n+ [17, \"ubunbu-18-04-20-04\"]\n+ ],\n+ \"Tasking with GtkAda\": [\n+ [18, \"tasking-with-gtkada\"]\n+ ],\n \"Transitioning from GtkAda 2 to GtkAda 3\": [\n [19, \"transitioning-from-gtkada-2-to-gtkada-3\"]\n ],\n \"General\": [\n [19, \"general\"]\n ],\n \"Interfaces\": [\n"}]}]}]}]}]}