Your message dated Sat, 24 Aug 2024 21:47:50 +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: 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 [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 | 8.19.1+dfsg-3 | armhf, i386 coq-serapi | 8.19.0+0.19.3-4 | armhf, i386 coqide | 8.19.1+dfsg-3 | armhf, i386 libcoq-core-ocaml-dev | 8.19.1+dfsg-3 | armhf, i386 libcoq-elpi | 2.1.0-1+b2 | armhf libcoq-elpi | 2.1.0-1+b3 | 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 ---
