debian-ocaml-maint  

Messages by Date

• 2025/10/17 [Git][ocaml-team/ocp-indent][upstream] New upstream version 1.9.0 @glondu
• 2025/10/17 ocaml-iter is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/17 postgresql-ocaml_5.3.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/17 Processing of postgresql-ocaml_5.3.2-1_source.changes Debian FTP Masters
• 2025/10/17 ocaml-sedlex_3.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/17 ocaml-uucd_17.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/17 [Git][ocaml-team/ocp-indent][pristine-tar] pristine-tar data for ocp-indent_1.9.0.orig.tar.gz @glondu
• 2025/10/17 ppxlib_0.37.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/17 ocaml-containers is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/17 ocaml-mdx_2.5.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/17 Processing of ocaml-mdx_2.5.1-1_source.changes Debian FTP Masters
• 2025/10/17 Processing of ocaml-multicoretests_0.10-1_source.changes Debian FTP Masters
• 2025/10/17 [Git][ocaml-team/ocaml-sedlex][pristine-tar] pristine-tar data for ocaml-sedlex_3.7.orig.tar.gz @glondu
• 2025/10/17 Bug#1118031: Unable to detect when local and remote metadata no longer matches Aaron Rainbolt
• 2025/10/17 Processing of ocaml-sedlex_3.7-1_source.changes Debian FTP Masters
• 2025/10/17 [Git][ocaml-team/ocaml-sedlex] Pushed new tag debian/3.7-1 @glondu
• 2025/10/17 [Git][ocaml-team/ocaml-sedlex][master] 6 commits: Switch debian/watch to version 5 @glondu
• 2025/10/17 cpdf_2.8.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/10/17 Processing of ocaml-visitors_20251010-1_source.changes Debian FTP Masters
• 2025/10/15 [Git][ocaml-team/ocaml][pristine-tar] pristine-tar data for ocaml_5.4.0.orig.tar.xz @glondu
• 2025/10/14 Processed: Re: Bug#1118031: Unable to detect when local and remote metadata no longer matches Debian Bug Tracking System
• 2025/10/13 eliom is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/13 Bug#1118031: Unable to detect when local and remote metadata no longer matches Aaron Rainbolt
• 2025/10/13 Processing of cpdf_2.8.1-2_source.changes Debian FTP Masters
• 2025/10/12 Processing of ocaml_5.4.0-1~exp1_source.changes Debian FTP Masters
• 2025/10/12 [Git][ocaml-team/ocaml][debian/sid] 4 commits: Build --without-zstd @glondu
• 2025/10/12 Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Julien Puydt
• 2025/10/11 ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/11 liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/10 lwt is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/09 ocaml-inotify is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/09 [Git][ocaml-team/coq][master] Try to re-enable non-native compilation - we'll see if it flies! Julien Puydt (@jpuydt)
• 2025/10/09 Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Julien Puydt
• 2025/10/08 Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Stéphane Glondu
• 2025/10/08 Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures Julien Puydt
• 2025/10/08 Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures John Paul Adrian Glaubitz
• 2025/10/08 Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures John Paul Adrian Glaubitz
• 2025/10/04 Processing of ocaml-cohttp_5.3.0-2_source.changes Debian FTP Masters
• 2025/10/04 [Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.16.0-3 @glondu
• 2025/10/04 Bug#1116828: marked as done (ocaml-batteries: FTBFS with the nocheck build profile) Debian Bug Tracking System
• 2025/10/04 Bug#1116829: marked as done (ocaml-cohttp: FTBFS with the nocheck build profile) Debian Bug Tracking System
• 2025/10/04 Processing of zed_3.2.3-2_source.changes Debian FTP Masters
• 2025/10/04 [Git][ocaml-team/zed] Pushed new tag archive/debian/3.2.3-2 @glondu
• 2025/10/04 [Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.9.0-2 @glondu
• 2025/10/04 [Git][ocaml-team/ocaml-inotify] Pushed new tag debian/2.6-2 @glondu
• 2025/10/04 [Git][ocaml-team/ocaml-inotify] Pushed new tag archive/debian/2.6-2 @glondu
• 2025/10/04 [Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.9.0-2 @glondu
• 2025/10/03 Bug#1116827: ocaml-atd: FTBFS with the nocheck build profile Santiago Vila
• 2025/10/02 ocaml-odoc is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/02 ocaml-uuseg is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/02 ocaml-uunf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/10/01 ocaml-fpath is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/30 coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/30 ben_1.11_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/28 ocaml-base64 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/28 zed is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/28 Bug#1111916: marked as done (quickchick: ships files in /usr/doc) Debian Bug Tracking System
• 2025/09/28 coq-quickchick_2.1.0-1.1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/28 ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/28 opam-file-format is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/28 utop is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/28 mathcomp-analysis is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/28 camomile is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/28 camlbz2 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-csv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ben is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 pgocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-extructures is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-domain-name is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-oseq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-ssl is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-mew-vi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coqprime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-charinfo-width is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocsigenserver is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-gappa is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 camlp5-buildscripts is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-interval is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 wyrd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 uuidm is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 belenios is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 tyxml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 camlp5 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 opam-0install-cudf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-ohex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 omd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocplib-simplex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 reactivedata is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-ext-lib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-deriving is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-equations is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-fmt is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-simple-io is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-math-classes is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-record-update is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coquelicot is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-crunch is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 headache is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 meta-unison is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-thread-table is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coqeal is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-topkg is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-websocket is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 dose3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 flocq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ott is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 opam is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocurl is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-inotify is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-gen is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 morsmall is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocsipersist is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-version is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-unix-errno is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocamlformat is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocamldap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-usb is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-sedlex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-uri is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-rresult is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-randomconv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-qtest is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-stringext is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-spdx-licenses is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-psq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-multicoretests is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-monolith is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-markup is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-mirage-kv-mem is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-lwt-dllist is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-logs is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-kdf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-mirage-kv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-ipaddr is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-mdx is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-linenoise is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-hex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-duration is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-gmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-dscheck is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-expect is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-cry is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-domain-local-await is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 mlpost is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 mathcomp-finmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 laby is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-digestif is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-decimal is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-backoff is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-cstruct is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-crowbar is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-bos is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 obus is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 ocaml-asn1-combinators is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 nproc is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 hol-light is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 morbig is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 jsonm is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/27 mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch

• Earlier messages
• Later messages