debian-ocaml-maint Sep 2025 by author

[previous page]

Page 1 of 1

[next page]

[Thread Index] [Date Index] [Subject Index] [Other Debian Lists] [Debian Home]

---

Stéphane Glondu

• Bug#1114345: marked as pending in react Sep 09

Stéphane Glondu (@glondu)

• [Git][ocaml-team/lwt] Pushed new tag upstream/5.9.2 Sep 09
• [Git][ocaml-team/ocaml-dune][upstream] New upstream version 3.20.2 Sep 05
• [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.4.0-1 Sep 11
• [Git][ocaml-team/ppx-deriving] Pushed new tag archive/debian/6.1.1-1 Sep 09
• [Git][ocaml-team/ocaml-dune][pristine-tar] pristine-tar data for ocaml-dune_3.20.2.orig.tar.bz2 Sep 05
• [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag archive/debian/3.10.0-1 Sep 11
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.19.1 Sep 03
• [Git][ocaml-team/js-of-ocaml] Pushed new tag debian/6.2.0-1 Sep 11
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag upstream/5.0.1 Sep 09
• [Git][ocaml-team/lwt] Pushed new tag archive/debian/5.9.2-1 Sep 09
• [Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.4.0.orig.tar.gz Sep 11
• [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.4-1 Sep 09
• [Git][ocaml-team/ppx-deriving-yojson][pristine-tar] pristine-tar data for ppx-deriving-yojson_3.10.0.orig.tar.gz Sep 11
• [Git][ocaml-team/ppx-optcomp] Pushed new tag upstream/0.17.1 Sep 09
• [Git][ocaml-team/why3] Pushed new tag debian/1.8.1-1 Sep 12
• [Git][ocaml-team/ocaml-extunix][pristine-tar] pristine-tar data for ocaml-extunix_0.4.4.orig.tar.bz2 Sep 09
• [Git][ocaml-team/ocaml-dune][master] 2 commits: Skip flaky tests in autopkgtest Sep 07
• [Git][ocaml-team/menhir] Pushed new tag archive/debian/20250903+ds-1 Sep 09
• [Git][ocaml-team/ppx-deriving][pristine-tar] 2 commits: pristine-tar data for ppx-deriving_6.1.0.orig.tar.gz Sep 09
• [Git][ocaml-team/ppx-deriving] Pushed new tag upstream/6.1.0 Sep 09
• [Git][ocaml-team/lwt] Pushed new tag debian/5.9.2-1 Sep 09
• [Git][ocaml-team/ocaml-extunix][upstream] New upstream version 0.4.4 Sep 09
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.20.2 Sep 05
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.18.1 Sep 03
• [Git][ocaml-team/uutf][master] 4 commits: Fix missing files reported by dh_missing Sep 09
• [Git][ocaml-team/eliom] Pushed new tag debian/11.1.1-3 Sep 12
• [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.10.0-1 Sep 11
• [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.20.2-3 Sep 07
• [Git][ocaml-team/ppx-optcomp] Pushed new tag archive/debian/1%0.17.1-1 Sep 09
• [Git][ocaml-team/ocaml-bitstring][pristine-tar] pristine-tar data for ocaml-bitstring_5.0.1.orig.tar.gz Sep 09
• [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.20.2-2 Sep 05
• [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.20.2-1 Sep 05
• [Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.4.0 Sep 11
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag archive/debian/5.0.1-1 Sep 09
• [Git][ocaml-team/lwt][master] 7 commits: New upstream version 5.9.2 Sep 09
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.18.2 Sep 03
• [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.2.0 Sep 11
• [Git][ocaml-team/ocaml-dune][master] 2 commits: Fix autopkgtest on bytecode archs Sep 05
• [Git][ocaml-team/ppx-sexp-conv] Pushed new tag upstream/0.17.1 Sep 10
• [Git][ocaml-team/uutf] Pushed new tag archive/debian/1.0.4-2 Sep 09
• [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.1.1 Sep 11
• [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.1.orig.tar.bz2 Sep 12
• [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.20.2-2 Sep 05
• [Git][ocaml-team/menhir][upstream] New upstream version 20250903+ds Sep 09
• [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.20.2-1 Sep 05
• [Git][ocaml-team/lwt][pristine-tar] pristine-tar data for lwt_5.9.2.orig.tar.gz Sep 09
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag debian/5.0.1-1 Sep 09
• [Git][ocaml-team/ocaml-extunix] Pushed new tag upstream/0.4.4 Sep 09
• [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.0.0 Sep 11
• [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag upstream/3.10.0 Sep 11
• [Git][ocaml-team/menhir] Pushed new tag upstream/20250903+ds Sep 09
• [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.20.2-3 Sep 07
• [Git][ocaml-team/lwt] Pushed new tag debian/5.9.2-2 Sep 11
• [Git][ocaml-team/ppx-deriving] Pushed new tag upstream/6.1.1 Sep 09
• [Git][ocaml-team/ppx-optcomp][upstream] New upstream version 0.17.1 Sep 09
• [Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20250903+ds.orig.tar.xz Sep 09
• [Git][ocaml-team/eliom] Pushed new tag debian/11.1.1-4 Sep 12
• [Git][ocaml-team/ppx-sexp-conv] Pushed new tag archive/debian/1%0.17.1-1 Sep 10
• [Git][ocaml-team/ppx-optcomp] Pushed new tag debian/1%0.17.1-1 Sep 09
• [Git][ocaml-team/liquidsoap] Deleted branch prisine-tar Sep 11
• [Git][ocaml-team/uutf] Pushed new tag debian/1.0.4-2 Sep 09
• [Git][ocaml-team/eliom] Pushed new tag archive/debian/11.1.1-4 Sep 12
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.20.0 Sep 03
• [Git][ocaml-team/why3] Pushed new tag upstream/1.8.1 Sep 12
• [Git][ocaml-team/menhir] Pushed new tag debian/20250903+ds-1 Sep 09
• [Git][ocaml-team/ppx-sexp-conv] Pushed new tag debian/1%0.17.1-1 Sep 10
• [Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/6.2.0-1 Sep 11
• [Git][ocaml-team/react] Pushed new tag archive/debian/1.2.2-2 Sep 09
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.18.0 Sep 03
• [Git][ocaml-team/why3] Pushed new tag archive/debian/1.8.1-1 Sep 12
• [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.1.0 Sep 11
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.20.1 Sep 03
• [Git][ocaml-team/lwt][upstream] New upstream version 5.9.2 Sep 09
• [Git][ocaml-team/menhir][master] 4 commits: New upstream version 20250903+ds Sep 09
• [Git][ocaml-team/liquidsoap] Pushed new tag archive/debian/2.4.0-1 Sep 11
• [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.20.1-1 Sep 03
• [Git][ocaml-team/js-of-ocaml][pristine-tar] 5 commits: pristine-tar data for js-of-ocaml_6.0.0.orig.tar.bz2 Sep 11
• [Git][ocaml-team/eliom] Pushed new tag archive/debian/11.1.1-3 Sep 12
• [Git][ocaml-team/liquidsoap] Pushed new tag archive/debian/2.3.2-2 Sep 11
• [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.4-1 Sep 09
• [Git][ocaml-team/ocaml-extunix][master] 6 commits: New upstream version 0.4.4 Sep 09
• [Git][ocaml-team/ocaml-dune][master] 5 commits: Add autopkgtest Sep 05
• [Git][ocaml-team/ppx-deriving] Pushed new tag debian/6.1.1-1 Sep 09
• [Git][ocaml-team/ppx-optcomp][master] 5 commits: New upstream version 0.17.1 Sep 09
• [Git][ocaml-team/react] Pushed new tag debian/1.2.2-2 Sep 09
• [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.20.1-1 Sep 03
• [Git][ocaml-team/js-of-ocaml] Pushed new tag upstream/6.0.1 Sep 11
• [Git][ocaml-team/ocaml-dune][pristine-tar] 7 commits: pristine-tar data for ocaml-dune_3.18.0.orig.tar.bz2 Sep 03
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.19.0 Sep 03
• [Git][ocaml-team/ppx-sexp-conv][pristine-tar] pristine-tar data for ppx-sexp-conv_0.17.1.orig.tar.gz Sep 10
• [Git][ocaml-team/lwt] Pushed new tag archive/debian/5.9.2-2 Sep 11
• [Git][ocaml-team/ppx-optcomp][pristine-tar] pristine-tar data for ppx-optcomp_0.17.1.orig.tar.gz Sep 09

Stéphane Glondu

• Re: Request to Support as an OCaml Debian Maintainer. Sep 07
• Bug#1114903: FTBFS with ppxlib 0.36.1 Sep 11
• Re: On updating Coq/Rocq in Debian Sep 12
• Re: aflplusplus: ftbfs with GCC-15 Sep 06

Carles Pina i Estany

• Bug#1113844: eliom: recommends libeliom-ocaml-doc which is not in unstable Sep 03
• Bug#1113822: eliom: recommends libeliom-ocaml-doc which is not in unstable Sep 03
• Bug#1113839: frama-c-base: recommends alt-ergo which is not in unstable Sep 03

Chukwuma Akunyili

• Re: Request to Support as an OCaml Debian Maintainer. Sep 07
• Request to Support as an OCaml Debian Maintainer. Sep 07

Damian Lukowski

• Bug#819341: [unison] Please build unison-fsmonitor Sep 01

Debian Bug Tracking System

• Processed: tagging 1114903 Sep 11
• Processed: not really a "ftbfs with gcc-15" bug Sep 04
• Bug#1098092: marked as done (why3: ftbfs with GCC-15) Sep 12
• Bug#1114240: marked as done (ocaml-mtime: FTBFS: dh_missing: error: missing files, aborting) Sep 09
• Bug#1114239: marked as done (ocaml-hmap: FTBFS: dh_missing: error: missing files, aborting) Sep 09
• Bug#1114241: marked as done (ocaml-ptime: FTBFS: dh_missing: error: missing files, aborting) Sep 09
• Bug#1114237: marked as done (ocaml-astring: FTBFS: dh_missing: error: missing files, aborting) Sep 09
• Processed: bug 1097769 is forwarded to https://github.com/pkoutoupis/rapiddisk/issues/199, tagging 1114407 ... Sep 08
• Bug#1114428: marked as done (uutf: FTBFS: dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2) Sep 09
• Processed: tagging 1105621, tagging 1110019, tagging 1096530, notfixed 997921 in 16.3, fixed 997921 in 16.3-1 ... Sep 12
• Bug#1114238: marked as done (ocaml-fpath: FTBFS: dh_missing: error: missing files, aborting) Sep 09
• Bug#1114903: marked as done (FTBFS with ppxlib 0.36.1) Sep 11
• Bug#1114242: marked as done (ocaml-uuseg: FTBFS: dh_missing: error: missing files, aborting) Sep 09
• Bug#1114345: marked as done (react: FTBFS: dh_missing: error: missing files, aborting) Sep 09
• Processed: Bug#1114345 marked as pending in react Sep 09

Debian FTP Masters

• ocaml-odoc_3.1.0-1_source.changes ACCEPTED into unstable Sep 09
• react_1.2.2-2_source.changes ACCEPTED into unstable Sep 09
• menhir_20250903+ds-1_source.changes ACCEPTED into unstable Sep 09
• liquidsoap_2.4.0-1_source.changes ACCEPTED into unstable Sep 11
• ocaml-fpath_0.7.3-4_source.changes ACCEPTED into unstable Sep 09
• uutf_1.0.4-2_source.changes ACCEPTED into unstable Sep 09
• Processing of ocaml-mirage-ptime_5.1.0-1_source.changes Sep 09
• ocaml-dune_3.20.2-1_source.changes ACCEPTED into unstable Sep 05
• Processing of ppx-js-style_0.17.0-3_source.changes Sep 09
• Processing of ppxlib-jane_0.17.4-1_source.changes Sep 09
• Processing of ocaml-extunix_0.4.4-1_source.changes Sep 09
• Processing of ppx-deriving_6.1.1-1_source.changes Sep 09
• why3_1.8.1-1_source.changes ACCEPTED into unstable Sep 12
• Processing of ppx-inline-test_0.17.1-1_source.changes Sep 10
• Processing of js-of-ocaml_6.2.0-1_source.changes Sep 11
• Processing of ocaml-spawn_0.17.0-1_amd64.changes Sep 06
• Processing of uutf_1.0.4-2_source.changes Sep 09
• elpi_2.0.7-2_source.changes ACCEPTED into unstable Sep 11
• ocaml-dune_3.20.1-1_source.changes ACCEPTED into unstable Sep 03
• ppxlib-jane_0.17.4-1_source.changes ACCEPTED into unstable Sep 10
• Processing of menhir_20250903+ds-1_source.changes Sep 09
• Processing of eliom_11.1.1-3_source.changes Sep 12
• ppx-deriving_6.1.1-1_source.changes ACCEPTED into unstable Sep 10
• ppx-globalize_0.17.2-1_source.changes ACCEPTED into unstable Sep 10
• Processing of ocaml-iomux_0.3-1_amd64.changes Sep 08
• lwt_5.9.2-2_source.changes ACCEPTED into unstable Sep 11
• ppx-yojson-conv_0.17.0-4_source.changes ACCEPTED into unstable Sep 11
• ppx-inline-test_0.17.1-1_source.changes ACCEPTED into unstable Sep 10
• ppx-expect_0.17.3-1_source.changes ACCEPTED into unstable Sep 11
• ocaml-dune_3.20.2-2_source.changes ACCEPTED into unstable Sep 05
• Processing of ocaml-uuseg_16.0.0-2_source.changes Sep 09
• ppx-sexp-conv_0.17.1-1_source.changes ACCEPTED into unstable Sep 10
• ocaml-uuseg_16.0.0-2_source.changes ACCEPTED into unstable Sep 09
• bisect-ppx_2.8.3+dfsg-3_source.changes ACCEPTED into unstable Sep 10
• Processing of lwt_5.9.2-1_source.changes Sep 09
• Processing of ocaml-mtime_2.1.0-3_source.changes Sep 09
• ocaml-bitstring_5.0.1-1_source.changes ACCEPTED into unstable Sep 10
• Processing of ppx-expect_0.17.3-1_source.changes Sep 11
• Processing of eliom_11.1.1-4_source.changes Sep 12
• Processing of ppxlib_0.36.1-1_source.changes Sep 09
• ppx-let_0.17.1-1_source.changes ACCEPTED into unstable Sep 10
• ppxlib_0.36.1-1_source.changes ACCEPTED into unstable Sep 09
• Processing of ocaml-odoc_3.1.0-1_source.changes Sep 09
• ocaml-astring_0.8.5-3_source.changes ACCEPTED into unstable Sep 09
• Processing of ocaml-ffmpeg_1.2.6-1_source.changes Sep 11
• Processing of ocaml-dune_3.20.2-3_source.changes Sep 07
• Processing of ocaml-fpath_0.7.3-4_source.changes Sep 09
• Processing of ocaml-ptime_1.2.0-3_source.changes Sep 09
• ocaml-qcheck_0.26-1_source.changes ACCEPTED into unstable Sep 11
• lwt_5.9.2-1_source.changes ACCEPTED into unstable Sep 09
• Processing of ocaml-qcheck_0.26-1_source.changes Sep 11
• ocaml-mirage-ptime_5.1.0-1_source.changes ACCEPTED into unstable Sep 09
• ocaml-iomux_0.3-1_amd64.changes is NEW Sep 08
• ocaml-extunix_0.4.4-1_source.changes ACCEPTED into unstable Sep 10
• js-of-ocaml_6.2.0-1_source.changes ACCEPTED into unstable Sep 11
• Processing of bisect-ppx_2.8.3+dfsg-3_source.changes Sep 10
• ppx-bin-prot_0.17.1-1_source.changes ACCEPTED into unstable Sep 10
• ocaml-ptime_1.2.0-3_source.changes ACCEPTED into unstable Sep 09
• Processing of ppx-deriving-yojson_3.10.0-1_source.changes Sep 11
• ocaml-dune_3.20.2-3_source.changes ACCEPTED into unstable Sep 07
• Processing of ocaml-dune_3.20.1-1_source.changes Sep 03
• ocaml-mtime_2.1.0-3_source.changes ACCEPTED into unstable Sep 09
• Processing of ppx-optcomp_0.17.1-1_source.changes Sep 09
• Processing of elpi_2.0.7-2_source.changes Sep 11
• eliom_11.1.1-3_source.changes ACCEPTED into unstable Sep 12
• Processing of ppx-let_0.17.1-1_source.changes Sep 10
• Processing of ppx-sexp-conv_0.17.1-1_source.changes Sep 10
• ocaml-ffmpeg_1.2.6-1_source.changes ACCEPTED into unstable Sep 11
• Processing of ppx-globalize_0.17.2-1_source.changes Sep 10
• Processing of ocaml-containers_3.16+dfsg-2_source.changes Sep 14
• Processing of why3_1.8.1-1_source.changes Sep 12
• ocaml-spawn_0.17.0-1_amd64.changes is NEW Sep 06
• ppx-deriving-yojson_3.10.0-1_source.changes ACCEPTED into unstable Sep 11
• ocaml-time-now_0.17.0-4_source.changes ACCEPTED into unstable Sep 10
• Processing of lwt_5.9.2-2_source.changes Sep 11
• Processing of ocaml-bitstring_5.0.1-1_source.changes Sep 09
• Processing of ocaml-hmap_0.8.1-3_source.changes Sep 09
• Processing of ocaml-time-now_0.17.0-4_source.changes Sep 10
• Processing of ocaml-qcheck_0.26-2_source.changes Sep 14
• ppx-optcomp_0.17.1-1_source.changes ACCEPTED into unstable Sep 10
• Processing of ppx-bin-prot_0.17.1-1_source.changes Sep 10
• Processing of liquidsoap_2.4.0-1_source.changes Sep 11
• ocaml-mirage-crypto_2.0.2-1_source.changes ACCEPTED into unstable Sep 11
• Processing of ocaml-astring_0.8.5-3_source.changes Sep 09
• eliom_11.1.1-4_source.changes ACCEPTED into unstable Sep 12
• ocaml-hmap_0.8.1-3_source.changes ACCEPTED into unstable Sep 09
• Processing of ocaml-dune_3.20.2-1_source.changes Sep 05
• Processing of ocaml-iter_1.9-2_source.changes Sep 14
• Processing of ocaml-mirage-crypto_2.0.2-1_source.changes Sep 11
• Processing of ppx-variants-conv_0.17.1-1_source.changes Sep 09
• Processing of react_1.2.2-2_source.changes Sep 09
• Processing of ppx-yojson-conv_0.17.0-4_source.changes Sep 11
• ppx-js-style_0.17.0-3_source.changes ACCEPTED into unstable Sep 10
• Processing of ocaml-dune_3.20.2-2_source.changes Sep 05
• ppx-variants-conv_0.17.1-1_source.changes ACCEPTED into unstable Sep 10

Debian testing autoremoval watch

• belenios is marked for autoremoval from testing Sep 06
• ocaml-expect is marked for autoremoval from testing Sep 06
• coq-elpi is marked for autoremoval from testing Sep 06
• ocaml-ohex is marked for autoremoval from testing Sep 06
• ocaml-fmt is marked for autoremoval from testing Sep 06
• camomile is marked for autoremoval from testing Sep 06
• ocaml-crunch is marked for autoremoval from testing Sep 06
• ocaml-gettext is marked for autoremoval from testing Sep 06
• ocaml-rresult is marked for autoremoval from testing Sep 06
• ocaml-uuseg is marked for autoremoval from testing Sep 06
• pgocaml is marked for autoremoval from testing Sep 06
• yojson is marked for autoremoval from testing Sep 06
• hol-light is marked for autoremoval from testing Sep 06
• opam-0install-cudf is marked for autoremoval from testing Sep 06
• coq-mtac2 is marked for autoremoval from testing Sep 06
• wyrd is marked for autoremoval from testing Sep 06
• ocamlgraph is marked for autoremoval from testing Sep 06
• coqeal is marked for autoremoval from testing Sep 06
• ocaml-ca-certs is marked for autoremoval from testing Sep 06
• headache is marked for autoremoval from testing Sep 06
• ocaml-multicore-magic is marked for autoremoval from testing Sep 06
• ocaml-mtime is marked for autoremoval from testing Sep 06
• ocaml-unix-errno is marked for autoremoval from testing Sep 06
• ocaml-odoc is marked for autoremoval from testing Sep 13
• ppx-deriving-yojson is marked for autoremoval from testing Sep 06
• nurpawiki is marked for autoremoval from testing Sep 06
• coq-reglang is marked for autoremoval from testing Sep 06
• ocaml-monolith is marked for autoremoval from testing Sep 06
• ocaml-crowbar is marked for autoremoval from testing Sep 06
• js-of-ocaml is marked for autoremoval from testing Sep 06
• mlpost is marked for autoremoval from testing Sep 06
• coq-libhyps is marked for autoremoval from testing Sep 06
• coq-record-update is marked for autoremoval from testing Sep 06
• coq-reduction-effects is marked for autoremoval from testing Sep 06
• lwt-log is marked for autoremoval from testing Sep 06
• not-ocamlfind is marked for autoremoval from testing Sep 06
• coq-unimath is marked for autoremoval from testing Sep 06
• opam is marked for autoremoval from testing Sep 06
• coq-hott is marked for autoremoval from testing Sep 06
• ocaml-ssl is marked for autoremoval from testing Sep 06
• coq-deriving is marked for autoremoval from testing Sep 06
• meta-unison is marked for autoremoval from testing Sep 06
• ppx-yojson-conv is marked for autoremoval from testing Sep 06
• ocaml-uri is marked for autoremoval from testing Sep 06
• ocaml-mew-vi is marked for autoremoval from testing Sep 06
• ocaml-markup is marked for autoremoval from testing Sep 06
• ocsipersist is marked for autoremoval from testing Sep 06
• uutf is marked for autoremoval from testing Sep 06
• dose3 is marked for autoremoval from testing Sep 06
• ocaml-patch is marked for autoremoval from testing Sep 06
• tyxml is marked for autoremoval from testing Sep 06
• ocaml-usb is marked for autoremoval from testing Sep 06
• coquelicot is marked for autoremoval from testing Sep 06
• ocaml-decimal is marked for autoremoval from testing Sep 06
• ocaml-dscheck is marked for autoremoval from testing Sep 06
• coq-equations is marked for autoremoval from testing Sep 06
• coqprime is marked for autoremoval from testing Sep 06
• ocaml-iter is marked for autoremoval from testing Sep 06
• ocaml-conduit is marked for autoremoval from testing Sep 06
• ocaml-inotify is marked for autoremoval from testing Sep 06
• ocaml-afl-persistent is marked for autoremoval from testing Sep 06
• mathcomp-bigenough is marked for autoremoval from testing Sep 06
• mathcomp-multinomials is marked for autoremoval from testing Sep 06
• camlp5 is marked for autoremoval from testing Sep 06
• lwt-ssl is marked for autoremoval from testing Sep 06
• ocaml-mirage-kv is marked for autoremoval from testing Sep 06
• mathcomp-analysis is marked for autoremoval from testing Sep 06
• omd is marked for autoremoval from testing Sep 06
• ocaml-oseq is marked for autoremoval from testing Sep 06
• ocaml-odoc is marked for autoremoval from testing Sep 06
• coq-bignums is marked for autoremoval from testing Sep 06
• ocaml-ipaddr is marked for autoremoval from testing Sep 06
• liquidsoap is marked for autoremoval from testing Sep 06
• coq-hammer is marked for autoremoval from testing Sep 06
• coq-dpdgraph is marked for autoremoval from testing Sep 06
• ocamlformat is marked for autoremoval from testing Sep 06
• ocaml-cohttp is marked for autoremoval from testing Sep 06
• opam-file-format is marked for autoremoval from testing Sep 06
• coq-math-classes is marked for autoremoval from testing Sep 06
• sail-ocaml is marked for autoremoval from testing Sep 06
• mathcomp-real-closed is marked for autoremoval from testing Sep 06
• ocaml-mirage-crypto is marked for autoremoval from testing Sep 06
• ocaml-x509 is marked for autoremoval from testing Sep 06
• ocaml-astring is marked for autoremoval from testing Sep 06
• ocaml-psq is marked for autoremoval from testing Sep 06
• ocaml-digestif is marked for autoremoval from testing Sep 06
• coq-quickchick is marked for autoremoval from testing Sep 01
• ocaml-bos is marked for autoremoval from testing Sep 06
• coq is marked for autoremoval from testing Sep 06
• paramcoq is marked for autoremoval from testing Sep 06
• jsonm is marked for autoremoval from testing Sep 06
• reactivedata is marked for autoremoval from testing Sep 06
• utop is marked for autoremoval from testing Sep 06
• lambda-term is marked for autoremoval from testing Sep 06
• ocaml-mdx is marked for autoremoval from testing Sep 06
• ocaml-sedlex is marked for autoremoval from testing Sep 06
• ocaml-pbkdf is marked for autoremoval from testing Sep 06
• why3 is marked for autoremoval from testing Sep 06
• nproc is marked for autoremoval from testing Sep 06
• ocaml-alcotest is marked for autoremoval from testing Sep 06
• ocaml-lwt-dllist is marked for autoremoval from testing Sep 06
• ocaml-topkg is marked for autoremoval from testing Sep 06
• react is marked for autoremoval from testing Sep 06
• nss-passwords is marked for autoremoval from testing Sep 06
• ocaml-eqaf is marked for autoremoval from testing Sep 06
• ocaml-ptime is marked for autoremoval from testing Sep 06
• morbig is marked for autoremoval from testing Sep 06
• ocaml-merlin is marked for autoremoval from testing Sep 06
• lablgtk3 is marked for autoremoval from testing Sep 06
• coq-stdpp is marked for autoremoval from testing Sep 06
• ocaml-qtest is marked for autoremoval from testing Sep 06
• zed is marked for autoremoval from testing Sep 06
• ben is marked for autoremoval from testing Sep 06
• coq-gappa is marked for autoremoval from testing Sep 06
• ocaml-hex is marked for autoremoval from testing Sep 06
• ocurl is marked for autoremoval from testing Sep 06
• ocaml-linenoise is marked for autoremoval from testing Sep 06
• ocaml-mirage-ptime is marked for autoremoval from testing Sep 06
• coq-ext-lib is marked for autoremoval from testing Sep 06
• ocaml-multicoretests is marked for autoremoval from testing Sep 06
• mathcomp-finmap is marked for autoremoval from testing Sep 06
• coq-interval is marked for autoremoval from testing Sep 06
• ocaml-charinfo-width is marked for autoremoval from testing Sep 06
• camlp5-buildscripts is marked for autoremoval from testing Sep 06
• js-of-ocaml-ocamlbuild is marked for autoremoval from testing Sep 06
• ocaml-randomconv is marked for autoremoval from testing Sep 06
• ppx-yojson-conv-lib is marked for autoremoval from testing Sep 06
• ocamlviz is marked for autoremoval from testing Sep 06
• obus is marked for autoremoval from testing Sep 06
• ocaml-backoff is marked for autoremoval from testing Sep 06
• ocaml-saturn is marked for autoremoval from testing Sep 06
• ocaml-csv is marked for autoremoval from testing Sep 06
• ocaml-thread-table is marked for autoremoval from testing Sep 06
• meta-ocaml is marked for autoremoval from testing Sep 06
• laby is marked for autoremoval from testing Sep 06
• coq-hierarchy-builder is marked for autoremoval from testing Sep 06
• ocaml-asn1-combinators is marked for autoremoval from testing Sep 06
• ocaml-logs is marked for autoremoval from testing Sep 06
• flocq is marked for autoremoval from testing Sep 06
• ocaml-multicore-bench is marked for autoremoval from testing Sep 06
• ocaml-base64 is marked for autoremoval from testing Sep 06
• coq-unicoq is marked for autoremoval from testing Sep 06
• ocamldap is marked for autoremoval from testing Sep 06
• ocaml-batteries is marked for autoremoval from testing Sep 06
• ssreflect is marked for autoremoval from testing Sep 06
• uuidm is marked for autoremoval from testing Sep 06
• ocaml-uunf is marked for autoremoval from testing Sep 06
• ocaml-gmap is marked for autoremoval from testing Sep 06
• ocaml-spdx-licenses is marked for autoremoval from testing Sep 06
• mathcomp-algebra-tactics is marked for autoremoval from testing Sep 06
• morsmall is marked for autoremoval from testing Sep 06
• coq-corn is marked for autoremoval from testing Sep 06
• ocaml-kdf is marked for autoremoval from testing Sep 06
• coq-relation-algebra is marked for autoremoval from testing Sep 06
• ocsigenserver is marked for autoremoval from testing Sep 06
• ledit is marked for autoremoval from testing Sep 06
• elpi is marked for autoremoval from testing Sep 06
• coq-simple-io is marked for autoremoval from testing Sep 06
• aac-tactics is marked for autoremoval from testing Sep 06
• ocplib-simplex is marked for autoremoval from testing Sep 06
• lwt is marked for autoremoval from testing Sep 06
• ocaml-fpath is marked for autoremoval from testing Sep 06
• ocaml-uucd is marked for autoremoval from testing Sep 06
• ocaml-atd is marked for autoremoval from testing Sep 06
• camlbz2 is marked for autoremoval from testing Sep 06
• eliom is marked for autoremoval from testing Sep 06
• ocaml-containers is marked for autoremoval from testing Sep 06
• unison-2.53 is marked for autoremoval from testing Sep 06
• ocaml-cry is marked for autoremoval from testing Sep 06
• ocaml-websocket is marked for autoremoval from testing Sep 06
• ocaml-gen is marked for autoremoval from testing Sep 06
• ocaml-mirage-kv-mem is marked for autoremoval from testing Sep 06
• ocaml-stringext is marked for autoremoval from testing Sep 06
• coq-iris is marked for autoremoval from testing Sep 06
• ocaml-version is marked for autoremoval from testing Sep 06
• ocaml-qcheck is marked for autoremoval from testing Sep 06
• ocaml-uucp is marked for autoremoval from testing Sep 06
• ocaml-fpath is marked for autoremoval from testing Sep 12
• coq-extructures is marked for autoremoval from testing Sep 06
• ocaml-duration is marked for autoremoval from testing Sep 06
• ocaml-cstruct is marked for autoremoval from testing Sep 06
• ocaml-domain-local-await is marked for autoremoval from testing Sep 06
• coq-menhirlib is marked for autoremoval from testing Sep 06
• ocaml-hmap is marked for autoremoval from testing Sep 06
• mathcomp-zify is marked for autoremoval from testing Sep 06
• ott is marked for autoremoval from testing Sep 06
• ocaml-domain-name is marked for autoremoval from testing Sep 06

Julien Puydt

• On updating Coq/Rocq in Debian Sep 12

Santiago Vila

• Bug#1114238: ocaml-fpath: FTBFS: dh_missing: error: missing files, aborting Sep 05
• Bug#1114345: react: FTBFS: dh_missing: error: missing files, aborting Sep 05
• Bug#1114239: ocaml-hmap: FTBFS: dh_missing: error: missing files, aborting Sep 05
• Bug#1114242: ocaml-uuseg: FTBFS: dh_missing: error: missing files, aborting Sep 05
• Bug#1114237: ocaml-astring: FTBFS: dh_missing: error: missing files, aborting Sep 05
• Bug#1114428: uutf: FTBFS: dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2 Sep 05
• Bug#1114241: ocaml-ptime: FTBFS: dh_missing: error: missing files, aborting Sep 05
• Bug#1114240: ocaml-mtime: FTBFS: dh_missing: error: missing files, aborting Sep 05

Victor Gambier

• Bug#1110513: coccinelle: linked against wrong libraries Sep 09

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]