debian-ocaml-maint  

Messages by Thread

• • Re: Please enable CI for herdtools7 Sebastian Andrzej Siewior
• Processing of ocaml-alcotest_1.9.1-2_source.changes Debian FTP Masters
• ocaml-alcotest_1.9.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [PATCH] Update the OCaml presentation in the package descriptions Samuel Hym
  • Re: [PATCH] Update the OCaml presentation in the package descriptions Stéphane Glondu
• Processing of ocaml-merlin_5.6-504+ds-2_source.changes Debian FTP Masters
• ocaml-merlin_5.6-504+ds-2_source.changes ACCEPTED into unstable Debian FTP Masters
• herdtools7_7.58-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-posix_4.0.1+git12-gcfd9bfb-2_source.changes Debian FTP Masters
• ocaml-posix_4.0.1+git12-gcfd9bfb-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-posix_4.0.1+git12-gcfd9bfb-1_source.changes Debian FTP Masters
• ocaml-posix_4.0.1+git12-gcfd9bfb-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-posix_4.0.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-posix_4.0.1-3_source.changes Debian FTP Masters
• [Git][ocaml-team/coq][master] Close bug @glondu
• Processed: limit source to coq, tagging 1128515 Debian Bug Tracking System
• Processing of ocaml-posix_4.0.1-2_source.changes Debian FTP Masters
• ocaml-posix_4.0.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-gavl is marked for autoremoval from testing Debian testing autoremoval watch
• Bug#1128515: Updating the coq Uploaders list Tobias Frost
  • Bug#1128515: Updating the coq Uploaders list bbaren
  • Bug#1128515: Updating the mosh Uploaders list Benjamin Barenblat
• ocaml-posix_4.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-posix_4.0.1-1_source.changes Debian FTP Masters
• [Git][ocaml-team/coq][master] Remove Benjamin Barenblat from Debian uploaders Benjamin Barenblat (@bbaren)
• ocaml-process_0.2.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processed: Re: Bug#1000390: aspcud fails to resolve upgrade problem, apt succeeds Debian Bug Tracking System
• Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz
  • Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz
  • Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz
  • Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz
  • Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only Julien Puydt
  • Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only John Paul Adrian Glaubitz
  • Processed: Bug#1128189 marked as pending in coq Debian Bug Tracking System
  • Bug#1128189: marked as pending in coq Julien Puydt
• Bug#1128188: libcoq-stdlib lacks dependencies Adrian Bunk
  • Processed: libcoq-stdlib lacks dependencies Debian Bug Tracking System
• Debian NEW review of metacoq 1.4-9.1-1: REJECTED dfsg-team
• camlp5_8.04.00-4_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of camlp5_8.04.00-4_source.changes Debian FTP Masters
• [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.04.00-4 @glondu
• [Git][ocaml-team/camlp5] Pushed new tag debian/8.04.00-4 @glondu
• [Git][ocaml-team/camlp5][master] 2 commits: Do no longer depend on ocaml-compiler-libs (Closes: #1127765) @glondu
• Processed: reassign 1127729 to src:ocaml-gavl, tagging 1127729, severity of 1127729 is serious Debian Bug Tracking System
• Bug#1127765: camlp5 depends on the removed transitional package ocaml-compiler-libs Adrian Bunk
  • Bug#1127765: marked as done (camlp5 depends on the removed transitional package ocaml-compiler-libs) Debian Bug Tracking System
• Bug#982067: marked as done (/usr/local/lib/ocaml owned by group staff even if /etc/staff-group-for-usr-local not present) Debian Bug Tracking System
• ocaml_5.4.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml_5.4.0-3_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-3 @glondu
• Bug#982067: /usr/local/lib/ocaml owned by group staff even if /etc/staff-group-for-usr-local not present Simon McVittie
  • Processed: Re: Bug#982067: /usr/local/lib/ocaml owned by group staff even if /etc/staff-group-for-usr-local not present Debian Bug Tracking System
• herdtools7_7.58-1_amd64.changes is NEW Debian FTP Masters
• herdtools7_7.58-1_amd64.changes REJECTED Debian FTP Masters
• Processing of herdtools7_7.58-1_amd64.changes Debian FTP Masters
  • Processing of herdtools7_7.58-1_amd64.changes Debian FTP Masters
• Getting herdtool7 ready Sebastian Andrzej Siewior
  • Re: Getting herdtool7 ready Stéphane Glondu
• opam_2.5.0-1_loong64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of opam_2.5.0-1_loong64.changes Debian FTP Masters
• Processing of opam-0install-cudf_0.5.0-1_loong64.changes Debian FTP Masters
• opam-0install-cudf_0.5.0-1_loong64.changes ACCEPTED into unstable Debian FTP Masters
• react_1.2.2-2_loong64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of react_1.2.2-2_loong64.changes Debian FTP Masters
• Processing of ocaml-fmt_0.11.0-1_loong64.changes Debian FTP Masters
• ocaml-fmt_0.11.0-1_loong64.changes ACCEPTED into unstable Debian FTP Masters
• dose3_7.0.0-7_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of dose3_7.0.0-7_source.changes Debian FTP Masters
• [Git][ocaml-team/dose3] Pushed new tag debian/7.0.0-7 @glondu
• [Git][ocaml-team/dose3] Pushed new tag archive/debian/7.0.0-7 @glondu
• [Git][ocaml-team/dose3][master] 2 commits: Move pandoc to Build-Depends-Indep @glondu
• Processing of camlbz2_0.8.0-3_source.changes Debian FTP Masters
• [Git][ocaml-team/camlbz2] Pushed new tag debian/0.8.0-3 @glondu
• camlbz2_0.8.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/camlbz2] Pushed new tag archive/debian/0.8.0-3 @glondu
• [Git][ocaml-team/camlbz2][master] 2 commits: Do no longer build doc, to cut dependency cycle @glondu
• Bug#1126673: Should frama-c be removed from unstable? Helmut Grohne
  • Processed: Re: Bug#1126673: Should frama-c be removed from unstable? Debian Bug Tracking System
  • Bug#1126673: Should frama-c be removed from unstable? André Maroneze
• Processing of camlp5_8.04.00-3_source.changes Debian FTP Masters
• camlp5_8.04.00-3_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/camlp5] Pushed new tag debian/8.04.00-3 @glondu
• [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.04.00-3 @glondu
• Bug#1126599: camlp5: FTBFS with the nocheck build profile Santiago Vila
  • Bug#1126599: marked as done (camlp5: FTBFS with the nocheck build profile) Debian Bug Tracking System
• Processing of ocaml-gettext_0.5.0++git5-g6591d7a-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-gettext] Pushed new tag upstream/0.5.0++git5-g6591d7a @glondu
• [Git][ocaml-team/ocaml-gettext] Pushed new tag archive/debian/0.5.0++git5-g6591d7a-1 @glondu
• [Git][ocaml-team/ocaml-gettext] Pushed new tag debian/0.5.0++git5-g6591d7a-1 @glondu
• [Git][ocaml-team/ocaml-gettext][pristine-tar] pristine-tar data for ocaml-gettext_0.5.0++git5-g6591d7a.orig.tar.gz @glondu
• [Git][ocaml-team/ocaml-gettext][upstream] New upstream version 0.5.0++git5-g6591d7a @glondu
• [Git][ocaml-team/ocaml-gettext][master] 5 commits: New upstream version 0.5.0++git5-g6591d7a @glondu
• ocaml-gettext_0.5.0++git5-g6591d7a-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of yojson_3.0.0-2_loong64.changes Debian FTP Masters
• yojson_3.0.0-2_loong64.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-base64_3.5.2-1_loong64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-base64_3.5.2-1_loong64.changes Debian FTP Masters
• Bug#1079430: FAMILIENZUSCHUSS sshahsav
• Processed: block 1125099 with 1125100 Debian Bug Tracking System
• Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
  • Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
  • Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
  • Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
  • Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
  • Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
  • Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
  • Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
  • Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
  • Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
  • Processed: Please Build-Depend on ocaml instead of transitional ocaml-nox Debian Bug Tracking System
• Processed: block 1125099 with 1125093 1125094 1125095 1125098 Debian Bug Tracking System
• Bug#1125099: Remove transitional packages Stéphane Glondu
  • Bug#1125099: marked as done (Remove transitional packages) Debian Bug Tracking System
• Processing of lwt_5.9.2-3_source.changes Debian FTP Masters
• Processing of janest-ocaml-compiler-libs_0.17.0-2_source.changes Debian FTP Masters
• Processing of camlp5_8.04.00-2_source.changes Debian FTP Masters
• [Git][ocaml-team/lwt] Pushed new tag debian/5.9.2-3 @glondu
• [Git][ocaml-team/lwt] Pushed new tag archive/debian/5.9.2-3 @glondu
• [Git][ocaml-team/lwt][master] 2 commits: Update packaging @glondu
• lwt_5.9.2-3_source.changes ACCEPTED into unstable Debian FTP Masters
• janest-ocaml-compiler-libs_0.17.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• camlp5_8.04.00-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/camlp5] Pushed new tag debian/8.04.00-2 @glondu
• [Git][ocaml-team/camlp5][master] 2 commits: Update packaging @glondu
• [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.04.00-2 @glondu
• Processed (with 2 errors): fixing BTS Debian Bug Tracking System
• Processed: bug 1107773 is forwarded to https://github.com/ocaml/ocaml/pull/14116, tagging 1107773 Debian Bug Tracking System
• ocaml_5.4.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml_5.4.0-2_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-2 @glondu
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-2 @glondu
• [Git][ocaml-team/ocaml][debian/sid] 2 commits: Increase the amount of data written to a pipe in a test @glondu
• ocaml-ao_0.2.4-4_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-ao_0.2.4-4_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-ao] Pushed new tag debian/0.2.4-4 @glondu
• [Git][ocaml-team/ocaml-ao] Pushed new tag archive/debian/0.2.4-4 @glondu
• [Git][ocaml-team/ocaml-ao][master] 2 commits: Update packaging @glondu
• Processed: Re: Bug#1107093: Embeds BLAKE3 C implementation, should use libblake3-dev when it becomes available Debian Bug Tracking System
• Processing of ben_1.15_source.changes Debian FTP Masters
• ben_1.15_source.changes ACCEPTED into unstable Debian FTP Masters
• why3_1.8.2-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of advi_2.0.0-5_source.changes Debian FTP Masters
• [Git][ocaml-team/advi] Pushed new tag debian/2.0.0-5 Gianfranco Costamagna (@locutusofborg)
• [Git][ocaml-team/advi][master] Upload to sid Gianfranco Costamagna (@locutusofborg)
• Processing of why3_1.8.2-3_source.changes Debian FTP Masters
• advi_2.0.0-5_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/why3] Pushed new tag debian/1.8.2-3 Gianfranco Costamagna (@locutusofborg)
• [Git][ocaml-team/why3][master] B-D on graphviz-tools now Gianfranco Costamagna (@locutusofborg)
• ppx-deriving-yojson_3.10.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• morbig_0.11.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of morbig_0.11.0-4_source.changes Debian FTP Masters
• [Git][ocaml-team/morbig] Pushed new tag debian/0.11.0-4 @glondu
• [Git][ocaml-team/morbig] Pushed new tag archive/debian/0.11.0-4 @glondu
• Processing of ppx-deriving-yojson_3.10.0-2_source.changes Debian FTP Masters
• [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.10.0-2 @glondu
• [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag archive/debian/3.10.0-2 @glondu
• [Git][ocaml-team/ppx-deriving-yojson][master] 4 commits: Refresh patches @glondu
• Processing of ocaml-atd_3.0.1-1_source.changes Debian FTP Masters
• yojson_3.0.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of yojson_3.0.0-2_source.changes Debian FTP Masters
• ocaml-atd_3.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-atd] Pushed new tag debian/3.0.1-1 @glondu
• [Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/3.0.1-1 @glondu
• [Git][ocaml-team/ocaml-atd][master] Prepare upload to unstable @glondu
• [Git][ocaml-team/ocaml-atd][master] Bump yojson version in Build-Depends @glondu
• [Git][ocaml-team/ocaml-atd] Pushed new tag upstream/3.0.1 @glondu
• [Git][ocaml-team/ocaml-atd][upstream] 2 commits: New upstream version 3.0.0 @glondu
• [Git][ocaml-team/ocaml-atd] Pushed new tag upstream/3.0.0 @glondu
• [Git][ocaml-team/ocaml-atd][master] 4 commits: New upstream version 3.0.0 @glondu
• [Git][ocaml-team/ocaml-atd][pristine-tar] 2 commits: pristine-tar data for ocaml-atd_3.0.0.orig.tar.bz2 @glondu
• ocaml-qcheck_0.91-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-qcheck_0.91-1_source.changes Debian FTP Masters
• Processing of cryptokit_1.21.1-1_source.changes Debian FTP Masters
• [Git][ocaml-team/cryptokit] Pushed new tag upstream/1.21.1 @glondu
• [Git][ocaml-team/cryptokit] Pushed new tag upstream/1.21 @glondu
• [Git][ocaml-team/cryptokit] Pushed new tag debian/1.21.1-1 @glondu
• [Git][ocaml-team/cryptokit] Pushed new tag archive/debian/1.21.1-1 @glondu
• [Git][ocaml-team/cryptokit][pristine-tar] 2 commits: pristine-tar data for cryptokit_1.21.orig.tar.gz @glondu
• cryptokit_1.21.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of why3_1.8.2-2_source.changes Debian FTP Masters
• [Git][ocaml-team/why3] Pushed new tag debian/1.8.2-2 Gianfranco Costamagna (@locutusofborg)
• why3_1.8.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processed: tagging 1121831 Debian Bug Tracking System
• Bug#1124402: ITP: herdtools7 -- A tool suite to test weak memory models Sebastian Andrzej Siewior
• [Git][ocaml-team/lwt][master] typo in changelog Ralf Treinen (@treinen)
• [Git][ocaml-team/lwt][master] drop Recommands liblwt-ocaml-doc Ralf Treinen (@treinen)
• Processed: drop tags Debian Bug Tracking System
• Bug#1049724: ocaml-uucp: Fails to build binary packages again after successful build Santiago Vila
  • Processed: Re: ocaml-uucp: Fails to build binary packages again after successful build Debian Bug Tracking System
• Bug#1049555: ocaml-uunf: Fails to build binary packages again after successful build Santiago Vila
  • Processed: Re: ocaml-uunf: Fails to build binary packages again after successful build Debian Bug Tracking System
• Processing of elpi_2.0.7-3_source.changes Debian FTP Masters
• elpi_2.0.7-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of opam-file-format_2.2.0-2_source.changes Debian FTP Masters
• opam-file-format_2.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/opam-file-format] Pushed new tag debian/2.2.0-2 @glondu
• [Git][ocaml-team/opam-file-format] Pushed new tag archive/debian/2.2.0-2 @glondu
• [Git][ocaml-team/opam-file-format][master] 2 commits: Disable tests to cut build-dependency cycle @glondu
• Processing of eliom_11.1.1-5_source.changes Debian FTP Masters
• ocaml-merlin_5.6-504+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters

• Earlier messages
• Later messages