Your message dated Wed, 04 Sep 2024 04:07:01 +0000
with message-id <[email protected]>
and subject line Bug#1078252: Removed package(s) from unstable
has caused the Debian Bug report #1078252,
regarding RM: libcoq-coqeal libcoq-extructures libcoq-interval
libcoq-mathcomp-algebra-tactics libcoq-mathcomp-classical
libcoq-mathcomp-analysis libcoq-mathcomp-multinomials
libcoq-mathcomp-real-closed libcoq-deriving libcoq-quickchick quickchick
libcoq-reglang libcoq-relation-algebra libcoq-coquelicot
libcoq-mathcomp-bigenough libcoq-mathcomp-finmap libcoq-mathcomp-zify
libcoq-corn libcoq-mathcomp-algebra libcoq-mathcomp-character
libcoq-mathcomp-field libcoq-mathcomp-fingroup libcoq-mathcomp-solvable
libcoq-mathcomp-ssreflect libcoq-mathcomp libcoq-equations libcoq-gappa
libcoq-hierarchy-builder libcoq-iris libcoq-math-classes libcoq-mtac2
libcoq-simple-io libcoq-coqprime coqprime-tools libcoq-aac-tactics
libcoq-bignums libcoq-dpdgraph coq-dpdgraph-tools libcoq-elpi libcoq-ext-lib
libcoq-hammer libcoq-hott libcoq-libhyps libcoq-menhirlib libcoq-record-update
libcoq-reduction-effects libcoq-serapi-ocaml libcoq-serapi-ocaml-dev coq-serapi
libcoq-stdpp libcoq-unicoq libcoq-unimath libcoq-flocq libcoq-ott ott-tools
libcoq-paramcoq coq coqide libcoq-stdlib libcoq-core-ocaml
libcoq-core-ocaml-dev [armhf i386] -- ROM; NBS; armhf and i386 are no longer
native
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 [email protected]
immediately.)
--
1078252: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1078252
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: [email protected], [email protected]
Control: affects -1 + src:coqeal
User: [email protected]
Usertags: remove
User: [email protected]
Usertags: ocaml-5.2.0-transition
Dear FTP Team,
OCaml 5.2.0 dropped support for native compilation on 32-bit
architectures. Hence, armhf and i386 are now bytecode-only. Since Coq
packages require the native compiler, their binaries must be removed
on armhf and i386.
Here is the complete list, in reverse dependency order:
coqeal
coq-extructures
coq-interval
mathcomp-algebra-tactics
mathcomp-analysis
mathcomp-multinomials
mathcomp-real-closed
coq-deriving
coq-quickchick
coq-reglang
coq-relation-algebra
coquelicot
mathcomp-bigenough
mathcomp-finmap
mathcomp-zify
coq-corn
ssreflect
coq-equations
coq-gappa
coq-hierarchy-builder
coq-iris
coq-math-classes
coq-mtac2
coq-simple-io
coqprime
aac-tactics
coq-bignums
coq-dpdgraph
coq-elpi
coq-ext-lib
coq-hammer
coq-hott
coq-libhyps
coq-menhirlib
coq-record-update
coq-reduction-effects
coq-serapi
coq-stdpp
coq-unicoq
coq-unimath
flocq
ott
paramcoq
coq
Cheers,
--
Stéphane
--- End Message ---
--- Begin Message ---
We believe that the bug you reported is now fixed; the following
package(s) have been removed from unstable:
coq-dpdgraph-tools | 1.0+8.19-2 | armhf, i386
coqprime-tools | 8.19-2 | armhf, i386
libcoq-aac-tactics | 8.19.1-2 | armhf, i386
libcoq-bignums | 9.0.0+coq8.20-1+b1 | armhf, i386
libcoq-coqeal | 2.0.2-2 | armhf, i386
libcoq-coqprime | 8.19-2 | armhf, i386
libcoq-coquelicot | 3.4.1-3 | armhf, i386
libcoq-core-ocaml | 8.19.1+dfsg-3 | armhf, i386
libcoq-corn | 8.19.0+ds1-1+b3 | armhf, i386
libcoq-deriving | 0.2.0-3 | armhf, i386
libcoq-dpdgraph | 1.0+8.19-2 | armhf, i386
libcoq-equations | 1.3-8.19-2 | armhf, i386
libcoq-ext-lib | 0.12.1-2+b1 | armhf, i386
libcoq-extructures | 0.4.0-4 | armhf, i386
libcoq-flocq | 4.1.4-2 | armhf, i386
libcoq-gappa | 1.5.5-2 | armhf, i386
libcoq-hammer | 1.3.2+8.19-2 | armhf, i386
libcoq-hierarchy-builder | 1.7.0-2+b1 | armhf, i386
libcoq-hott | 8.19-2 | armhf, i386
libcoq-interval | 4.11.0-2 | armhf, i386
libcoq-iris | 4.2.0-3 | armhf, i386
libcoq-libhyps | 2.0.8-4 | armhf, i386
libcoq-math-classes | 8.19.0-1+b3 | armhf, i386
libcoq-mathcomp | 2.2.0-2+b1 | armhf, i386
libcoq-mathcomp-algebra | 2.2.0-2+b1 | armhf, i386
libcoq-mathcomp-algebra-tactics | 1.2.3-4 | armhf, i386
libcoq-mathcomp-analysis | 1.2.0-2 | armhf, i386
libcoq-mathcomp-bigenough | 1.0.1-14 | armhf, i386
libcoq-mathcomp-character | 2.2.0-2+b1 | armhf, i386
libcoq-mathcomp-classical | 1.2.0-2 | armhf, i386
libcoq-mathcomp-field | 2.2.0-2+b1 | armhf, i386
libcoq-mathcomp-fingroup | 2.2.0-2+b1 | armhf, i386
libcoq-mathcomp-finmap | 2.1.0-2 | armhf, i386
libcoq-mathcomp-multinomials | 2.2.0-3 | armhf, i386
libcoq-mathcomp-real-closed | 2.0.0-3 | armhf, i386
libcoq-mathcomp-solvable | 2.2.0-2+b1 | armhf, i386
libcoq-mathcomp-ssreflect | 2.2.0-2+b1 | armhf, i386
libcoq-mathcomp-zify | 1.5.0+2.0+8.16-3 | armhf, i386
libcoq-menhirlib | 20231231+ds-4 | armhf, i386
libcoq-mtac2 | 1.4+8.19-2 | armhf, i386
libcoq-ott | 0.33+ds-4 | armhf, i386
libcoq-paramcoq | 1.1.3+coq8.19-2 | armhf, i386
libcoq-quickchick | 2.0.3-3 | armhf, i386
libcoq-record-update | 0.3.4-3 | armhf, i386
libcoq-reduction-effects | 0.1.5-5 | armhf, i386
libcoq-reglang | 1.2.1-4 | armhf, i386
libcoq-relation-algebra | 1.7.10-4 | armhf, i386
libcoq-serapi-ocaml | 8.19.0+0.19.3-4 | armhf, i386
libcoq-serapi-ocaml-dev | 8.19.0+0.19.3-4 | armhf, i386
libcoq-simple-io | 1.9.0-2 | armhf, i386
libcoq-stdlib | 8.19.1+dfsg-3 | armhf, i386
libcoq-stdpp | 1.10.0-2 | armhf, i386
libcoq-unicoq | 1.6-8.19-2 | armhf, i386
libcoq-unimath | 20240331-2 | armhf, i386
ott-tools | 0.33+ds-4 | armhf, i386
quickchick | 2.0.3-3 | armhf, i386
------------------- Reason -------------------
ROM; NBS; armhf and i386 are no longer native
----------------------------------------------
Note that the package(s) have simply been removed from the tag
database and may (or may not) still be in the pool; this is not a bug.
The package(s) will be physically removed automatically when no suite
references them (and in the case of source, when no binary references
it). Please also remember 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.
Packages are usually not removed from testing by hand. Testing tracks
unstable and will automatically remove packages which were removed
from unstable when removing them from testing causes no dependency
problems. The release team can force a removal from testing if it is
really needed, please contact them if this should be the case.
Bugs which have been reported against this package are not automatically
removed from the Bug Tracking System. Please check all open bugs and
close them or re-assign them to another package if the removed package
was superseded by another one.
The version of this package that was in Debian prior to this removal
can still be found using https://snapshot.debian.org/.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected].
The full log for this bug can be viewed at https://bugs.debian.org/1078252
This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
[email protected].
Debian distribution maintenance software
pp.
Scott Kitterman (the ftpmaster behind the curtain)
--- End Message ---
