debian-ocaml-maint  

Messages by Date

• 2025/11/03 ocaml-domain-local-await is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-hex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-gmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-fpath is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-fmt is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-cstruct is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-duration is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-crowbar is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-domain-name is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-decimal is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-digestif is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-bos is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-batteries is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-csv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-base64 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-cry is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-crunch is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-containers is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-asn1-combinators is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 obus is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-charinfo-width is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-backoff is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ocaml-astring is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 nproc is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 morbig is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mlpost is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 meta-unison is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 morsmall is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-finmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-analysis is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 lwt is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 lambda-term is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 laby is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ledit is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 headache is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 jsonm is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 hol-light is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 flocq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 eliom is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 dose3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coquelicot is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coqprime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coqeal is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-interval is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-simple-io is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-record-update is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-math-classes is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-ext-lib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-gappa is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-extructures is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-equations is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-deriving is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 camomile is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 camlp5 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 camlbz2 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 camlp5-buildscripts is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ben is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 belenios is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 [bts-link] source package src:ocaml-ffmpeg debian-bts-link
• 2025/11/03 Processed: [bts-link] source package src:ocaml-ffmpeg Debian Bug Tracking System
• 2025/10/31 Re: coq rdeps in experimental build against coq/sid Adrian Bunk
• 2025/10/31 Processed: fixed 1111916 in 2.1.1-1 Debian Bug Tracking System
• 2025/10/31 Re: coq rdeps in experimental build against coq/sid Julien Puydt
• 2025/10/31 coq rdeps in experimental build against coq/sid Adrian Bunk
• 2025/10/29 failed mips64el build of coq 9.1.0+dfsg-2 Debian buildds
• 2025/10/29 [Git][ocaml-team/ssreflect] Pushed new tag upstream/2.4.0 Julien Puydt (@jpuydt)
• 2025/10/29 [Git][ocaml-team/ssreflect] Pushed new tag upstream/2.5.0 Julien Puydt (@jpuydt)
• 2025/10/29 [Git][ocaml-team/ssreflect][master] 10 commits: New upstream version 2.4.0 Julien Puydt (@jpuydt)
• 2025/10/29 [Git][ocaml-team/ssreflect][upstream] 2 commits: New upstream version 2.4.0 Julien Puydt (@jpuydt)
• 2025/10/29 [Git][ocaml-team/ssreflect] Pushed new tag debian/2.5.0-1 Julien Puydt (@jpuydt)
• 2025/10/29 [Git][ocaml-team/ssreflect][pristine-tar] 2 commits: pristine-tar data for ssreflect_2.4.0.orig.tar.gz Julien Puydt (@jpuydt)
• 2025/10/29 [Git][ocaml-team/aac-tactics][master] Drop the useless dbgsym package Julien Puydt (@jpuydt)
• 2025/10/29 Bug#1105230: marked as done (aac-tactics: FTBFS with make --shuffle=reverse: make[2]: *** [Makefile.coq:613: install-byte] Error 2 shuffle=reverse) Debian Bug Tracking System
• 2025/10/29 [Git][ocaml-team/aac-tactics] Pushed new tag upstream/9.0.0 Julien Puydt (@jpuydt)
• 2025/10/29 [Git][ocaml-team/aac-tactics] Pushed new tag debian/9.0.0-1 Julien Puydt (@jpuydt)
• 2025/10/29 [Git][ocaml-team/aac-tactics][upstream] New upstream version 9.0.0 Julien Puydt (@jpuydt)
• 2025/10/29 [Git][ocaml-team/aac-tactics][pristine-tar] 2 commits: pristine-tar data for aac-tactics_9.0.0.orig.tar.gz Julien Puydt (@jpuydt)
• 2025/10/29 [Git][ocaml-team/aac-tactics][master] 7 commits: Adapt to renaming from Coq to Rocq Julien Puydt (@jpuydt)
• 2025/10/28 Bug#1117585: marked as done (coq: suggests why which is not in unstable) Debian Bug Tracking System
• 2025/10/28 Accepted coq 9.1.0+dfsg-2 (source amd64) into experimental Debian FTP Masters
• 2025/10/28 [Git][ocaml-team/coq] Pushed new tag debian/9.1.0+dfsg-2 Julien Puydt (@jpuydt)
• 2025/10/28 [Git][ocaml-team/coq][master] Prepare for upload to experimental Julien Puydt (@jpuydt)
• 2025/10/28 Processing of coq-elpi_2.5.0-1.2_source.changes Debian FTP Masters
• 2025/10/28 coq-elpi_2.5.0-1.2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/27 [bts-link] source package src:ocaml-ffmpeg debian-bts-link
• 2025/10/22 Re: About yojson 3.0.0 Stéphane Glondu
• 2025/10/22 Re: About yojson 3.0.0 Stéphane Glondu
• 2025/10/21 Processing of ocp-indent_1.9.0-3_source.changes Debian FTP Masters
• 2025/10/21 [Git][ocaml-team/ocp-indent] Pushed new tag debian/1.9.0-3 @glondu
• 2025/10/21 [Git][ocaml-team/ocp-indent][master] 2 commits: Run autopkgtest with umask 022 @glondu
• 2025/10/21 [Git][ocaml-team/ocp-indent] Pushed new tag archive/debian/1.9.0-3 @glondu
• 2025/10/21 ocp-indent_1.9.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/21 Processed: Upstream bug reported Debian Bug Tracking System
• 2025/10/20 Processing of ocp-indent_1.9.0-2_source.changes Debian FTP Masters
• 2025/10/20 ocp-indent_1.9.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/20 [Git][ocaml-team/ocp-indent] Pushed new tag debian/1.9.0-2 @glondu
• 2025/10/20 [Git][ocaml-team/ocp-indent] Pushed new tag archive/debian/1.9.0-2 @glondu
• 2025/10/20 [Git][ocaml-team/ocp-indent][master] 2 commits: Fix autopkgtest @glondu
• 2025/10/18 [Git][ocaml-team/ocaml-base64][pristine-tar] pristine-tar data for ocaml-base64_3.5.2.orig.tar.gz @glondu
• 2025/10/18 ben_1.12_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/18 [Git][ocaml-team/yojson][pristine-tar] pristine-tar data for yojson_3.0.0.orig.tar.gz Julien Puydt (@jpuydt)
• 2025/10/18 Processing of lambda-term_3.3.2-2_source.changes Debian FTP Masters
• 2025/10/18 zed_3.2.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/18 Bug#1116929: zed: FTBFS with the nocheck build profile Santiago Vila
• 2025/10/18 ocaml-re_1.14.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/18 Processing of ocaml-eio_1.3-1_amd64.changes Debian FTP Masters
• 2025/10/18 ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/18 elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/18 [Git][ocaml-team/ocaml-sedlex] Pushed new tag archive/debian/3.7-1 @glondu
• 2025/10/18 Processing of ocp-indent_1.9.0-1_source.changes Debian FTP Masters
• 2025/10/18 Processing of ocaml-base64_3.5.2-1_source.changes Debian FTP Masters
• 2025/10/18 Processing of ocaml-uucp_17.0.0-1_source.changes Debian FTP Masters
• 2025/10/18 [Git][ocaml-team/postgresql-ocaml] Pushed new tag upstream/5.3.2 @glondu
• 2025/10/18 cpdf_2.8.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/18 [Git][ocaml-team/yojson] Pushed new tag upstream/3.0.0 Julien Puydt (@jpuydt)
• 2025/10/18 [Git][ocaml-team/yojson] Pushed new tag debian/3.0.0-1 Julien Puydt (@jpuydt)
• 2025/10/18 [Git][ocaml-team/yojson][master] Prepare for upload to experimental Julien Puydt (@jpuydt)
• 2025/10/18 Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Julien Puydt
• 2025/10/18 Processing of ocaml-inotify_2.6-2_source.changes Debian FTP Masters
• 2025/10/18 About yojson 3.0.0 Julien Puydt
• 2025/10/18 [Git][ocaml-team/yojson][upstream] New upstream version 3.0.0 Julien Puydt (@jpuydt)
• 2025/10/18 [Git][ocaml-team/yojson][master] 4 commits: New upstream version 3.0.0 Julien Puydt (@jpuydt)
• 2025/10/18 bisect-ppx_2.8.3+dfsg-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/18 [Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20251010-1 @glondu
• 2025/10/18 Bug#1116831: marked as done (ocaml-inotify: FTBFS with the nocheck build profile) Debian Bug Tracking System
• 2025/10/18 [Git][ocaml-team/zed] Pushed new tag debian/3.2.3-2 @glondu
• 2025/10/18 ocaml-inotify_2.6-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/18 [Git][ocaml-team/ocamlgraph] Pushed new tag archive/debian/2.2.0-2 @glondu
• 2025/10/18 [Git][ocaml-team/ocp-indent] Pushed new tag archive/debian/1.9.0-1 @glondu
• 2025/10/18 ocaml-atd_2.16.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/18 Processing of ocaml-version_4.0.3-1_source.changes Debian FTP Masters
• 2025/10/18 Bug#1117585: coq: suggests why which is not in unstable Carles Pina i Estany
• 2025/10/18 ben is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/18 Bug#1115873: marked as done (ocamlgraph: please drop old unused CDBS fragment) Debian Bug Tracking System
• 2025/10/18 [Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20251010 @glondu
• 2025/10/18 ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/18 ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/18 [Git][ocaml-team/ocaml-inotify][master] 2 commits: Update packaging @glondu
• 2025/10/18 Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures John Paul Adrian Glaubitz
• 2025/10/18 ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/18 Processed: Bug#1117440 marked as pending in ben Debian Bug Tracking System
• 2025/10/18 [Git][ocaml-team/ocaml-batteries][master] 2 commits: Update packaging @glondu
• 2025/10/18 ocaml-astring is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/18 Re: ocaml-eio_1.3-1_amd64.changes REJECTED Stéphane Glondu
• 2025/10/18 Processing of ocaml-atd_2.16.0-3_source.changes Debian FTP Masters
• 2025/10/18 Processed: tagging 1117440 Debian Bug Tracking System
• 2025/10/18 Bug#1116151: ocaml-platform: recommends libmigrate-parsetree-ocaml-dev which is not in unstable Carles Pina i Estany
• 2025/10/18 Bug#1116827: marked as done (ocaml-atd: FTBFS with the nocheck build profile) Debian Bug Tracking System
• 2025/10/18 ocaml-batteries is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/18 ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/18 ocaml-monolith_0~20250922-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/18 Bug#1117440: marked as done (ben: slight regression in latest version ?) Debian Bug Tracking System
• 2025/10/18 Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Julien Puydt
• 2025/10/18 Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures John Paul Adrian Glaubitz
• 2025/10/18 Bug#1117440: marked as pending in ben Stéphane Glondu
• 2025/10/18 Bug#1116831: ocaml-inotify: FTBFS with the nocheck build profile Santiago Vila
• 2025/10/18 [Git][ocaml-team/postgresql-ocaml][pristine-tar] 3 commits: pristine-tar data for postgresql-ocaml_5.3.0.orig.tar.bz2 @glondu
• 2025/10/18 Processing of ocaml-uucd_17.0.0-1_source.changes Debian FTP Masters

• Earlier messages
• Later messages