debian-ocaml-maint
Thread
Date
Earlier messages
Later messages
Messages by Thread
[Git][ocaml-team/ocaml-sedlex][master] 6 commits: Switch debian/watch to version 5
@glondu
cpdf_2.8.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-visitors_20251010-1_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml][pristine-tar] pristine-tar data for ocaml_5.4.0.orig.tar.xz
@glondu
Bug#1118031: Unable to detect when local and remote metadata no longer matches
Aaron Rainbolt
Processed: Re: Bug#1118031: Unable to detect when local and remote metadata no longer matches
Debian Bug Tracking System
Bug#1118031: Unable to detect when local and remote metadata no longer matches
Stéphane Glondu
Bug#1118031: Unable to detect when local and remote metadata no longer matches
Aaron Rainbolt
Processing of cpdf_2.8.1-2_source.changes
Debian FTP Masters
Processing of ocaml_5.4.0-1~exp1_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml][debian/sid] 4 commits: Build --without-zstd
@glondu
[Git][ocaml-team/coq][master] Try to re-enable non-native compilation - we'll see if it flies!
Julien Puydt (@jpuydt)
Processing of ocaml-cohttp_5.3.0-2_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.16.0-3
@glondu
Processing of zed_3.2.3-2_source.changes
Debian FTP Masters
[Git][ocaml-team/zed] Pushed new tag archive/debian/3.2.3-2
@glondu
[Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.9.0-2
@glondu
[Git][ocaml-team/ocaml-inotify] Pushed new tag debian/2.6-2
@glondu
[Git][ocaml-team/ocaml-inotify] Pushed new tag archive/debian/2.6-2
@glondu
[Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.9.0-2
@glondu
Bug#1116827: ocaml-atd: FTBFS with the nocheck build profile
Santiago Vila
Bug#1116827: marked as pending in ocaml-atd
Stéphane Glondu
Processed: Bug#1116827 marked as pending in ocaml-atd
Debian Bug Tracking System
Bug#1116827: marked as done (ocaml-atd: FTBFS with the nocheck build profile)
Debian Bug Tracking System
ben_1.11_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-quickchick_2.1.0-1.1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/why3] Pushed new tag debian/1.8.2-1
Ralf Treinen (@treinen)
Processed: tagging 1039125, reassign 1017553 to src:nvidia-texture-tools ..., tagging 1116253, tagging 1047026 ...
Debian Bug Tracking System
[Git][ocaml-team/ocaml-re][pristine-tar] pristine-tar data for ocaml-re_1.14.0.orig.tar.gz
@glondu
Processing of ocaml-uunf_17.0.0-1_source.changes
Debian FTP Masters
Processing of bisect-ppx_2.8.3+dfsg-4_source.changes
Debian FTP Masters
Processing of why3_1.8.2-1_source.changes
Debian FTP Masters
[Git][ocaml-team/why3] Pushed new tag upstream/1.8.2
Ralf Treinen (@treinen)
why3_1.8.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.2.orig.tar.bz2
Ralf Treinen (@treinen)
[Git][ocaml-team/lambda-term] Pushed new tag debian/3.3.2-2
@glondu
ocaml-iomux is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-iomux is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-iomux is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-iomux is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-iomux is marked for autoremoval from testing
Debian testing autoremoval watch
[Git][ocaml-team/ocaml-re] Pushed new tag upstream/1.14.0
@glondu
[Git][ocaml-team/ocamlgraph] Pushed new tag debian/2.2.0-2
@glondu
ocaml-iomux_0.4-1_source.changes ACCEPTED into unstable
Debian FTP Masters
lambda-term_3.3.2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/lambda-term][master] 2 commits: Update packaging
@glondu
Processing of ocaml-iomux_0.4-1_source.changes
Debian FTP Masters
Processing of ocaml-uuseg_17.0.0-1_source.changes
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
ocaml-uucp_17.0.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-base64_3.5.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-base64][upstream] New upstream version 3.5.2
@glondu
[Git][ocaml-team/ocaml-re] Pushed new tag debian/1.14.0-1
@glondu
[Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.14.0-1
@glondu
[Git][ocaml-team/ocaml-re][master] 6 commits: Bump debian/watch version to 5
@glondu
Accepted coq 9.1.0+dfsg-1 (source amd64) into experimental
Debian FTP Masters
Processing of coq-quickchick_2.1.0-1.1_source.changes
Debian FTP Masters
why3_1.8.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-extunix][master] 6 commits: New upstream version 0.4.4
@glondu
[Git][ocaml-team/ppx-deriving] Pushed new tag debian/6.1.1-1
@glondu
Processing of ppx-bin-prot_0.17.1-1_source.changes
Debian FTP Masters
[Git][ocaml-team/menhir][master] 4 commits: New upstream version 20250903+ds
@glondu
js-of-ocaml_6.2.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/uutf][master] 4 commits: Fix missing files reported by dh_missing
@glondu
Processing of uutf_1.0.4-2_source.changes
Debian FTP Masters
Processing of ocaml-uuseg_16.0.0-2_source.changes
Debian FTP Masters
ocaml-iomux_0.3-1_amd64.changes is NEW
Debian FTP Masters
ppxlib-jane_0.17.4-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-dune][master] 2 commits: Enable spawn-depending tests
@glondu
[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#1115873: ocamlgraph: please drop old unused CDBS fragment
Alexandre Detiste
Processed: Bug#1115873 marked as pending in ocamlgraph
Debian Bug Tracking System
Bug#1115873: marked as pending in ocamlgraph
Stéphane Glondu
Bug#1115873: marked as done (ocamlgraph: please drop old unused CDBS fragment)
Debian Bug Tracking System
ppxlib_0.36.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/js-of-ocaml] Pushed new tag debian/6.2.0-2
@glondu
Processing of elpi_2.0.7-2_source.changes
Debian FTP Masters
Processing of ppx-let_0.17.1-1_source.changes
Debian FTP Masters
[Git][ocaml-team/menhir] Pushed new tag debian/20250903+ds-1
@glondu
Processing of ocaml-mtime_2.1.0-3_source.changes
Debian FTP Masters
[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.0.0
@glondu
ppx-sexp-conv_0.17.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/js-of-ocaml][master] 2 commits: Add version constraint in libjs-of-ocaml-dev dependency
@glondu
Processing of ocaml-qcheck_0.26-2_source.changes
Debian FTP Masters
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
[Git][ocaml-team/uutf] Pushed new tag debian/1.0.4-2
@glondu
ppx-bin-prot_0.17.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ppx-optcomp_0.17.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ppxlib_0.36.1-1_source.changes
Debian FTP Masters
elpi_2.0.7-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-mirage-ptime_5.1.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.4.0.orig.tar.gz
@glondu
[Git][ocaml-team/js-of-ocaml][pristine-tar] 5 commits: pristine-tar data for js-of-ocaml_6.0.0.orig.tar.bz2
@glondu
uutf_1.0.4-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-hmap_0.8.1-3_source.changes
Debian FTP Masters
Processing of ocaml-mirage-crypto_2.0.2-1_source.changes
Debian FTP Masters
[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_9.1.0+dfsg.orig.tar.xz
Julien Puydt (@jpuydt)
Bug#1115445: liblwt-ocaml-dev: recommends liblwt-ocaml-doc which is not in unstable
Carles Pina i Estany
Bug#1115445: marked as done (liblwt-ocaml-dev: recommends liblwt-ocaml-doc which is not in unstable)
Debian Bug Tracking System
Processing of ocaml-eio_1.3-1_amd64.changes
Debian FTP Masters
Processing of ocaml-eio_1.3-1_amd64.changes
Debian FTP Masters
ocaml-eio_1.3-1_amd64.changes is NEW
Debian FTP Masters
ocaml-eio_1.3-1_amd64.changes is NEW
Debian FTP Masters
ocaml-spawn_0.17.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-iomux_0.3-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
menhir_20250912+ds-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/menhir] Pushed new tag debian/20250912+ds-1
@glondu
[Git][ocaml-team/menhir] Pushed new tag upstream/20250912+ds
@glondu
Processing of menhir_20250912+ds-1_source.changes
Debian FTP Masters
[Git][ocaml-team/menhir] Pushed new tag archive/debian/20250912+ds-1
@glondu
[Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20250912+ds.orig.tar.xz
@glondu
ocaml-hmap_0.8.1-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of js-of-ocaml_6.2.0-2_source.changes
Debian FTP Masters
[Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/6.2.0-2
@glondu
ocaml-containers_3.16+dfsg-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-containers_3.16+dfsg-3_source.changes
Debian FTP Masters
Processing of ocaml-containers_3.16+dfsg-2_source.changes
Debian FTP Masters
ocaml-containers_3.16+dfsg-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-qcheck_0.26-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-iter_1.9-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-iter_1.9-2_source.changes
Debian FTP Masters
[Git][ocaml-team/react] Pushed new tag debian/1.2.2-2
@glondu
[Git][ocaml-team/why3] Pushed new tag archive/debian/1.8.1-1
@glondu
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.1.orig.tar.bz2
@glondu
[Git][ocaml-team/why3] Pushed new tag debian/1.8.1-1
@glondu
Bug#1098092: marked as done (why3: ftbfs with GCC-15)
Debian Bug Tracking System
Processing of why3_1.8.1-1_source.changes
Debian FTP Masters
[Git][ocaml-team/why3] Pushed new tag upstream/1.8.1
@glondu
eliom_11.1.1-4_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of eliom_11.1.1-4_source.changes
Debian FTP Masters
[Git][ocaml-team/eliom] Pushed new tag archive/debian/11.1.1-4
@glondu
[Git][ocaml-team/eliom] Pushed new tag debian/11.1.1-4
@glondu
Processing of eliom_11.1.1-3_source.changes
Debian FTP Masters
ocaml-fpath_0.7.3-4_source.changes ACCEPTED into unstable
Debian FTP Masters
eliom_11.1.1-3_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/eliom] Pushed new tag archive/debian/11.1.1-3
@glondu
[Git][ocaml-team/eliom] Pushed new tag debian/11.1.1-3
@glondu
[Git][ocaml-team/uutf] Pushed new tag archive/debian/1.0.4-2
@glondu
ocaml-mirage-crypto_2.0.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-mirage-ptime_5.1.0-1_source.changes
Debian FTP Masters
Processing of react_1.2.2-2_source.changes
Debian FTP Masters
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag archive/debian/1%0.17.1-1
@glondu
[Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20250903+ds.orig.tar.xz
@glondu
On updating Coq/Rocq in Debian
Julien Puydt
Re: On updating Coq/Rocq in Debian
Stéphane Glondu
Processing of js-of-ocaml_6.2.0-1_source.changes
Debian FTP Masters
[Git][ocaml-team/react] Pushed new tag archive/debian/1.2.2-2
@glondu
ppx-let_0.17.1-1_source.changes ACCEPTED into unstable
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
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
Processing of liquidsoap_2.4.0-1_source.changes
Debian FTP Masters
liquidsoap_2.4.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/liquidsoap] Pushed new tag debian/2.4.0-1
@glondu
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.4.0
@glondu
[Git][ocaml-team/liquidsoap] Pushed new tag archive/debian/2.4.0-1
@glondu
[Git][ocaml-team/liquidsoap] Pushed new tag archive/debian/2.3.2-2
@glondu
ocaml-ffmpeg_1.2.6-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-ffmpeg_1.2.6-1_source.changes
Debian FTP Masters
Processing of ocaml-qcheck_0.26-1_source.changes
Debian FTP Masters
[Git][ocaml-team/liquidsoap] Deleted branch prisine-tar
@glondu
ocaml-qcheck_0.26-1_source.changes ACCEPTED into unstable
Debian FTP Masters
js-of-ocaml_6.2.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.0.1
@glondu
[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.1.0
@glondu
[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.1.1
@glondu
[Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.2.0
@glondu
[Git][ocaml-team/js-of-ocaml] Pushed new tag debian/6.2.0-1
@glondu
[Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/6.2.0-1
@glondu
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag archive/debian/3.10.0-1
@glondu
[Git][ocaml-team/ppx-deriving-yojson][pristine-tar] pristine-tar data for ppx-deriving-yojson_3.10.0.orig.tar.gz
@glondu
[Git][ocaml-team/lwt] Pushed new tag archive/debian/5.9.2-2
@glondu
Processing of ppx-deriving-yojson_3.10.0-1_source.changes
Debian FTP Masters
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
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag upstream/3.10.0
@glondu
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.10.0-1
@glondu
Processing of lwt_5.9.2-2_source.changes
Debian FTP Masters
Processing of ppx-expect_0.17.3-1_source.changes
Debian FTP Masters
lwt_5.9.2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ppx-yojson-conv_0.17.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
ppx-expect_0.17.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/lwt] Pushed new tag debian/5.9.2-2
@glondu
bisect-ppx_2.8.3+dfsg-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-time-now_0.17.0-4_source.changes
Debian FTP Masters
Processing of ppx-inline-test_0.17.1-1_source.changes
Debian FTP Masters
ppx-inline-test_0.17.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-time-now_0.17.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of bisect-ppx_2.8.3+dfsg-3_source.changes
Debian FTP Masters
ppx-globalize_0.17.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ppx-sexp-conv_0.17.1-1_source.changes
Debian FTP Masters
Processing of ppx-globalize_0.17.2-1_source.changes
Debian FTP Masters
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag upstream/0.17.1
@glondu
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag debian/1%0.17.1-1
@glondu
[Git][ocaml-team/ppx-sexp-conv][pristine-tar] pristine-tar data for ppx-sexp-conv_0.17.1.orig.tar.gz
@glondu
ppx-js-style_0.17.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Earlier messages
Later messages