debian-ocaml-maint  

Messages by Date

• 2026/01/31 unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-ext-lib is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 nproc is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 react is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 mathcomp-analysis is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-thread-table is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocamlformat is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocamlgraph is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-ssl is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-gappa is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-simple-io is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-usb is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-uuseg is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-unix-errno is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-uri is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-rresult is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-version is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-qtest is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-stringext is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-spdx-licenses is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-ptime is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-sedlex is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-psq is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-randomconv is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-qcheck is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-posix is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-patch is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-monolith is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 uuidm is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-oseq is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-equations is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-cry is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 morsmall is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-batteries is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-extructures is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-ohex is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-multicoretests is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-odoc is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-astring is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-charinfo-width is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-cstruct is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-mtime is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-crowbar is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 meta-unison is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 tyxml is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-mew-vi is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-mirage-kv-mem is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-markup is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-mirage-kv is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-iter is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-lwt-dllist is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-logs is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-mdx is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-inotify is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-linenoise is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-ipaddr is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-kdf is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-fpath is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-afl-persistent is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 reactivedata is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-gmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-bos is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-asn1-combinators is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-record-update is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-base64 is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coquelicot is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 obus is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-hmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-hex is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-duration is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-gen is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-fmt is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-expect is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coqprime is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-domain-name is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-eio is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-crunch is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-csv is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-dscheck is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-domain-local-await is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-containers is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-decimal is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-digestif is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-backoff is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 why3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-deriving is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 mlpost is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 utop is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 mathcomp-finmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-interval is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-math-classes is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/30 Bug#1126673: Should frama-c be removed from unstable? Helmut Grohne
• 2026/01/30 Processing of camlp5_8.04.00-3_source.changes Debian FTP Masters
• 2026/01/30 Bug#1126599: marked as done (camlp5: FTBFS with the nocheck build profile) Debian Bug Tracking System
• 2026/01/30 camlp5_8.04.00-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/01/30 [Git][ocaml-team/camlp5] Pushed new tag debian/8.04.00-3 @glondu
• 2026/01/30 [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.04.00-3 @glondu
• 2026/01/29 Bug#1126599: camlp5: FTBFS with the nocheck build profile Santiago Vila
• 2026/01/23 Processing of ocaml-gettext_0.5.0++git5-g6591d7a-1_source.changes Debian FTP Masters
• 2026/01/23 [Git][ocaml-team/ocaml-gettext] Pushed new tag upstream/0.5.0++git5-g6591d7a @glondu
• 2026/01/23 [Git][ocaml-team/ocaml-gettext] Pushed new tag archive/debian/0.5.0++git5-g6591d7a-1 @glondu
• 2026/01/23 [Git][ocaml-team/ocaml-gettext] Pushed new tag debian/0.5.0++git5-g6591d7a-1 @glondu
• 2026/01/23 [Git][ocaml-team/ocaml-gettext][pristine-tar] pristine-tar data for ocaml-gettext_0.5.0++git5-g6591d7a.orig.tar.gz @glondu
• 2026/01/23 [Git][ocaml-team/ocaml-gettext][upstream] New upstream version 0.5.0++git5-g6591d7a @glondu
• 2026/01/23 [Git][ocaml-team/ocaml-gettext][master] 5 commits: New upstream version 0.5.0++git5-g6591d7a @glondu
• 2026/01/23 ocaml-gettext_0.5.0++git5-g6591d7a-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/01/21 Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
• 2026/01/21 Processing of yojson_3.0.0-2_loong64.changes Debian FTP Masters
• 2026/01/21 yojson_3.0.0-2_loong64.changes ACCEPTED into unstable Debian FTP Masters
• 2026/01/21 ocaml-base64_3.5.2-1_loong64.changes ACCEPTED into unstable Debian FTP Masters
• 2026/01/21 Processing of ocaml-base64_3.5.2-1_loong64.changes Debian FTP Masters
• 2026/01/10 Bug#1079430: FAMILIENZUSCHUSS sshahsav
• 2026/01/09 Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
• 2026/01/09 Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
• 2026/01/09 Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
• 2026/01/09 Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
• 2026/01/09 Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
• 2026/01/09 Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
• 2026/01/09 Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
• 2026/01/09 Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
• 2026/01/09 Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
• 2026/01/09 Processed: block 1125099 with 1125100 Debian Bug Tracking System
• 2026/01/09 Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
• 2026/01/09 Processed: block 1125099 with 1125093 1125094 1125095 1125098 Debian Bug Tracking System
• 2026/01/09 Bug#1125099: Remove transitional packages Stéphane Glondu
• 2026/01/09 Processing of lwt_5.9.2-3_source.changes Debian FTP Masters
• 2026/01/09 Processing of janest-ocaml-compiler-libs_0.17.0-2_source.changes Debian FTP Masters
• 2026/01/09 Processing of camlp5_8.04.00-2_source.changes Debian FTP Masters
• 2026/01/09 [Git][ocaml-team/lwt] Pushed new tag debian/5.9.2-3 @glondu
• 2026/01/09 Bug#1115445: marked as done (liblwt-ocaml-dev: recommends liblwt-ocaml-doc which is not in unstable) Debian Bug Tracking System
• 2026/01/09 [Git][ocaml-team/lwt] Pushed new tag archive/debian/5.9.2-3 @glondu
• 2026/01/09 [Git][ocaml-team/lwt][master] 2 commits: Update packaging @glondu
• 2026/01/09 lwt_5.9.2-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/01/09 janest-ocaml-compiler-libs_0.17.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/01/09 camlp5_8.04.00-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/01/09 [Git][ocaml-team/camlp5] Pushed new tag debian/8.04.00-2 @glondu
• 2026/01/09 [Git][ocaml-team/camlp5][master] 2 commits: Update packaging @glondu
• 2026/01/09 [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.04.00-2 @glondu
• 2026/01/09 Processed (with 2 errors): fixing BTS Debian Bug Tracking System
• 2026/01/09 Processed: bug 1107773 is forwarded to https://github.com/ocaml/ocaml/pull/14116, tagging 1107773 Debian Bug Tracking System
• 2026/01/09 Bug#1107773: marked as done (ocaml: FTBFS on ppc64el: Something failed. Exiting with error status.) Debian Bug Tracking System
• 2026/01/09 ocaml_5.4.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/01/09 Processing of ocaml_5.4.0-2_source.changes Debian FTP Masters
• 2026/01/09 [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-2 @glondu
• 2026/01/09 [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-2 @glondu
• 2026/01/09 [Git][ocaml-team/ocaml][debian/sid] 2 commits: Increase the amount of data written to a pipe in a test @glondu
• 2026/01/08 Bug#1107773: Gianfranco Costamagna
• 2026/01/08 ocaml-ao_0.2.4-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/01/08 Processing of ocaml-ao_0.2.4-4_source.changes Debian FTP Masters
• 2026/01/08 [Git][ocaml-team/ocaml-ao] Pushed new tag debian/0.2.4-4 @glondu
• 2026/01/08 [Git][ocaml-team/ocaml-ao] Pushed new tag archive/debian/0.2.4-4 @glondu
• 2026/01/08 [Git][ocaml-team/ocaml-ao][master] 2 commits: Update packaging @glondu
• 2026/01/07 why3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/06 Processed: Re: Bug#1107093: Embeds BLAKE3 C implementation, should use libblake3-dev when it becomes available Debian Bug Tracking System
• 2026/01/06 Bug#1122238: marked as done (ben should ignore Build-Depends-Indep) Debian Bug Tracking System
• 2026/01/06 Processing of ben_1.15_source.changes Debian FTP Masters

• Earlier messages
• Later messages