debian-ocaml-maint  

Messages by Date

• 2025/09/09 [Git][ocaml-team/lwt][pristine-tar] pristine-tar data for lwt_5.9.2.orig.tar.gz @glondu
• 2025/09/09 [Git][ocaml-team/lwt] Pushed new tag debian/5.9.2-1 @glondu
• 2025/09/09 [Git][ocaml-team/lwt][master] 7 commits: New upstream version 5.9.2 @glondu
• 2025/09/09 Processing of menhir_20250903+ds-1_source.changes Debian FTP Masters
• 2025/09/09 Bug#1110513: coccinelle: linked against wrong libraries Victor Gambier
• 2025/09/09 Processing of ocaml-ptime_1.2.0-3_source.changes Debian FTP Masters
• 2025/09/09 Processing of ocaml-fpath_0.7.3-4_source.changes Debian FTP Masters
• 2025/09/09 Bug#1114240: marked as done (ocaml-mtime: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• 2025/09/09 Bug#1114428: marked as done (uutf: FTBFS: dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2) Debian Bug Tracking System
• 2025/09/09 Bug#1114239: marked as done (ocaml-hmap: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• 2025/09/09 ocaml-ptime_1.2.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/09 Processed: Bug#1114345 marked as pending in react Debian Bug Tracking System
• 2025/09/09 Bug#1114237: marked as done (ocaml-astring: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• 2025/09/09 ocaml-astring_0.8.5-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/08 Processed: bug 1097769 is forwarded to https://github.com/pkoutoupis/rapiddisk/issues/199, tagging 1114407 ... Debian Bug Tracking System
• 2025/09/08 Processing of ocaml-iomux_0.3-1_amd64.changes Debian FTP Masters
• 2025/09/07 Processing of ocaml-spawn_0.17.0-1_amd64.changes Debian FTP Masters
• 2025/09/07 coq-simple-io is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 ocamlgraph is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 ocaml-crowbar is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 [Git][ocaml-team/ocaml-dune][upstream] New upstream version 3.20.2 @glondu
• 2025/09/07 ocaml-astring is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 ocamlformat is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 ocaml-gen is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 ocaml-expect is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.20.2 @glondu
• 2025/09/07 coquelicot is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 ocaml-mdx is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 zed is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 eliom is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 Re: Request to Support as an OCaml Debian Maintainer. Chukwuma Akunyili
• 2025/09/07 Re: Request to Support as an OCaml Debian Maintainer. Stéphane Glondu
• 2025/09/07 coqeal is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/07 ocaml-dune_3.20.2-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/07 Request to Support as an OCaml Debian Maintainer. Chukwuma Akunyili
• 2025/09/07 Processing of ocaml-dune_3.20.2-3_source.changes Debian FTP Masters
• 2025/09/07 [Git][ocaml-team/ocaml-dune][master] 2 commits: Skip flaky tests in autopkgtest @glondu
• 2025/09/07 [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.20.2-3 @glondu
• 2025/09/07 [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.20.2-3 @glondu
• 2025/09/06 ocaml-qcheck is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 laby is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 utop is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.20.2-1 @glondu
• 2025/09/06 ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 pgocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 ocaml-dune_3.20.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/06 ocaml-mew-vi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 ocaml-mirage-kv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 ocaml-containers is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 ocaml-spawn_0.17.0-1_amd64.changes is NEW Debian FTP Masters
• 2025/09/06 ocaml-uucd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 mathcomp-finmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 ocaml-asn1-combinators is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 headache is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 coqprime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 why3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 ocaml-csv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/06 ocaml-sedlex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 reactivedata is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ledit is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocamlviz is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 mathcomp-analysis is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-deriving is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-odoc is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-afl-persistent is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-backoff is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 camlbz2 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-logs is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-equations is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ben is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 camlp5-buildscripts is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 Re: aflplusplus: ftbfs with GCC-15 Stéphane Glondu
• 2025/09/05 nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-digestif is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-base64 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-bos is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-crunch is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-cstruct is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-stringext is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-decimal is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 nproc is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-duration is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-batteries is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-charinfo-width is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-cry is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-fmt is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-fpath is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-domain-local-await is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-hex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-iter is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-hmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-dscheck is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-domain-name is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-gmap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-spdx-licenses is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-interval is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 camomile is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-mirage-kv-mem is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-extructures is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-psq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-ipaddr is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 belenios is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-ext-lib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-monolith is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-inotify is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-linenoise is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-kdf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-multicoretests is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-markup is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-ohex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-lwt-dllist is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 morsmall is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-math-classes is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-mtime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 morbig is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 mlpost is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-rresult is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 hol-light is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 camlp5 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-oseq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-thread-table is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-patch is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-ptime is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-topkg is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-unix-errno is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 opam-0install-cudf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocsigenserver is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 meta-unison is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-qtest is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-randomconv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-ssl is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocamldap is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocplib-simplex is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-uri is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-usb is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-uucp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-uunf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-uuseg is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-version is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocsipersist is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-websocket is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 omd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 opam is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocurl is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 opam-file-format is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-gappa is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 lwt is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 lambda-term is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-record-update is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ott is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 react is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 tyxml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 flocq is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 uuidm is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 jsonm is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 dose3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 uutf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch

• Earlier messages
• Later messages