Package: gnat-gps
Version: 5.0-2
Followup-For: Bug #653470
Dear Maintainer,
*** Please consider answering these questions, where appropriate ***
I did:
mv ~/.gps ~/.oldgps
gnat-gps
and still obtained the same error.
Log file is attached.
*** End of the template - remove these lines ***
--
Thanks for this detailed error report. Does the exception also occur if
you rename /home/amarsh04/.gps/ to another name?
--
Ludovic Brenta.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Package: gnat-gps
Version: 5.0-2
Severity: normal
Dear Maintainer,
*** Please consider answering these questions, where appropriate ***
* What led up to the situation?
running gnat-gps
* What exactly did you do (or not do) that was effective (or
ineffective)?
* What was the outcom
3 matches
Mail list logo