debian-ocaml-maint  

Messages by Date

• 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
• 2025/09/05 coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 obus is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 wyrd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/05 Bug#1114239: ocaml-hmap: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
• 2025/09/05 ocaml-dune_3.20.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/05 Processing of ocaml-dune_3.20.2-2_source.changes Debian FTP Masters
• 2025/09/05 [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.20.2-2 @glondu
• 2025/09/05 [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.20.2-2 @glondu
• 2025/09/05 [Git][ocaml-team/ocaml-dune][master] 2 commits: Fix autopkgtest on bytecode archs @glondu
• 2025/09/05 Bug#1114428: uutf: FTBFS: dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2 Santiago Vila
• 2025/09/05 Bug#1114345: react: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
• 2025/09/05 Bug#1114242: ocaml-uuseg: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
• 2025/09/05 Bug#1114241: ocaml-ptime: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
• 2025/09/05 Bug#1114240: ocaml-mtime: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
• 2025/09/05 Bug#1114238: ocaml-fpath: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
• 2025/09/05 Bug#1114237: ocaml-astring: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
• 2025/09/05 [Git][ocaml-team/ocaml-dune][pristine-tar] pristine-tar data for ocaml-dune_3.20.2.orig.tar.bz2 @glondu
• 2025/09/05 [Git][ocaml-team/ocaml-dune][master] 5 commits: Add autopkgtest @glondu
• 2025/09/05 Processing of ocaml-dune_3.20.2-1_source.changes Debian FTP Masters
• 2025/09/05 [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.20.2-1 @glondu
• 2025/09/04 Processed: not really a "ftbfs with gcc-15" bug Debian Bug Tracking System
• 2025/09/03 Processing of ocaml-dune_3.20.1-1_source.changes Debian FTP Masters
• 2025/09/03 [Git][ocaml-team/ocaml-dune][pristine-tar] 7 commits: pristine-tar data for ocaml-dune_3.18.0.orig.tar.bz2 @glondu
• 2025/09/03 [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.20.1 @glondu
• 2025/09/03 ocaml-dune_3.20.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/09/03 [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.19.0 @glondu
• 2025/09/03 [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.19.1 @glondu
• 2025/09/03 [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.20.0 @glondu
• 2025/09/03 [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.18.2 @glondu
• 2025/09/03 [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.18.1 @glondu
• 2025/09/03 [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.18.0 @glondu
• 2025/09/03 [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.20.1-1 @glondu
• 2025/09/03 [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.20.1-1 @glondu
• 2025/09/03 coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/09/03 Bug#819341: [unison] Please build unison-fsmonitor Damian Lukowski
• 2025/09/03 Bug#1113844: eliom: recommends libeliom-ocaml-doc which is not in unstable Carles Pina i Estany
• 2025/09/03 Bug#1113839: frama-c-base: recommends alt-ergo which is not in unstable Carles Pina i Estany
• 2025/09/02 Bug#1113822: eliom: recommends libeliom-ocaml-doc which is not in unstable Carles Pina i Estany
• 2025/08/31 Bug#819341: [unison] Please build unison-fsmonitor Frédéric Perrin
• 2025/08/29 Processing of ocaml-re_1.13.3-5_source.changes Debian FTP Masters
• 2025/08/29 ocaml-re_1.13.3-5_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/29 [Git][ocaml-team/ocaml-re] Pushed new tag debian/1.13.3-5 @glondu
• 2025/08/29 [Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.13.3-5 @glondu
• 2025/08/29 [Git][ocaml-team/ocaml-re][master] 2 commits: Fix autopkgtest on bytecode archs @glondu
• 2025/08/29 Bug#1112491: coinst: recommends dot which is not in unstable Carles Pina i Estany
• 2025/08/29 [Git][ocaml-team/ocaml-re] Pushed new tag debian/1.13.3-4 @glondu
• 2025/08/29 ocaml-re_1.13.3-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/29 Processing of ocaml-re_1.13.3-4_source.changes Debian FTP Masters
• 2025/08/29 [Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.13.3-4 @glondu
• 2025/08/29 [Git][ocaml-team/ocaml-re][master] 2 commits: Fix autopkgtest @glondu
• 2025/08/28 cpdf_2.8.1-1_amd64.changes is NEW Debian FTP Masters
• 2025/08/28 Processing of cpdf_2.8.1-1_amd64.changes Debian FTP Masters
• 2025/08/28 Bug#1112327: ITP: cpdf -- PDF command line tools Stéphane Glondu
• 2025/08/27 Bug#1110513: coccinelle: linked against wrong libraries Victor Gambier
• 2025/08/27 Re: Packaging Cpdf for Debian John Whitington
• 2025/08/26 Processing of ocaml-re_1.13.3-3_source.changes Debian FTP Masters
• 2025/08/26 [Git][ocaml-team/ocaml-re] Pushed new tag debian/1.13.3-3 @glondu
• 2025/08/26 [Git][ocaml-team/ocaml-re][master] 2 commits: Fix splitting the empty string @glondu
• 2025/08/26 [Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.13.3-3 @glondu
• 2025/08/26 ocaml-re_1.13.3-3_source.changes ACCEPTED into unstable Debian FTP Masters

• Earlier messages
• Later messages