debian-ocaml-maint Sep 2025 by thread

[previous month]

[previous page]

Page 2 of 2

[next page]

[Date Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]

Processing of ppx-deriving_6.1.1-1_source.changes Debian FTP Masters
Processing of ocaml-extunix_0.4.4-1_source.changes Debian FTP Masters
Processing of ppx-optcomp_0.17.1-1_source.changes Debian FTP Masters
Processing of ppx-variants-conv_0.17.1-1_source.changes Debian FTP Masters
Processing of ppxlib-jane_0.17.4-1_source.changes Debian FTP Masters
Processing of ppx-js-style_0.17.0-3_source.changes Debian FTP Masters
ocaml-bitstring_5.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-extunix_0.4.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-deriving_6.1.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-optcomp_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-variants-conv_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-js-style_0.17.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
ppxlib-jane_0.17.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ppx-sexp-conv][pristine-tar] pristine-tar data for ppx-sexp-conv_0.17.1.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag debian/1%0.17.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag archive/debian/1%0.17.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag upstream/0.17.1 Stéphane Glondu (@glondu)
Processing of ppx-sexp-conv_0.17.1-1_source.changes Debian FTP Masters
Processing of ppx-let_0.17.1-1_source.changes Debian FTP Masters
Processing of ppx-globalize_0.17.2-1_source.changes Debian FTP Masters
ppx-globalize_0.17.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-let_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-sexp-conv_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
bisect-ppx_2.8.3+dfsg-3_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of bisect-ppx_2.8.3+dfsg-3_source.changes Debian FTP Masters
Processing of ppx-bin-prot_0.17.1-1_source.changes Debian FTP Masters
Processing of ocaml-time-now_0.17.0-4_source.changes Debian FTP Masters
ocaml-time-now_0.17.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-bin-prot_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-inline-test_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ppx-inline-test_0.17.1-1_source.changes Debian FTP Masters
[Git][ocaml-team/lwt] Pushed new tag debian/5.9.2-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/lwt] Pushed new tag archive/debian/5.9.2-2 Stéphane Glondu (@glondu)
lwt_5.9.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-expect_0.17.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
ppx-yojson-conv_0.17.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ppx-expect_0.17.3-1_source.changes Debian FTP Masters
Processing of lwt_5.9.2-2_source.changes Debian FTP Masters
[Git][ocaml-team/ppx-deriving-yojson][pristine-tar] pristine-tar data for ppx-deriving-yojson_3.10.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag archive/debian/3.10.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.10.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag upstream/3.10.0 Stéphane Glondu (@glondu)
Processing of ppx-yojson-conv_0.17.0-4_source.changes Debian FTP Masters
ppx-deriving-yojson_3.10.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ppx-deriving-yojson_3.10.0-1_source.changes Debian FTP Masters
[Git][ocaml-team/js-of-ocaml][pristine-tar] 5 commits: pristine-tar data for js-of-ocaml_6.0.0.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/6.2.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml] Pushed new tag debian/6.2.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.0.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.2.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.1.1 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.1.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.0.1 Stéphane Glondu (@glondu)
Processing of js-of-ocaml_6.2.0-1_source.changes Debian FTP Masters
js-of-ocaml_6.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-qcheck_0.26-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/liquidsoap] Deleted branch prisine-tar Stéphane Glondu (@glondu)
Processing of ocaml-qcheck_0.26-1_source.changes Debian FTP Masters
Processing of ocaml-ffmpeg_1.2.6-1_source.changes Debian FTP Masters
Processing of ocaml-mirage-crypto_2.0.2-1_source.changes Debian FTP Masters
ocaml-ffmpeg_1.2.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-mirage-crypto_2.0.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/liquidsoap] Pushed new tag archive/debian/2.3.2-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/liquidsoap] Pushed new tag archive/debian/2.4.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.4.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.4.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.4.0.orig.tar.gz Stéphane Glondu (@glondu)
liquidsoap_2.4.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of liquidsoap_2.4.0-1_source.changes Debian FTP Masters
Bug#1114903: FTBFS with ppxlib 0.36.1 Stéphane Glondu

Bug#1114903: marked as done (FTBFS with ppxlib 0.36.1) Debian Bug Tracking System

elpi_2.0.7-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of elpi_2.0.7-2_source.changes Debian FTP Masters
Processed: tagging 1114903 Debian Bug Tracking System
Processed: tagging 1105621, tagging 1110019, tagging 1096530, notfixed 997921 in 16.3, fixed 997921 in 16.3-1 ... Debian Bug Tracking System
On updating Coq/Rocq in Debian Julien Puydt

Re: On updating Coq/Rocq in Debian Stéphane Glondu

[Git][ocaml-team/eliom] Pushed new tag debian/11.1.1-3 Stéphane Glondu (@glondu)
[Git][ocaml-team/eliom] Pushed new tag archive/debian/11.1.1-3 Stéphane Glondu (@glondu)
eliom_11.1.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of eliom_11.1.1-3_source.changes Debian FTP Masters
[Git][ocaml-team/eliom] Pushed new tag debian/11.1.1-4 Stéphane Glondu (@glondu)
[Git][ocaml-team/eliom] Pushed new tag archive/debian/11.1.1-4 Stéphane Glondu (@glondu)
Processing of eliom_11.1.1-4_source.changes Debian FTP Masters
eliom_11.1.1-4_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.1.orig.tar.bz2 Stéphane Glondu (@glondu)
[Git][ocaml-team/why3] Pushed new tag debian/1.8.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/why3] Pushed new tag archive/debian/1.8.1-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/why3] Pushed new tag upstream/1.8.1 Stéphane Glondu (@glondu)
Processing of why3_1.8.1-1_source.changes Debian FTP Masters
why3_1.8.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1098092: marked as done (why3: ftbfs with GCC-15) Debian Bug Tracking System
Processing of ocaml-containers_3.16+dfsg-2_source.changes Debian FTP Masters
Processing of ocaml-qcheck_0.26-2_source.changes Debian FTP Masters
Processing of ocaml-iter_1.9-2_source.changes Debian FTP Masters
ocaml-containers_3.16+dfsg-2_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-iter_1.9-2_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-qcheck_0.26-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-containers_3.16+dfsg-3_source.changes Debian FTP Masters
ocaml-containers_3.16+dfsg-3_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/6.2.0-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml][master] 2 commits: Add version constraint in libjs-of-ocaml-dev dependency Stéphane Glondu (@glondu)
[Git][ocaml-team/js-of-ocaml] Pushed new tag debian/6.2.0-2 Stéphane Glondu (@glondu)
Processing of js-of-ocaml_6.2.0-2_source.changes Debian FTP Masters
js-of-ocaml_6.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
menhir_20250912+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20250912+ds.orig.tar.xz Stéphane Glondu (@glondu)
[Git][ocaml-team/menhir] Pushed new tag archive/debian/20250912+ds-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/menhir] Pushed new tag debian/20250912+ds-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/menhir] Pushed new tag upstream/20250912+ds Stéphane Glondu (@glondu)
Processing of menhir_20250912+ds-1_source.changes Debian FTP Masters
ocaml-iomux_0.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ocaml-spawn_0.17.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
ocaml-eio_1.3-1_amd64.changes is NEW Debian FTP Masters
Processing of ocaml-eio_1.3-1_amd64.changes Debian FTP Masters
[Git][ocaml-team/ocaml-dune][master] 2 commits: Enable spawn-depending tests Stéphane Glondu (@glondu)
Bug#1115445: liblwt-ocaml-dev: recommends liblwt-ocaml-doc which is not in unstable Carles Pina i Estany
[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_9.1.0+dfsg.orig.tar.xz Julien Puydt (@jpuydt)
[Git][ocaml-team/coq] Pushed new tag debian/9.1.0+dfsg-1 Julien Puydt (@jpuydt)
[Git][ocaml-team/coq] Pushed new tag upstream/9.1.0+dfsg Julien Puydt (@jpuydt)
Bug#1115621: liblambda-term-ocaml-dev: recommends liblambda-term-ocaml-doc which is not in unstable Carles Pina i Estany

Bug#1115621: marked as done (liblambda-term-ocaml-dev: recommends liblambda-term-ocaml-doc which is not in unstable) Debian Bug Tracking System

Bug#1115873: ocamlgraph: please drop old unused CDBS fragment Alexandre Detiste

Bug#1115873: marked as pending in ocamlgraph Stéphane Glondu
Processed: Bug#1115873 marked as pending in ocamlgraph Debian Bug Tracking System
Bug#1115873: marked as done (ocamlgraph: please drop old unused CDBS fragment) Debian Bug Tracking System

Bug#1111916: coq-quickchick: diff for NMU version 2.1.0-1.1 Adrian Bunk

Message not available
- Processed: coq-quickchick: diff for NMU version 2.1.0-1.1 Debian Bug Tracking System

Processing of coq-quickchick_2.1.0-1.1_source.changes Debian FTP Masters
Accepted coq 9.1.0+dfsg-1 (source amd64) into experimental Debian FTP Masters
ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch

<Possible follow-ups>
ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch

[Git][ocaml-team/ocaml-re][pristine-tar] pristine-tar data for ocaml-re_1.14.0.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-re][master] 6 commits: Bump debian/watch version to 5 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-re][upstream] New upstream version 1.14.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.14.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-re] Pushed new tag upstream/1.14.0 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-re] Pushed new tag debian/1.14.0-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-base64][pristine-tar] pristine-tar data for ocaml-base64_3.5.2.orig.tar.gz Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-base64] Pushed new tag debian/3.5.2-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-base64] Pushed new tag archive/debian/3.5.2-1 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-base64][upstream] New upstream version 3.5.2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-base64] Pushed new tag upstream/3.5.2 Stéphane Glondu (@glondu)
ocaml-base64_3.5.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-re_1.14.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-re_1.14.0-1_source.changes Debian FTP Masters
Processing of ocaml-base64_3.5.2-1_source.changes Debian FTP Masters
ocaml-uucd_17.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-uucd_17.0.0-1_source.changes Debian FTP Masters
ocaml-uucp_17.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-uunf_17.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-uuseg_17.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-uucp_17.0.0-1_source.changes Debian FTP Masters
Processing of ocaml-uunf_17.0.0-1_source.changes Debian FTP Masters
Processing of ocaml-uuseg_17.0.0-1_source.changes Debian FTP Masters
Processing of ocaml-iomux_0.4-1_source.changes Debian FTP Masters
[Git][ocaml-team/ocamlgraph] Pushed new tag archive/debian/2.2.0-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlgraph] Pushed new tag debian/2.2.0-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/lambda-term][master] 2 commits: Update packaging Stéphane Glondu (@glondu)
[Git][ocaml-team/lambda-term] Pushed new tag archive/debian/3.3.2-2 Stéphane Glondu (@glondu)
[Git][ocaml-team/lambda-term] Pushed new tag debian/3.3.2-2 Stéphane Glondu (@glondu)
Processing of ocamlgraph_2.2.0-2_source.changes Debian FTP Masters
lambda-term_3.3.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
ocaml-iomux_0.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
ocamlgraph_2.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of lambda-term_3.3.2-2_source.changes Debian FTP Masters
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.2.orig.tar.bz2 Ralf Treinen (@treinen)
Processing of why3_1.8.2-1_source.changes Debian FTP Masters
why3_1.8.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/why3] Pushed new tag debian/1.8.2-1 Ralf Treinen (@treinen)
[Git][ocaml-team/why3] Pushed new tag upstream/1.8.2 Ralf Treinen (@treinen)
Bug#1116151: ocaml-platform: recommends libmigrate-parsetree-ocaml-dev which is not in unstable Carles Pina i Estany

Bug#1116151: marked as done (ocaml-platform: recommends libmigrate-parsetree-ocaml-dev which is not in unstable) Debian Bug Tracking System

Processing of meta-ocaml_6_source.changes Debian FTP Masters
meta-ocaml_6_source.changes ACCEPTED into unstable Debian FTP Masters
bisect-ppx_2.8.3+dfsg-4_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of bisect-ppx_2.8.3+dfsg-4_source.changes Debian FTP Masters
Processed: tagging 1039125, reassign 1017553 to src:nvidia-texture-tools ..., tagging 1116253, tagging 1047026 ... Debian Bug Tracking System
coq-quickchick_2.1.0-1.1_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#1111916: marked as done (quickchick: ships files in /usr/doc) Debian Bug Tracking System
ben_1.11_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of ben_1.11_source.changes Debian FTP Masters
Bug#1116827: ocaml-atd: FTBFS with the nocheck build profile Santiago Vila
Bug#1116829: ocaml-cohttp: FTBFS with the nocheck build profile Santiago Vila
Bug#1116831: ocaml-inotify: FTBFS with the nocheck build profile Santiago Vila
Bug#1116828: ocaml-batteries: FTBFS with the nocheck build profile Santiago Vila
Bug#1116929: zed: FTBFS with the nocheck build profile Santiago Vila

The last update was on 08:20 GMT Wed Oct 01. There are 687 messages. Page 2 of 2.

[previous month]

[previous page]

Page 2 of 2

[next page]

[Date Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]

Mail converted by MHonArc