debian-ocaml-maint  

Messages by Date

• 2026/03/13 ocaml-posix_4.0.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/03/12 Bug#1130513: ocaml-posix: Calls network during tests Gianfranco Costamagna
• 2026/03/02 Processing of ocaml-posix_4.0.2-1_source.changes Debian FTP Masters
• 2026/03/02 ocaml-posix_4.0.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/03/02 Bug#1129526: transition: ocaml 5.4.1 Stéphane Glondu
• 2026/03/02 Processing of ocaml-stdcompat_21.1-2_source.changes Debian FTP Masters
• 2026/03/02 ocaml-stdcompat_21.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/03/02 Processing of ocaml_5.4.1-1~exp1_source.changes Debian FTP Masters
• 2026/03/01 [Git][ocaml-team/ocaml] Pushed new tag upstream/5.4.1 @glondu
• 2026/03/01 [Git][ocaml-team/ocaml][upstream/experimental] New upstream version 5.4.1 @glondu
• 2026/03/01 [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.1-1_exp1 @glondu
• 2026/03/01 [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.1-1_exp1 @glondu
• 2026/03/01 [Git][ocaml-team/ocaml][debian/experimental] 6 commits: New upstream version 5.4.1 @glondu
• 2026/03/01 [Git][ocaml-team/ocaml][pristine-tar] pristine-tar data for ocaml_5.4.1.orig.tar.xz @glondu
• 2026/03/01 Bug#1129317: marked as done (ocaml: CVE-2026-28364) Debian Bug Tracking System
• 2026/03/01 ocaml_5.4.1-1~exp1_source.changes ACCEPTED into experimental Debian FTP Masters
• 2026/03/01 [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-3 @glondu
• 2026/03/01 Re: Please enable CI for herdtools7 Sebastian Andrzej Siewior
• 2026/02/28 Bug#1129317: ocaml: CVE-2026-28364 Salvatore Bonaccorso
• 2026/02/28 Bug#1129262: ocaml-odoc: please drop usage of "quilt" from autopkgtest Alexandre Detiste
• 2026/02/28 ocaml-posix_4.0.1+git12-gcfd9bfb-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/28 Processing of ocaml-posix_4.0.1+git12-gcfd9bfb-3_source.changes Debian FTP Masters
• 2026/02/28 Re: [PATCH] Update the OCaml presentation in the package descriptions Stéphane Glondu
• 2026/02/27 Re: Please enable CI for herdtools7 Stéphane Glondu
• 2026/02/27 ocamlnet_4.1.9-8_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/27 Processing of ocamlnet_4.1.9-8_source.changes Debian FTP Masters
• 2026/02/27 [Git][ocaml-team/ocamlnet][master] 3 commits: Install also *.cmx files @glondu
• 2026/02/27 [Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.9-8 @glondu
• 2026/02/26 Please enable CI for herdtools7 Sebastian Andrzej Siewior
• 2026/02/26 Processing of ocaml-alcotest_1.9.1-2_source.changes Debian FTP Masters
• 2026/02/26 ocaml-alcotest_1.9.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/26 [PATCH] Update the OCaml presentation in the package descriptions Samuel Hym
• 2026/02/26 Processing of ocaml-merlin_5.6-504+ds-2_source.changes Debian FTP Masters
• 2026/02/26 ocaml-merlin_5.6-504+ds-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/25 herdtools7_7.58-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/24 Processing of ocaml-posix_4.0.1+git12-gcfd9bfb-2_source.changes Debian FTP Masters
• 2026/02/24 ocaml-posix_4.0.1+git12-gcfd9bfb-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/24 Processing of ocaml-posix_4.0.1+git12-gcfd9bfb-1_source.changes Debian FTP Masters
• 2026/02/24 ocaml-posix_4.0.1+git12-gcfd9bfb-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/21 ocaml-posix_4.0.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/21 Processing of ocaml-posix_4.0.1-3_source.changes Debian FTP Masters
• 2026/02/21 [Git][ocaml-team/coq][master] Close bug @glondu
• 2026/02/21 Processed: limit source to coq, tagging 1128515 Debian Bug Tracking System
• 2026/02/21 Processing of ocaml-posix_4.0.1-2_source.changes Debian FTP Masters
• 2026/02/21 ocaml-posix_4.0.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/20 ocaml-gavl is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/02/20 Bug#1128515: Updating the coq Uploaders list Tobias Frost
• 2026/02/20 ocaml-posix_4.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/20 Processing of ocaml-posix_4.0.1-1_source.changes Debian FTP Masters
• 2026/02/19 [Git][ocaml-team/coq][master] Remove Benjamin Barenblat from Debian uploaders Benjamin Barenblat (@bbaren)
• 2026/02/19 ocaml-process_0.2.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/17 Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz
• 2026/02/17 Bug#1128189: marked as pending in coq Julien Puydt
• 2026/02/17 Processed: Bug#1128189 marked as pending in coq Debian Bug Tracking System
• 2026/02/17 Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only Julien Puydt
• 2026/02/16 Processed: Re: Bug#1000390: aspcud fails to resolve upgrade problem, apt succeeds Debian Bug Tracking System
• 2026/02/16 Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz
• 2026/02/16 Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz
• 2026/02/16 Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz
• 2026/02/16 Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz
• 2026/02/16 Bug#1128188: libcoq-stdlib lacks dependencies Adrian Bunk
• 2026/02/16 Processed: libcoq-stdlib lacks dependencies Debian Bug Tracking System
• 2026/02/15 Debian NEW review of metacoq 1.4-9.1-1: REJECTED dfsg-team
• 2026/02/13 Bug#1127765: marked as done (camlp5 depends on the removed transitional package ocaml-compiler-libs) Debian Bug Tracking System
• 2026/02/13 camlp5_8.04.00-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/13 Processing of camlp5_8.04.00-4_source.changes Debian FTP Masters
• 2026/02/13 [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.04.00-4 @glondu
• 2026/02/13 [Git][ocaml-team/camlp5] Pushed new tag debian/8.04.00-4 @glondu
• 2026/02/13 [Git][ocaml-team/camlp5][master] 2 commits: Do no longer depend on ocaml-compiler-libs (Closes: #1127765) @glondu
• 2026/02/13 Processed: reassign 1127729 to src:ocaml-gavl, tagging 1127729, severity of 1127729 is serious Debian Bug Tracking System
• 2026/02/12 Bug#1127765: camlp5 depends on the removed transitional package ocaml-compiler-libs Adrian Bunk
• 2026/02/11 Bug#982067: marked as done (/usr/local/lib/ocaml owned by group staff even if /etc/staff-group-for-usr-local not present) Debian Bug Tracking System
• 2026/02/11 Bug#1125099: marked as done (Remove transitional packages) Debian Bug Tracking System
• 2026/02/11 ocaml_5.4.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/11 Processing of ocaml_5.4.0-3_source.changes Debian FTP Masters
• 2026/02/11 [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-3 @glondu
• 2026/02/06 Processed: Re: Bug#982067: /usr/local/lib/ocaml owned by group staff even if /etc/staff-group-for-usr-local not present Debian Bug Tracking System
• 2026/02/06 Bug#982067: /usr/local/lib/ocaml owned by group staff even if /etc/staff-group-for-usr-local not present Simon McVittie
• 2026/02/05 dose3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/02/04 camlp5 is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/02/03 herdtools7_7.58-1_amd64.changes is NEW Debian FTP Masters
• 2026/02/03 Processing of herdtools7_7.58-1_amd64.changes Debian FTP Masters
• 2026/02/03 herdtools7_7.58-1_amd64.changes REJECTED Debian FTP Masters
• 2026/02/03 Processing of herdtools7_7.58-1_amd64.changes Debian FTP Masters
• 2026/02/03 Re: Getting herdtool7 ready Stéphane Glondu
• 2026/02/02 Getting herdtool7 ready Sebastian Andrzej Siewior
• 2026/02/02 opam_2.5.0-1_loong64.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/02 Processing of opam_2.5.0-1_loong64.changes Debian FTP Masters
• 2026/02/02 Processing of opam-0install-cudf_0.5.0-1_loong64.changes Debian FTP Masters
• 2026/02/02 opam-0install-cudf_0.5.0-1_loong64.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/02 react_1.2.2-2_loong64.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/02 Processing of react_1.2.2-2_loong64.changes Debian FTP Masters
• 2026/02/02 Processing of ocaml-fmt_0.11.0-1_loong64.changes Debian FTP Masters
• 2026/02/02 ocaml-fmt_0.11.0-1_loong64.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/02 Bug#1126673: Should frama-c be removed from unstable? André Maroneze
• 2026/02/02 Processed: Re: Bug#1126673: Should frama-c be removed from unstable? Debian Bug Tracking System
• 2026/02/02 dose3_7.0.0-7_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/02 Processing of dose3_7.0.0-7_source.changes Debian FTP Masters
• 2026/02/02 [Git][ocaml-team/dose3] Pushed new tag debian/7.0.0-7 @glondu
• 2026/02/02 [Git][ocaml-team/dose3] Pushed new tag archive/debian/7.0.0-7 @glondu
• 2026/02/02 [Git][ocaml-team/dose3][master] 2 commits: Move pandoc to Build-Depends-Indep @glondu
• 2026/02/02 Processing of camlbz2_0.8.0-3_source.changes Debian FTP Masters
• 2026/02/02 [Git][ocaml-team/camlbz2] Pushed new tag debian/0.8.0-3 @glondu
• 2026/02/02 camlbz2_0.8.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2026/02/02 [Git][ocaml-team/camlbz2] Pushed new tag archive/debian/0.8.0-3 @glondu
• 2026/02/02 [Git][ocaml-team/camlbz2][master] 2 commits: Do no longer build doc, to cut dependency cycle @glondu
• 2026/01/31 ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 camlp5 is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 headache is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 camlp5-buildscripts is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 camomile is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 camlbz2 is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 hol-light is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 zed is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 flocq is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 eliom is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 dose3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ben is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 lambda-term is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ledit is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 laby is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 wyrd is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 pgocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 belenios is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 opam-0install-cudf is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 opam is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 lwt is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ott is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 omd is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocurl is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocplib-simplex is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocamldap is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocsipersist is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocaml-websocket is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coqeal is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocamlviz is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 morbig is marked for autoremoval from testing Debian testing autoremoval watch
• 2026/01/31 ocsigenserver is marked for autoremoval from testing Debian testing autoremoval watch
• 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

• Earlier messages
• Later messages