debian-ocaml-maint  

Messages by Thread

• failed amd64 build of ocaml-vorbis 0.8.0-5 Debian buildds
• ocaml-xiph_1.0.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-xiph_1.0.0-1_amd64.changes is NEW Debian FTP Masters
• Processing of ocaml-xiph_1.0.0-1_amd64.changes Debian FTP Masters
• Bug#1037318: marked as done (ben: Quiet mode does not suppress read_global_config output) Debian Bug Tracking System
• Processing of ocaml-ffmpeg_1.2.2-1_source.changes Debian FTP Masters
• ocaml-ffmpeg_1.2.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-mirage-crypto_2.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-mirage-crypto_2.0.0-1_source.changes Debian FTP Masters
• Processing of ocaml-multicoretests_0.7-1_source.changes Debian FTP Masters
• Processing of ocaml-iter_1.9-1_source.changes Debian FTP Masters
• ocaml-multicoretests_0.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-iter_1.9-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Bug#1098092: why3: ftbfs with GCC-15 Matthias Klose
  • Bug#1098092: marked as done (why3: ftbfs with GCC-15) Debian Bug Tracking System
• Bug#1098050: utop: ftbfs with GCC-15 Matthias Klose
• Bug#1097498: ocamlformat: ftbfs with GCC-15 Matthias Klose
  • Bug#1097498: ocamlformat: ftbfs with GCC-15 Stéphane Glondu
• Bug#1097303: liquidsoap: ftbfs with GCC-15 Matthias Klose
• Accepted coq 8.20.1+dfsg-1 (source) into unstable Debian FTP Masters
• Bug#1096244: belenios: FTBFS: Error: Library "atdgen" not found. Lucas Nussbaum
  • Processed: Bug#1096244 marked as pending in belenios Debian Bug Tracking System
  • Bug#1096244: marked as done (belenios: FTBFS: Error: Library "atdgen" not found.) Debian Bug Tracking System
• Processed: Re: Bug#1096144: Acknowledgement (ben tracker -g something -q isn't really quiet) Debian Bug Tracking System
• Bug#1096144: ben tracker -g something -q isn't really quiet Paul Gevers
  • Bug#1096144: ben tracker -g something -q isn't really quiet Stéphane Glondu
  • Bug#1096144: ben tracker -g something -q isn't really quiet Paul Gevers
  • Bug#1096144: marked as done (ben tracker -g something -q isn't really quiet) Debian Bug Tracking System
• [Git][ocaml-team/coq] Pushed new tag upstream/8.20.1+dfsg Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq][upstream] New upstream version 8.20.1+dfsg Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq] Pushed new tag debian/8.20.1+dfsg-1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.20.1+dfsg.orig.tar.xz Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq][master] 4 commits: New upstream version 8.20.1+dfsg Julien Puydt (@jpuydt)
• Trouble with ocaml-dune and magic variables Julien Puydt
  • Re: Trouble with ocaml-dune and magic variables Stéphane Glondu
  • Re: Trouble with ocaml-dune and magic variables Julien Puydt
  • Re: Trouble with ocaml-dune and magic variables Julien Puydt
  • Upstreams with "official" tarballs differing from their git Stéphane Glondu
  • Re: Upstreams with "official" tarballs differing from their git Daniel Gröber
  • Re: Upstreams with "official" tarballs differing from their git Julien Puydt
  • Re: Upstreams with "official" tarballs differing from their git Marco d'Itri
  • Re: Upstreams with "official" tarballs differing from their git Sean Whitton
  • Re: Upstreams with "official" tarballs differing from their git Julien Puydt
  • Re: Upstreams with "official" tarballs differing from their git Sean Whitton
  • Re: Upstreams with "official" tarballs differing from their git Sean Whitton
• Processing of ocaml-atd_2.16.0-2_source.changes Debian FTP Masters
• ocaml-atd_2.16.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/2.16.0-2 @glondu
• [Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.16.0-2 @glondu
• [Git][ocaml-team/ocaml-atd][master] 3 commits: Refresh patches @glondu
• Processing of elpi_2.0.5-2_source.changes Debian FTP Masters
• elpi_2.0.5-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ppxlib_0.35.0-1_source.changes Debian FTP Masters
• Processing of ocaml-atd_2.16.0-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.16.0 @glondu
• [Git][ocaml-team/ocaml-atd][master] 5 commits: New upstream version 2.16.0 @glondu
• [Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.16.0-1 @glondu
• [Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/2.16.0-1 @glondu
• [Git][ocaml-team/ocaml-atd][upstream] New upstream version 2.16.0 @glondu
• [Git][ocaml-team/ocaml-atd][pristine-tar] pristine-tar data for ocaml-atd_2.16.0.orig.tar.bz2 @glondu
• Processing of ocaml-sqlite3_5.3.0-1_source.changes Debian FTP Masters
• Processing of ocaml-spdx-licenses_1.3.0-1_source.changes Debian FTP Masters
• ocaml-atd_2.16.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-sqlite3_5.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-spdx-licenses_1.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-sqlite3] Pushed new tag upstream/5.3.0 @glondu
• [Git][ocaml-team/ocaml-sqlite3] Pushed new tag debian/5.3.0-1 @glondu
• [Git][ocaml-team/ocaml-sqlite3] Pushed new tag archive/debian/5.3.0-1 @glondu
• [Git][ocaml-team/ocaml-sqlite3][pristine-tar] pristine-tar data for ocaml-sqlite3_5.3.0.orig.tar.bz2 @glondu
• Processing of ocaml-mem-usage_0.1.2-1_source.changes Debian FTP Masters
• ppxlib_0.35.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-benchmark_1.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-mem-usage_0.1.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-benchmark_1.7-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-benchmark] Pushed new tag upstream/1.7 @glondu
• [Git][ocaml-team/ocaml-benchmark] Pushed new tag debian/1.7-1 @glondu
• [Git][ocaml-team/ocaml-benchmark] Pushed new tag archive/debian/1.7-1 @glondu
• [Git][ocaml-team/ocaml-benchmark][pristine-tar] pristine-tar data for ocaml-benchmark_1.7.orig.tar.bz2 @glondu
• Processing of labltk_8.06.15-1_source.changes Debian FTP Masters
• Processing of findlib_1.9.8-1_source.changes Debian FTP Masters
• Processing of ocaml-dune_3.17.2-1_source.changes Debian FTP Masters
• [Git][ocaml-team/labltk] Pushed new tag debian/8.06.15-1 @glondu
• [Git][ocaml-team/labltk] Pushed new tag upstream/8.06.15 @glondu
• ocaml-dune_3.17.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/labltk] Pushed new tag archive/debian/8.06.15-1 @glondu
• [Git][ocaml-team/labltk][pristine-tar] pristine-tar data for labltk_8.06.15.orig.tar.gz @glondu
• labltk_8.06.15-1_source.changes ACCEPTED into unstable Debian FTP Masters
• findlib_1.9.8-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/findlib][upstream] 2 commits: New upstream version 1.9.7 @glondu
• [Git][ocaml-team/ocaml-dune][upstream] New upstream version 3.17.2 @glondu
• [Git][ocaml-team/findlib][pristine-tar] 2 commits: pristine-tar data for findlib_1.9.7.orig.tar.gz @glondu
• [Git][ocaml-team/findlib][master] 6 commits: New upstream version 1.9.7 @glondu
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.17.2 @glondu
• [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.17.2-1 @glondu
• [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.17.2-1 @glondu
• [Git][ocaml-team/ocaml-dune][master] 4 commits: New upstream version 3.17.2 @glondu
• [Git][ocaml-team/ocaml-dune][pristine-tar] pristine-tar data for ocaml-dune_3.17.2.orig.tar.bz2 @glondu
• Processing of ben_1.9_source.changes Debian FTP Masters
• ben_1.9_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-websocket_2.17-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-zarith-stubs-js_0.17.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-ptmap_2.0.5-5_source.changes Debian FTP Masters
• ocaml-ptmap_2.0.5-5_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-zarith-stubs-js_0.17.0-1_amd64.changes Debian FTP Masters
• ocaml-zarith-stubs-js_0.17.0-1_amd64.changes is NEW Debian FTP Masters
• Bug#1095459: ITP: ocaml-zarith-stubs-js -- Javascript stubs for the Zarith library Stéphane Glondu
• Processing of ocaml-luv_0.5.14-2_source.changes Debian FTP Masters
• ocaml-luv_0.5.14-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Bug#1092570: marked as done (ocaml-luv: autopkgtests regression) Debian Bug Tracking System
• ocaml-websocket_2.17-1_amd64.changes REJECTED Thorsten Alteholz
  • Re: ocaml-websocket_2.17-1_amd64.changes REJECTED Stéphane Glondu
• Processing of ocaml-websocket_2.17-1_amd64.changes Debian FTP Masters
  • Processing of ocaml-websocket_2.17-1_amd64.changes Debian FTP Masters
• ocaml-websocket_2.17-1_amd64.changes is NEW Debian FTP Masters
  • ocaml-websocket_2.17-1_amd64.changes is NEW Debian FTP Masters
• Bug#1094983: ITP: ocaml-websocket -- WebSocket library Stéphane Glondu
• Processing of ppx-yojson-conv_0.17.0-3_source.changes Debian FTP Masters
• Processing of why3_1.8.0-2_source.changes Debian FTP Masters
• why3_1.8.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/why3] Pushed new tag debian/1.8.0-2 @glondu
• ppx-yojson-conv_0.17.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/why3] Pushed new tag archive/debian/1.8.0-2 @glondu
• [Git][ocaml-team/why3][upstream] New upstream version 1.8.0 @glondu
• [Git][ocaml-team/why3][master] 6 commits: New upstream version 1.7.2 @glondu
• Processing of tophide_1.1.0-1_source.changes Debian FTP Masters
• tophide_1.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/tophide] Pushed new tag debian/1.1.0-1 @glondu
• [Git][ocaml-team/tophide] Pushed new tag upstream/1.1.0 @glondu
• [Git][ocaml-team/tophide] Pushed new tag archive/debian/1.1.0-1 @glondu
• [Git][ocaml-team/tophide][upstream] New upstream version 1.1.0 @glondu
• [Git][ocaml-team/tophide][master] 4 commits: New upstream version 1.1.0 @glondu
• [Git][ocaml-team/tophide][pristine-tar] pristine-tar data for tophide_1.1.0.orig.tar.gz @glondu
• Processed: (No Subject) Debian Bug Tracking System
• Bug#1094695: Removed package(s) from unstable Debian FTP Masters
  • Bug#1092688: marked as done (ocaml-taglib: FTBFS with taglib 2.0) Debian Bug Tracking System
  • Bug#1094695: Removed package(s) from unstable Debian FTP Masters
• Bug#1092570: ocaml-luv: autopkgtests regression andy
  • Bug#1092570: ocaml-luv: autopkgtests regression Bo YU
  • Bug#1092570: ocaml-luv: autopkgtests regression andy
• Processing of liquidsoap_2.3.0-2_source.changes Debian FTP Masters
• [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.3.0-2 Kyle Robbertze (@paddatrapper)
• liquidsoap_2.3.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Re: Bug#1093272: transition: ocaml Stéphane Glondu
  • Re: Bug#1093272: transition: ocaml Kyle Robbertze
  • Re: Bug#1093272: transition: ocaml Stéphane Glondu
  • Re: Bug#1093272: transition: ocaml Hilko Bengen
  • Re: Bug#1093272: transition: ocaml Emilio Pozuelo Monfort
  • Re: Bug#1093272: transition: ocaml Stéphane Glondu
  • Re: Bug#1093272: transition: ocaml Emilio Pozuelo Monfort
  • Re: Bug#1093272: transition: ocaml Stéphane Glondu
  • Re: Bug#1093272: transition: ocaml Emilio Pozuelo Monfort
• Bug#1094720: FTBFS with OCaml 5.3.0 (due to new "effect" keyword) Stéphane Glondu
  • Processed: Bug#1094720 marked as pending in liquidsoap Debian Bug Tracking System
  • Bug#1094720: marked as done (FTBFS with OCaml 5.3.0 (due to new "effect" keyword)) Debian Bug Tracking System
• Bug#1094695: RM: ocaml-taglib -- ROM; FTBFS; deprecated upstream; no rdeps Stéphane Glondu
• ocaml-multicore-magic_2.3.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-multicore-magic_2.3.1-2_source.changes Debian FTP Masters
• Processing of ocaml-multicore-magic_2.3.1-1_source.changes Debian FTP Masters
• ocaml-multicore-magic_2.3.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-merlin_5.4.1-503+ds-1_source.changes Debian FTP Masters
• ocaml-merlin_5.4.1-503+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
• nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
  • nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
  • nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
  • nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
  • nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
  • nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
• eliom_11.1.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of eliom_11.1.1-2_source.changes Debian FTP Masters
• [Git][ocaml-team/eliom] Pushed new tag debian/11.1.1-2 @glondu
• [Git][ocaml-team/eliom] Pushed new tag archive/debian/11.1.1-2 @glondu
• Processed: closing 1093112 Debian Bug Tracking System
• frama-c is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-multicore-bench is marked for autoremoval from testing Debian testing autoremoval watch
• liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
• why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch

• Earlier messages
• Later messages