Your message dated Sat, 24 May 2025 18:39:20 +0000
with message-id <e1uitmc-000u38...@fasolo.debian.org>
and subject line Bug#1103852: Removed package(s) from unstable
has caused the Debian Bug report #810314,
regarding gnatstub: asis_ul-projects.adb:1243 access check failed
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
810314: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810314
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: asis-programs
Version: 2014-4
Severity: important
File: /usr/bin/gnatstub
Dear Maintainer,
When I tried to see how 'gnatstub' works, I found that it fails with a
"bug box" on all my chosen example files:
An example:
% cat noget.ads
package Noget is
procedure Hello (I : Integer);
end Noget;
% gnatstub -t noget.ads
+===========================ASIS BUG DETECTED==============================+
| ASIS 2.0.R for GNAT 4.9.2 CONSTRAINT_ERROR a4g-gnat_int.adb:242 range check
failed|
| when processing A4G.Contt.SD.Read_and_Check_New (tree file /tmp/noget.adt)|
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Use a subject line meaningful to you and us to track the bug. |
| Include the entire contents of this bug box and the ASIS debug info |
| in the report. |
| Include the exact list of the parameters of the ASIS queries |
| Asis.Implementation.Initialize and Asis.Ada_Environments.Associate |
| from the ASIS application for which the bug is detected |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
| NOTE: ASIS bugs may be submitted to rep...@adacore.com |
+==========================================================================+
Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
% ls -l noget.*
-rw-r--r-- 1 sparre sparre 62 jan 8 10:08 noget.ads
-rw-r--r-- 1 sparre sparre 348728 jan 8 10:16 noget.adt
-rw-r--r-- 1 sparre sparre 284 jan 8 10:16 noget.ali
%
I don't depend on being able to use 'gnatstub', but it would be nice
if it worked.
-- System Information:
Debian Release: 8.2
APT prefers stable-updates
APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 3.16.0-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=fo_FO.ISO-8859-1, LC_CTYPE=fo_FO.ISO-8859-1 (charmap=ISO-8859-1)
Shell: /bin/sh linked to /bin/bash
Init: sysvinit (via /sbin/init)
Versions of packages asis-programs depends on:
ii gnat 4.9
ii gnat-4.9 4.9.2-1
ii libasis2014 2014-4
ii libc6 2.19-18+deb8u1
ii libgcc1 1:4.9.2-10
ii libgnat-4.9 4.9.2-1
ii libgnatcoll1.6 1.6gpl2014-6
ii libgnatprj4.9 4.9.2-1
ii libgnatvsn4.9 4.9.2-1
Versions of packages asis-programs recommends:
ii libaunit3.7.1-dev 3.7.1-1
asis-programs suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Version: 2019-5+rm
Dear submitter,
as the package asis has just been removed from the Debian archive
unstable we hereby close the associated bug reports. We are sorry
that we couldn't deal with your issue properly.
For details on the removal, please see https://bugs.debian.org/1103852
The version of this package that was in Debian prior to this removal
can still be found using https://snapshot.debian.org/.
Please note that the changes have been done on the master archive and
will not propagate to any mirrors until the next dinstall run at the
earliest.
This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmas...@ftp-master.debian.org.
Debian distribution maintenance software
pp.
Paul Tagliamonte (the ftpmaster behind the curtain)
--- End Message ---
