Bug#1000569: RM: mingw-ocaml -- RoQA; obsolete, unmaintained, FTBFS

Package: ftp.debian.org Severity: normal X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org Dear FTP Team, Please remove mingw-ocaml from unstable. It is obsolete, has been unmaintained for 7 years, and fails to build from source. Cheers, -- Stéphane

Bug#1000570: RM: galax -- RoQA; unmaintained, FTBFS, not in stable

Package: ftp.debian.org Severity: normal X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org Dear FTP Team, Please remove galax from unstable. It has no human maintainers, FTBFS and not in stable. Cheers, -- Stéphane

Bug#1000573: Bytecode architectures blocking bug

Package: coq Version: 8.14.0+dfsg-6 Severity: grave X-Debbugs-CC: debian-ocaml-maint@lists.debian.org Don't migrate to testing until the bytecode architectures' situation is cleared. Cheers, J. Puydt

Processed: Bug#978875 marked as pending in ocaml

Processing control commands: > tag -1 pending Bug #978875 [src:ocaml] ocaml: ftbfs with autoconf 2.70 Added tag(s) pending. -- 978875: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=978875 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

[Git][ocaml-team/ocaml] Pushed new tag archive/debian/4.11.1-5

Stéphane Glondu pushed new tag archive/debian/4.11.1-5 at Debian OCaml Maintainers / ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml/-/tree/archive/debian/4.11.1-5 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml] Pushed new tag debian/4.11.1-5

Stéphane Glondu pushed new tag debian/4.11.1-5 at Debian OCaml Maintainers / ocaml -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml/-/tree/debian/4.11.1-5 You're receiving this email because of your account on salsa.debian.org.

Bug#978875: marked as done (ocaml: ftbfs with autoconf 2.70)

Your message dated Thu, 25 Nov 2021 15:05:06 + with message-id and subject line Bug#978875: fixed in ocaml 4.11.1-5 has caused the Debian Bug report #978875, regarding ocaml: ftbfs with autoconf 2.70 to be marked as done. This means that you claim that the problem has been dealt with. If this

Processing of ocaml_4.11.1-5_source.changes

ocaml_4.11.1-5_source.changes uploaded successfully to localhost along with the files: ocaml_4.11.1-5.dsc ocaml_4.11.1-5.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ocaml_4.11.1-5_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 25 Nov 2021 15:45:31 +0100 Source: ocaml Architecture: source Version: 4.11.1-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Closes: 978875 Changes: oc

Processed: tagging 1000560, tagging 1000559, tagging 1000558, tagging 1000422, tagging 1000491, tagging 998706

Processing commands for cont...@bugs.debian.org: > tags 1000560 + sid bookworm Bug #1000560 [php-laravel-framework] Compatibility with Symfony 5 Added tag(s) sid and bookworm. > tags 1000559 + sid bookworm Bug #1000559 [php-robmorgan-phinx] Compatibility with Symfony 5 Added tag(s) bookworm and si

[Git][ocaml-team/ocaml-inifiles] Pushed new tag debian/1.2-5

Stéphane Glondu pushed new tag debian/1.2-5 at Debian OCaml Maintainers / ocaml-inifiles -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-inifiles/-/tree/debian/1.2-5 You're receiving this email because of your account on salsa.debian.org.

Processing of ocaml-inifiles_1.2-5_source.changes

ocaml-inifiles_1.2-5_source.changes uploaded successfully to localhost along with the files: ocaml-inifiles_1.2-5.dsc ocaml-inifiles_1.2-5.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)