debian-ocaml-maint  

Messages by Date

• 2025/09/21 Accepted coq 9.1.0+dfsg-1 (source amd64) into experimental Debian FTP Masters
• 2025/09/21 Bug#1111916: coq-quickchick: diff for NMU version 2.1.0-1.1 Adrian Bunk
• 2025/09/21 Processing of coq-quickchick_2.1.0-1.1_source.changes Debian FTP Masters
• 2025/09/21 Processed: coq-quickchick: diff for NMU version 2.1.0-1.1 Debian Bug Tracking System
• 2025/09/20 ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/20 ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/20 js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/20 liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/20 lwt is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/20 eliom is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/20 elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/20 ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/20 ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/20 why3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/20 coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/20 why3_1.8.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/20 [Git][ocaml-team/ocaml-extunix][master] 6 commits: New upstream version 0.4.4 @glondu
• 2025/09/20 [Git][ocaml-team/ppx-deriving] Pushed new tag debian/6.1.1-1 @glondu
• 2025/09/20 Processing of ppx-bin-prot_0.17.1-1_source.changes Debian FTP Masters
• 2025/09/20 Bug#1114903: marked as done (FTBFS with ppxlib 0.36.1) Debian Bug Tracking System
• 2025/09/20 ocaml-odoc is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/20 [Git][ocaml-team/menhir][master] 4 commits: New upstream version 20250903+ds @glondu
• 2025/09/20 js-of-ocaml_6.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/20 [Git][ocaml-team/uutf][master] 4 commits: Fix missing files reported by dh_missing @glondu
• 2025/09/20 Processing of uutf_1.0.4-2_source.changes Debian FTP Masters
• 2025/09/20 Processing of ocaml-uuseg_16.0.0-2_source.changes Debian FTP Masters
• 2025/09/20 ocaml-iomux_0.3-1_amd64.changes is NEW Debian FTP Masters
• 2025/09/20 ppxlib-jane_0.17.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/20 [Git][ocaml-team/ocaml-dune][master] 2 commits: Enable spawn-depending tests @glondu
• 2025/09/20 [Git][ocaml-team/coq] Pushed new tag debian/9.1.0+dfsg-1 Julien Puydt (@jpuydt)
• 2025/09/20 [Git][ocaml-team/coq] Pushed new tag upstream/9.1.0+dfsg Julien Puydt (@jpuydt)
• 2025/09/20 Bug#1115873: ocamlgraph: please drop old unused CDBS fragment Alexandre Detiste
• 2025/09/20 ppxlib_0.36.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/20 [Git][ocaml-team/js-of-ocaml] Pushed new tag debian/6.2.0-2 @glondu
• 2025/09/20 Processing of elpi_2.0.7-2_source.changes Debian FTP Masters
• 2025/09/20 Processing of ppx-let_0.17.1-1_source.changes Debian FTP Masters
• 2025/09/20 [Git][ocaml-team/menhir] Pushed new tag debian/20250903+ds-1 @glondu
• 2025/09/20 Processing of ocaml-mtime_2.1.0-3_source.changes Debian FTP Masters
• 2025/09/20 [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.0.0 @glondu
• 2025/09/19 ppx-sexp-conv_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/19 [Git][ocaml-team/js-of-ocaml][master] 2 commits: Add version constraint in libjs-of-ocaml-dev dependency @glondu
• 2025/09/19 Processing of ocaml-qcheck_0.26-2_source.changes Debian FTP Masters
• 2025/09/18 Bug#1115621: liblambda-term-ocaml-dev: recommends liblambda-term-ocaml-doc which is not in unstable Carles Pina i Estany
• 2025/09/18 [Git][ocaml-team/uutf] Pushed new tag debian/1.0.4-2 @glondu
• 2025/09/18 ppx-bin-prot_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/18 ppx-optcomp_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/18 Processing of ppxlib_0.36.1-1_source.changes Debian FTP Masters
• 2025/09/17 elpi_2.0.7-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/17 ocaml-mirage-ptime_5.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/17 [Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.4.0.orig.tar.gz @glondu
• 2025/09/17 [Git][ocaml-team/js-of-ocaml][pristine-tar] 5 commits: pristine-tar data for js-of-ocaml_6.0.0.orig.tar.bz2 @glondu
• 2025/09/17 Bug#1114345: marked as done (react: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• 2025/09/17 ocaml-containers is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/17 uutf_1.0.4-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/17 Processing of ocaml-hmap_0.8.1-3_source.changes Debian FTP Masters
• 2025/09/17 Processing of ocaml-mirage-crypto_2.0.2-1_source.changes Debian FTP Masters
• 2025/09/16 ocaml-qcheck is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/16 [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_9.1.0+dfsg.orig.tar.xz Julien Puydt (@jpuydt)
• 2025/09/16 ocaml-iter is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/16 Bug#1115445: liblwt-ocaml-dev: recommends liblwt-ocaml-doc which is not in unstable Carles Pina i Estany
• 2025/09/16 Processing of ocaml-eio_1.3-1_amd64.changes Debian FTP Masters
• 2025/09/16 ocaml-eio_1.3-1_amd64.changes is NEW Debian FTP Masters
• 2025/09/16 ocaml-spawn_0.17.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/16 ocaml-iomux_0.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/15 menhir_20250912+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/15 [Git][ocaml-team/menhir] Pushed new tag debian/20250912+ds-1 @glondu
• 2025/09/15 [Git][ocaml-team/menhir] Pushed new tag upstream/20250912+ds @glondu
• 2025/09/15 Processing of menhir_20250912+ds-1_source.changes Debian FTP Masters
• 2025/09/15 [Git][ocaml-team/menhir] Pushed new tag archive/debian/20250912+ds-1 @glondu
• 2025/09/15 [Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20250912+ds.orig.tar.xz @glondu
• 2025/09/15 ocaml-hmap_0.8.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/15 Processing of js-of-ocaml_6.2.0-2_source.changes Debian FTP Masters
• 2025/09/15 [Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/6.2.0-2 @glondu
• 2025/09/14 uutf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/14 ocaml-astring is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/14 ocaml-mtime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/14 ocaml-uuseg is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/14 ocaml-ptime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/14 ocaml-hmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/14 react is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/14 ocaml-containers_3.16+dfsg-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/14 Processing of ocaml-containers_3.16+dfsg-3_source.changes Debian FTP Masters
• 2025/09/14 Processing of ocaml-containers_3.16+dfsg-2_source.changes Debian FTP Masters
• 2025/09/14 ocaml-containers_3.16+dfsg-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/14 ocaml-qcheck_0.26-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/14 ocaml-iter_1.9-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/14 Processing of ocaml-iter_1.9-2_source.changes Debian FTP Masters
• 2025/09/13 [Git][ocaml-team/react] Pushed new tag debian/1.2.2-2 @glondu
• 2025/09/12 [Git][ocaml-team/why3] Pushed new tag archive/debian/1.8.1-1 @glondu
• 2025/09/12 [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.1.orig.tar.bz2 @glondu
• 2025/09/12 [Git][ocaml-team/why3] Pushed new tag debian/1.8.1-1 @glondu
• 2025/09/12 Bug#1098092: marked as done (why3: ftbfs with GCC-15) Debian Bug Tracking System
• 2025/09/12 Processing of why3_1.8.1-1_source.changes Debian FTP Masters
• 2025/09/12 [Git][ocaml-team/why3] Pushed new tag upstream/1.8.1 @glondu
• 2025/09/12 eliom_11.1.1-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/12 Processing of eliom_11.1.1-4_source.changes Debian FTP Masters
• 2025/09/12 [Git][ocaml-team/eliom] Pushed new tag archive/debian/11.1.1-4 @glondu
• 2025/09/12 [Git][ocaml-team/eliom] Pushed new tag debian/11.1.1-4 @glondu
• 2025/09/12 Processing of eliom_11.1.1-3_source.changes Debian FTP Masters
• 2025/09/12 ocaml-fpath_0.7.3-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/12 eliom_11.1.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/12 [Git][ocaml-team/eliom] Pushed new tag archive/debian/11.1.1-3 @glondu
• 2025/09/12 [Git][ocaml-team/eliom] Pushed new tag debian/11.1.1-3 @glondu
• 2025/09/12 Re: On updating Coq/Rocq in Debian Stéphane Glondu
• 2025/09/11 Bug#1114238: marked as done (ocaml-fpath: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• 2025/09/11 [Git][ocaml-team/uutf] Pushed new tag archive/debian/1.0.4-2 @glondu
• 2025/09/11 ocaml-mirage-crypto_2.0.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/11 Processing of ocaml-mirage-ptime_5.1.0-1_source.changes Debian FTP Masters
• 2025/09/11 Processing of react_1.2.2-2_source.changes Debian FTP Masters
• 2025/09/11 [Git][ocaml-team/ppx-sexp-conv] Pushed new tag archive/debian/1%0.17.1-1 @glondu
• 2025/09/11 [Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20250903+ds.orig.tar.xz @glondu
• 2025/09/11 Bug#1114241: marked as done (ocaml-ptime: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• 2025/09/11 On updating Coq/Rocq in Debian Julien Puydt
• 2025/09/11 ocaml-fpath is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/11 Processing of js-of-ocaml_6.2.0-1_source.changes Debian FTP Masters
• 2025/09/11 [Git][ocaml-team/react] Pushed new tag archive/debian/1.2.2-2 @glondu
• 2025/09/11 Bug#1114242: marked as done (ocaml-uuseg: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• 2025/09/11 ppx-let_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/11 Processed: tagging 1114903 Debian Bug Tracking System
• 2025/09/11 Processed: tagging 1105621, tagging 1110019, tagging 1096530, notfixed 997921 in 16.3, fixed 997921 in 16.3-1 ... Debian Bug Tracking System
• 2025/09/11 Bug#1114903: FTBFS with ppxlib 0.36.1 Stéphane Glondu
• 2025/09/11 Processing of liquidsoap_2.4.0-1_source.changes Debian FTP Masters
• 2025/09/11 liquidsoap_2.4.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/11 [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.4.0-1 @glondu
• 2025/09/11 [Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.4.0 @glondu
• 2025/09/11 [Git][ocaml-team/liquidsoap] Pushed new tag archive/debian/2.4.0-1 @glondu
• 2025/09/11 [Git][ocaml-team/liquidsoap] Pushed new tag archive/debian/2.3.2-2 @glondu
• 2025/09/11 ocaml-ffmpeg_1.2.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/11 Processing of ocaml-ffmpeg_1.2.6-1_source.changes Debian FTP Masters
• 2025/09/10 Processing of ocaml-qcheck_0.26-1_source.changes Debian FTP Masters
• 2025/09/10 [Git][ocaml-team/liquidsoap] Deleted branch prisine-tar @glondu
• 2025/09/10 ocaml-qcheck_0.26-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/10 js-of-ocaml_6.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/10 [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.0.1 @glondu
• 2025/09/10 [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.1.0 @glondu
• 2025/09/10 [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.1.1 @glondu
• 2025/09/10 [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.2.0 @glondu
• 2025/09/10 [Git][ocaml-team/js-of-ocaml] Pushed new tag debian/6.2.0-1 @glondu
• 2025/09/10 [Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/6.2.0-1 @glondu
• 2025/09/10 [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag archive/debian/3.10.0-1 @glondu
• 2025/09/10 [Git][ocaml-team/ppx-deriving-yojson][pristine-tar] pristine-tar data for ppx-deriving-yojson_3.10.0.orig.tar.gz @glondu
• 2025/09/10 [Git][ocaml-team/lwt] Pushed new tag archive/debian/5.9.2-2 @glondu
• 2025/09/10 Processing of ppx-deriving-yojson_3.10.0-1_source.changes Debian FTP Masters
• 2025/09/10 Processing of ppx-yojson-conv_0.17.0-4_source.changes Debian FTP Masters
• 2025/09/10 ppx-deriving-yojson_3.10.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/10 [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag upstream/3.10.0 @glondu
• 2025/09/10 [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.10.0-1 @glondu
• 2025/09/10 Processing of lwt_5.9.2-2_source.changes Debian FTP Masters
• 2025/09/10 Processing of ppx-expect_0.17.3-1_source.changes Debian FTP Masters
• 2025/09/10 lwt_5.9.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/10 ppx-yojson-conv_0.17.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/10 ppx-expect_0.17.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/10 [Git][ocaml-team/lwt] Pushed new tag debian/5.9.2-2 @glondu
• 2025/09/10 bisect-ppx_2.8.3+dfsg-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/10 Processing of ocaml-time-now_0.17.0-4_source.changes Debian FTP Masters
• 2025/09/10 Processing of ppx-inline-test_0.17.1-1_source.changes Debian FTP Masters
• 2025/09/10 ppx-inline-test_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/10 ocaml-time-now_0.17.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/10 Processing of bisect-ppx_2.8.3+dfsg-3_source.changes Debian FTP Masters
• 2025/09/10 ppx-globalize_0.17.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/10 Processing of ppx-sexp-conv_0.17.1-1_source.changes Debian FTP Masters
• 2025/09/10 Processing of ppx-globalize_0.17.2-1_source.changes Debian FTP Masters
• 2025/09/10 [Git][ocaml-team/ppx-sexp-conv] Pushed new tag upstream/0.17.1 @glondu
• 2025/09/10 [Git][ocaml-team/ppx-sexp-conv] Pushed new tag debian/1%0.17.1-1 @glondu
• 2025/09/10 [Git][ocaml-team/ppx-sexp-conv][pristine-tar] pristine-tar data for ppx-sexp-conv_0.17.1.orig.tar.gz @glondu
• 2025/09/10 ppx-js-style_0.17.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/09 ppx-deriving_6.1.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/09 ppx-variants-conv_0.17.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/09 ocaml-bitstring_5.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/09 ocaml-extunix_0.4.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/09 ocaml-mtime_2.1.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/09 Processing of ppx-js-style_0.17.0-3_source.changes Debian FTP Masters
• 2025/09/09 [Git][ocaml-team/menhir][upstream] New upstream version 20250903+ds @glondu
• 2025/09/09 ocaml-odoc_3.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/09 [Git][ocaml-team/ocaml-bitstring] Pushed new tag upstream/5.0.1 @glondu
• 2025/09/09 Processing of ppx-optcomp_0.17.1-1_source.changes Debian FTP Masters
• 2025/09/09 Processing of ppxlib-jane_0.17.4-1_source.changes Debian FTP Masters
• 2025/09/09 Processing of ppx-variants-conv_0.17.1-1_source.changes Debian FTP Masters
• 2025/09/09 [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.4-1 @glondu
• 2025/09/09 [Git][ocaml-team/ocaml-extunix] Pushed new tag upstream/0.4.4 @glondu
• 2025/09/09 [Git][ocaml-team/ocaml-extunix][upstream] New upstream version 0.4.4 @glondu
• 2025/09/09 [Git][ocaml-team/ocaml-extunix][pristine-tar] pristine-tar data for ocaml-extunix_0.4.4.orig.tar.bz2 @glondu
• 2025/09/09 Processing of ocaml-extunix_0.4.4-1_source.changes Debian FTP Masters
• 2025/09/09 Processing of ocaml-bitstring_5.0.1-1_source.changes Debian FTP Masters
• 2025/09/09 Processing of ppx-deriving_6.1.1-1_source.changes Debian FTP Masters
• 2025/09/09 [Git][ocaml-team/ppx-optcomp] Pushed new tag upstream/0.17.1 @glondu
• 2025/09/09 [Git][ocaml-team/ppx-optcomp] Pushed new tag debian/1%0.17.1-1 @glondu
• 2025/09/09 [Git][ocaml-team/ppx-optcomp][upstream] New upstream version 0.17.1 @glondu
• 2025/09/09 [Git][ocaml-team/ppx-optcomp][pristine-tar] pristine-tar data for ppx-optcomp_0.17.1.orig.tar.gz @glondu
• 2025/09/09 [Git][ocaml-team/ppx-optcomp][master] 5 commits: New upstream version 0.17.1 @glondu
• 2025/09/09 [Git][ocaml-team/ppx-optcomp] Pushed new tag archive/debian/1%0.17.1-1 @glondu
• 2025/09/09 [Git][ocaml-team/ppx-deriving] Pushed new tag upstream/6.1.1 @glondu
• 2025/09/09 [Git][ocaml-team/ppx-deriving] Pushed new tag archive/debian/6.1.1-1 @glondu
• 2025/09/09 [Git][ocaml-team/ppx-deriving][pristine-tar] 2 commits: pristine-tar data for ppx-deriving_6.1.0.orig.tar.gz @glondu
• 2025/09/09 [Git][ocaml-team/ppx-deriving] Pushed new tag upstream/6.1.0 @glondu
• 2025/09/09 [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.4-1 @glondu
• 2025/09/09 [Git][ocaml-team/ocaml-bitstring] Pushed new tag debian/5.0.1-1 @glondu
• 2025/09/09 [Git][ocaml-team/ocaml-bitstring] Pushed new tag archive/debian/5.0.1-1 @glondu
• 2025/09/09 [Git][ocaml-team/ocaml-bitstring][pristine-tar] pristine-tar data for ocaml-bitstring_5.0.1.orig.tar.gz @glondu
• 2025/09/09 react_1.2.2-2_source.changes ACCEPTED into unstable Debian FTP Masters

• Earlier messages