GNAT programming studio crashes on startup (package gnat-gps)

[marcus905]

When starting GNAT programming studio with binary /usr/bin/gnat-gps it doesn't start at all crashing immediately with:

raised STORAGE_ERROR : s-intman.adb:136 explicit raise

Tested in a Raspberry Pi 4 Model B 4GB Made in the UK.

Package: gnat-gps
Status: install ok installed
Priority: optional
Section: devel
Installed-Size: 48932
Maintainer: Ludovic Brenta <email address hidden>
Architecture: armhf
Version: 18-2

Linux raspberrypi 4.19.97-v7l+ #1294 SMP Thu Jan 30 13:21:14 GMT 2020 armv7l GNU/Linux

libc6 Version: 2.28-10+rpi1

-- reportbug
Warning: no reportbug configuration found. Proceeding in novice mode.
Detected character set: UTF-8
Please change your locale if this is incorrect.

Using 'pi@raspberrypi' as your from address.
Getting status for gnat-gps...
Will send report to Raspbian (per lsb_release).
Maintainer for gnat-gps is 'Ludovic Brenta <email address hidden>'.
Looking up dependencies of gnat-gps...

Rewriting subject to 'gnat-gps: none'
Saving a backup of the report at /tmp/reportbug-gnat-gps-backup-20200429-7276-x7k6fyll
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: pi@raspberrypi
To: Debian Bug Tracking System <email address hidden>
Subject: gnat-gps: none
X-Debbugs-Cc: none

Package: gnat-gps
Version: 18-2
Severity: normal

Dear Maintainer,

*** Reporter, please consider answering these questions, where appropriate ***

   * What led up to the situation?
   * What exactly did you do (or not do) that was effective (or
     ineffective)?
   * What was the outcome of this action?
   * What outcome did you expect instead?

*** End of the template - remove these template lines ***

-- System Information:
Distributor ID: Raspbian
Description: Raspbian GNU/Linux 10 (buster)
Release: 10
Codename: buster
Architecture: armv7l

Kernel: Linux 4.19.97-v7l+ (SMP w/4 CPU cores)
Kernel taint flags: TAINT_CRAP
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8), LANGUAGE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages gnat-gps depends on:
ii gir1.2-gtk-3.0 3.24.5-1+rpt2
ii gnat-gps-common 18-2
ii gprbuild 2018-6
ii libc6 2.28-10+rpi1
ii libcairo2 1.16.0-4+rpt1
ii libclang1-6.0 1:6.0.1-10+rpi1
ii libgcc1 1:8.3.0-6+rpi1
ii libgdk-pixbuf2.0-0 2.38.1+dfsg-1
ii libglib2.0-0 2.58.3-2+deb10u2
ii libgnat-8 8.3.0-6+rpi1
ii libgnatcoll-iconv18 18-2
ii libgnatcoll-python17 18-2
ii libgnatcoll-sql1 18-4
ii libgnatcoll-sqlite-bin 18-4
ii libgnatcoll-sqlite18 18-4
ii libgnatcoll-xref18 18-4
ii libgnatcoll17 18-4
ii libgpr18 2018-6
ii libgtk-3-0 3.24.5-1+rpt2
ii libgtkada18 18-2
ii libpango-1.0-0 1.42.4-7~deb10u1
ii libpython2.7 2.7.16-2+deb10u1
ii libtemplates-parser18 19-3
ii libxmlada-dom5 18-4
ii libxmlada-input5 18-4
ii libxmlada-sax5 18-4
ii libxmlada-schema5 18-4
ii libxmlada-unicode5 18-4
ii python-gi 3.30.4-1
ii python-six 1.12.0-1

Versions of packages gnat-gps recommends:
ii gdb-minimal 8.2.1-2
ii gnat 8.0.1
ii gnat-gps-doc 18-2
ii python-jedi 0.13.2-1
ii python-pep8 1.7.1-3

gnat-gps suggests no packages.

-- no debconf information