debian-ocaml-maint  

Messages by Date

• 2025/02/27 Bug#1098656: Removed package(s) from unstable Debian FTP Masters
• 2025/02/27 Bug#1098655: Removed package(s) from unstable Debian FTP Masters
• 2025/02/27 Bug#1098581: marked as done (ocaml-opus: FTBFS: Error: The value "restart" has type "Ogg.Stream.stream -> unit") Debian Bug Tracking System
• 2025/02/27 Bug#1098583: marked as done (ocaml-theora: FTBFS: Error: The value "restart" has type "Ogg.Stream.stream -> unit") Debian Bug Tracking System
• 2025/02/27 [bts-link] source package src:why3 debian-bts-link
• 2025/02/26 ocaml-vorbis REMOVED from testing Debian testing watch
• 2025/02/26 Bug#1098924: crowbar: Please consider renaming source package to libcrowbar-ocaml Stéphane Glondu
• 2025/02/26 Processed: Re: Bug#1098924: crowbar: Please consider renaming source package to libcrowbar-ocaml Debian Bug Tracking System
• 2025/02/26 Processing of ocaml-crowbar_0.2.1-7_amd64.changes Debian FTP Masters
• 2025/02/26 ocaml-crowbar_0.2.1-7_amd64.changes is NEW Debian FTP Masters
• 2025/02/26 ocaml-visitors_20250212-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/26 ocaml-mirage-ptime_5.0.0-1_amd64.changes is NEW Debian FTP Masters
• 2025/02/26 Processing of ocaml-mirage-ptime_5.0.0-1_amd64.changes Debian FTP Masters
• 2025/02/26 Bug#1098924: crowbar: Please consider renaming source package to libcrowbar-ocaml Stéphane Glondu
• 2025/02/26 Processing of ocaml-visitors_20250212-1_source.changes Debian FTP Masters
• 2025/02/26 [Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20250212 @glondu
• 2025/02/26 [Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20250212-1 @glondu
• 2025/02/26 [Git][ocaml-team/ocaml-visitors] Pushed new tag archive/debian/20250212-1 @glondu
• 2025/02/26 [Git][ocaml-team/ocaml-visitors][pristine-tar] pristine-tar data for ocaml-visitors_20250212.orig.tar.xz @glondu
• 2025/02/25 Bug#1098934: ITP: ocaml-mirage-ptime -- libraries and module types for portable clocks Stéphane Glondu
• 2025/02/25 Processing of pcre2-ocaml_8.0.3-1_source.changes Debian FTP Masters
• 2025/02/25 pcre2-ocaml_8.0.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/25 coq 8.20.1+dfsg-1 MIGRATED to testing Debian testing watch
• 2025/02/25 Re: Migration of findlib blocked because of autopkgtest regression? Stéphane Glondu
• 2025/02/25 Re: Migration of findlib blocked because of autopkgtest regression? Emilio Pozuelo Monfort
• 2025/02/24 Re: Migration of findlib blocked because of autopkgtest regression? Stéphane Glondu
• 2025/02/22 Bug#1098659: RM: ocaml-theora -- RoQA; superseded by ocaml-xiph Jeremy Bícha
• 2025/02/22 Bug#1098657: RM: ocaml-opus --RoQA; supserseded by ocaml-xiph Jeremy Bícha
• 2025/02/22 Bug#1098656: RM: ocaml-ogg -- RoQA; superseded by ocaml-xiph Jeremy Bícha
• 2025/02/22 Bug#1098658: RM: ocaml-speex -- RoQA; superseded by ocaml-xiph Jeremy Bícha
• 2025/02/22 Bug#1098660: RM: ocaml-vorbis -- RoQA; superseded by ocaml-xiph Jeremy Bícha
• 2025/02/22 Bug#1098655: RM: ocaml-flac -- RoQA; superseded by ocaml-xiph Jeremy Bícha
• 2025/02/21 Re: Migration of findlib blocked because of autopkgtest regression? Paul Gevers
• 2025/02/21 Migration of findlib blocked because of autopkgtest regression? Stéphane Glondu
• 2025/02/20 Processed: bug 1098092 is forwarded to https://gitlab.inria.fr/why3/why3/-/issues/901 Debian Bug Tracking System
• 2025/02/20 Bug#1096244: marked as done (belenios: FTBFS: Error: Library "atdgen" not found.) Debian Bug Tracking System
• 2025/02/20 Processing of belenios_3.0+dfsg-2_source.changes Debian FTP Masters
• 2025/02/20 belenios_3.0+dfsg-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/20 [Git][ocaml-team/belenios] Pushed new tag archive/debian/3.0+dfsg-2 @glondu
• 2025/02/20 [Git][ocaml-team/belenios] Pushed new tag debian/3.0+dfsg-2 @glondu
• 2025/02/20 Processed: Bug#1096244 marked as pending in belenios Debian Bug Tracking System
• 2025/02/20 Bug#1097498: ocamlformat: ftbfs with GCC-15 Stéphane Glondu
• 2025/02/19 Processing of liquidsoap_2.3.1-1_source.changes Debian FTP Masters
• 2025/02/19 liquidsoap_2.3.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/19 [Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.3.1.orig.tar.gz Kyle Robbertze (@paddatrapper)
• 2025/02/19 [Git][ocaml-team/liquidsoap][upstream] New upstream version 2.3.1 Kyle Robbertze (@paddatrapper)
• 2025/02/19 [Git][ocaml-team/liquidsoap][master] 6 commits: New upstream version 2.3.1 Kyle Robbertze (@paddatrapper)
• 2025/02/19 [Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.3.1 Kyle Robbertze (@paddatrapper)
• 2025/02/19 [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.3.1-1 Kyle Robbertze (@paddatrapper)
• 2025/02/19 [Git][ocaml-team/camlimages][master] Fix watch file Kyle Robbertze (@paddatrapper)
• 2025/02/18 failed s390x build of ocaml-vorbis 0.8.0-5 Debian buildds
• 2025/02/18 failed arm64 build of ocaml-vorbis 0.8.0-5 Debian buildds
• 2025/02/18 failed armel build of ocaml-vorbis 0.8.0-5 Debian buildds
• 2025/02/18 failed armhf build of ocaml-vorbis 0.8.0-5 Debian buildds
• 2025/02/18 failed ppc64el build of ocaml-vorbis 0.8.0-5 Debian buildds
• 2025/02/18 failed i386 build of ocaml-vorbis 0.8.0-5 Debian buildds
• 2025/02/18 failed amd64 build of ocaml-vorbis 0.8.0-5 Debian buildds
• 2025/02/18 ocaml-xiph_1.0.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/18 ocaml-xiph_1.0.0-1_amd64.changes is NEW Debian FTP Masters
• 2025/02/18 Processing of ocaml-xiph_1.0.0-1_amd64.changes Debian FTP Masters
• 2025/02/18 Bug#1096144: marked as done (ben tracker -g something -q isn't really quiet) Debian Bug Tracking System
• 2025/02/18 Bug#1037318: marked as done (ben: Quiet mode does not suppress read_global_config output) Debian Bug Tracking System
• 2025/02/18 Processing of ocaml-ffmpeg_1.2.2-1_source.changes Debian FTP Masters
• 2025/02/18 ocaml-ffmpeg_1.2.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/17 Re: Upstreams with "official" tarballs differing from their git Sean Whitton
• 2025/02/17 ocaml-mirage-crypto_2.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/17 Processing of ocaml-mirage-crypto_2.0.0-1_source.changes Debian FTP Masters
• 2025/02/17 Processing of ocaml-multicoretests_0.7-1_source.changes Debian FTP Masters
• 2025/02/17 Processing of ocaml-iter_1.9-1_source.changes Debian FTP Masters
• 2025/02/17 ocaml-multicoretests_0.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/17 ocaml-iter_1.9-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/17 Bug#1096144: ben tracker -g something -q isn't really quiet Paul Gevers
• 2025/02/17 Bug#1098092: why3: ftbfs with GCC-15 Matthias Klose
• 2025/02/17 Bug#1098050: utop: ftbfs with GCC-15 Matthias Klose
• 2025/02/17 Bug#1097498: ocamlformat: ftbfs with GCC-15 Matthias Klose
• 2025/02/17 Bug#1097303: liquidsoap: ftbfs with GCC-15 Matthias Klose
• 2025/02/17 Accepted coq 8.20.1+dfsg-1 (source) into unstable Debian FTP Masters
• 2025/02/17 Bug#1096244: belenios: FTBFS: Error: Library "atdgen" not found. Lucas Nussbaum
• 2025/02/16 Bug#1096144: ben tracker -g something -q isn't really quiet Stéphane Glondu
• 2025/02/16 Re: Upstreams with "official" tarballs differing from their git Sean Whitton
• 2025/02/16 Processed: Re: Bug#1096144: Acknowledgement (ben tracker -g something -q isn't really quiet) Debian Bug Tracking System
• 2025/02/16 Bug#1096144: ben tracker -g something -q isn't really quiet Paul Gevers
• 2025/02/16 Re: Upstreams with "official" tarballs differing from their git Julien Puydt
• 2025/02/15 Re: Upstreams with "official" tarballs differing from their git Sean Whitton
• 2025/02/15 Re: Upstreams with "official" tarballs differing from their git Marco d'Itri
• 2025/02/15 Re: Upstreams with "official" tarballs differing from their git Julien Puydt
• 2025/02/15 [Git][ocaml-team/coq] Pushed new tag upstream/8.20.1+dfsg Julien Puydt (@jpuydt)
• 2025/02/15 [Git][ocaml-team/coq][upstream] New upstream version 8.20.1+dfsg Julien Puydt (@jpuydt)
• 2025/02/15 [Git][ocaml-team/coq] Pushed new tag debian/8.20.1+dfsg-1 Julien Puydt (@jpuydt)
• 2025/02/15 [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.20.1+dfsg.orig.tar.xz Julien Puydt (@jpuydt)
• 2025/02/15 [Git][ocaml-team/coq][master] 4 commits: New upstream version 8.20.1+dfsg Julien Puydt (@jpuydt)
• 2025/02/15 Re: Upstreams with "official" tarballs differing from their git Daniel Gröber
• 2025/02/15 Upstreams with "official" tarballs differing from their git Stéphane Glondu
• 2025/02/15 Re: Trouble with ocaml-dune and magic variables Julien Puydt
• 2025/02/14 Re: Trouble with ocaml-dune and magic variables Julien Puydt
• 2025/02/14 Re: Trouble with ocaml-dune and magic variables Stéphane Glondu
• 2025/02/14 Trouble with ocaml-dune and magic variables Julien Puydt
• 2025/02/13 Processing of ocaml-atd_2.16.0-2_source.changes Debian FTP Masters
• 2025/02/13 ocaml-atd_2.16.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/13 [Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/2.16.0-2 @glondu
• 2025/02/13 [Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.16.0-2 @glondu
• 2025/02/13 [Git][ocaml-team/ocaml-atd][master] 3 commits: Refresh patches @glondu
• 2025/02/13 Processing of elpi_2.0.5-2_source.changes Debian FTP Masters
• 2025/02/13 elpi_2.0.5-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/12 Processing of ppxlib_0.35.0-1_source.changes Debian FTP Masters
• 2025/02/12 Processing of ocaml-atd_2.16.0-1_source.changes Debian FTP Masters
• 2025/02/12 [Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.16.0 @glondu
• 2025/02/12 [Git][ocaml-team/ocaml-atd][master] 5 commits: New upstream version 2.16.0 @glondu
• 2025/02/12 [Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.16.0-1 @glondu
• 2025/02/12 [Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/2.16.0-1 @glondu
• 2025/02/12 [Git][ocaml-team/ocaml-atd][upstream] New upstream version 2.16.0 @glondu
• 2025/02/12 [Git][ocaml-team/ocaml-atd][pristine-tar] pristine-tar data for ocaml-atd_2.16.0.orig.tar.bz2 @glondu
• 2025/02/12 Processing of ocaml-sqlite3_5.3.0-1_source.changes Debian FTP Masters
• 2025/02/12 Processing of ocaml-spdx-licenses_1.3.0-1_source.changes Debian FTP Masters
• 2025/02/12 ocaml-atd_2.16.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/12 ocaml-sqlite3_5.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/12 ocaml-spdx-licenses_1.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/12 [Git][ocaml-team/ocaml-sqlite3] Pushed new tag upstream/5.3.0 @glondu
• 2025/02/12 [Git][ocaml-team/ocaml-sqlite3] Pushed new tag debian/5.3.0-1 @glondu
• 2025/02/12 [Git][ocaml-team/ocaml-sqlite3] Pushed new tag archive/debian/5.3.0-1 @glondu
• 2025/02/12 [Git][ocaml-team/ocaml-sqlite3][pristine-tar] pristine-tar data for ocaml-sqlite3_5.3.0.orig.tar.bz2 @glondu
• 2025/02/12 Processing of ocaml-mem-usage_0.1.2-1_source.changes Debian FTP Masters
• 2025/02/12 ppxlib_0.35.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/12 ocaml-benchmark_1.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/12 ocaml-mem-usage_0.1.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/12 Processing of ocaml-benchmark_1.7-1_source.changes Debian FTP Masters
• 2025/02/12 [Git][ocaml-team/ocaml-benchmark] Pushed new tag upstream/1.7 @glondu
• 2025/02/12 [Git][ocaml-team/ocaml-benchmark] Pushed new tag debian/1.7-1 @glondu
• 2025/02/12 [Git][ocaml-team/ocaml-benchmark] Pushed new tag archive/debian/1.7-1 @glondu
• 2025/02/12 [Git][ocaml-team/ocaml-benchmark][pristine-tar] pristine-tar data for ocaml-benchmark_1.7.orig.tar.bz2 @glondu
• 2025/02/11 Processing of labltk_8.06.15-1_source.changes Debian FTP Masters
• 2025/02/11 Processing of findlib_1.9.8-1_source.changes Debian FTP Masters
• 2025/02/11 Processing of ocaml-dune_3.17.2-1_source.changes Debian FTP Masters
• 2025/02/11 [Git][ocaml-team/labltk] Pushed new tag debian/8.06.15-1 @glondu
• 2025/02/11 [Git][ocaml-team/labltk] Pushed new tag upstream/8.06.15 @glondu
• 2025/02/11 ocaml-dune_3.17.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/11 [Git][ocaml-team/labltk] Pushed new tag archive/debian/8.06.15-1 @glondu
• 2025/02/11 [Git][ocaml-team/labltk][pristine-tar] pristine-tar data for labltk_8.06.15.orig.tar.gz @glondu
• 2025/02/11 labltk_8.06.15-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/11 findlib_1.9.8-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/11 [Git][ocaml-team/findlib][upstream] 2 commits: New upstream version 1.9.7 @glondu
• 2025/02/11 [Git][ocaml-team/ocaml-dune][upstream] New upstream version 3.17.2 @glondu
• 2025/02/11 [Git][ocaml-team/findlib][pristine-tar] 2 commits: pristine-tar data for findlib_1.9.7.orig.tar.gz @glondu
• 2025/02/11 [Git][ocaml-team/findlib][master] 6 commits: New upstream version 1.9.7 @glondu
• 2025/02/11 [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.17.2 @glondu
• 2025/02/11 [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.17.2-1 @glondu
• 2025/02/11 [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.17.2-1 @glondu
• 2025/02/11 [Git][ocaml-team/ocaml-dune][master] 4 commits: New upstream version 3.17.2 @glondu
• 2025/02/11 [Git][ocaml-team/ocaml-dune][pristine-tar] pristine-tar data for ocaml-dune_3.17.2.orig.tar.bz2 @glondu
• 2025/02/10 Processing of ben_1.9_source.changes Debian FTP Masters
• 2025/02/10 ben_1.9_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/09 ocaml-websocket_2.17-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/09 ocaml-zarith-stubs-js_0.17.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/08 Processing of ocaml-ptmap_2.0.5-5_source.changes Debian FTP Masters
• 2025/02/08 ocaml-ptmap_2.0.5-5_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/08 Re: Bug#1093272: transition: ocaml Emilio Pozuelo Monfort
• 2025/02/08 Processing of ocaml-zarith-stubs-js_0.17.0-1_amd64.changes Debian FTP Masters
• 2025/02/07 ocaml-zarith-stubs-js_0.17.0-1_amd64.changes is NEW Debian FTP Masters
• 2025/02/07 Bug#1095459: ITP: ocaml-zarith-stubs-js -- Javascript stubs for the Zarith library Stéphane Glondu
• 2025/02/07 Re: Bug#1093272: transition: ocaml Stéphane Glondu
• 2025/02/07 Re: Bug#1093272: transition: ocaml Emilio Pozuelo Monfort
• 2025/02/06 Processing of ocaml-luv_0.5.14-2_source.changes Debian FTP Masters
• 2025/02/06 ocaml-luv_0.5.14-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/06 Bug#1092570: marked as done (ocaml-luv: autopkgtests regression) Debian Bug Tracking System
• 2025/02/05 ocaml-websocket_2.17-1_amd64.changes is NEW Debian FTP Masters
• 2025/02/05 Processing of ocaml-websocket_2.17-1_amd64.changes Debian FTP Masters
• 2025/02/05 Re: ocaml-websocket_2.17-1_amd64.changes REJECTED Stéphane Glondu
• 2025/02/04 ocaml-websocket_2.17-1_amd64.changes REJECTED Thorsten Alteholz
• 2025/02/03 eliom is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/02/02 Re: Bug#1093272: transition: ocaml Stéphane Glondu
• 2025/02/02 Processing of ocaml-websocket_2.17-1_amd64.changes Debian FTP Masters
• 2025/02/02 ocaml-websocket_2.17-1_amd64.changes is NEW Debian FTP Masters
• 2025/02/02 Bug#1094983: ITP: ocaml-websocket -- WebSocket library Stéphane Glondu
• 2025/02/01 Processing of ppx-yojson-conv_0.17.0-3_source.changes Debian FTP Masters
• 2025/02/01 Processing of why3_1.8.0-2_source.changes Debian FTP Masters
• 2025/02/01 Bug#1093827: marked as done (why3 has an undeclared file conflict on /usr/lib/ocaml/why3) Debian Bug Tracking System
• 2025/02/01 why3_1.8.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/01 [Git][ocaml-team/why3] Pushed new tag debian/1.8.0-2 @glondu
• 2025/02/01 ppx-yojson-conv_0.17.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/01 [Git][ocaml-team/why3] Pushed new tag archive/debian/1.8.0-2 @glondu
• 2025/02/01 [Git][ocaml-team/why3][upstream] New upstream version 1.8.0 @glondu
• 2025/02/01 [Git][ocaml-team/why3][master] 6 commits: New upstream version 1.7.2 @glondu
• 2025/02/01 Processed: Bug#1093827 marked as pending in why3 Debian Bug Tracking System
• 2025/02/01 Bug#1093111: marked as done (tophide: FTBFS with OCaml 5.3.0 (Format-related change)) Debian Bug Tracking System
• 2025/02/01 Processing of tophide_1.1.0-1_source.changes Debian FTP Masters
• 2025/02/01 tophide_1.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/02/01 [Git][ocaml-team/tophide] Pushed new tag debian/1.1.0-1 @glondu
• 2025/02/01 [Git][ocaml-team/tophide] Pushed new tag upstream/1.1.0 @glondu
• 2025/02/01 [Git][ocaml-team/tophide] Pushed new tag archive/debian/1.1.0-1 @glondu
• 2025/02/01 [Git][ocaml-team/tophide][upstream] New upstream version 1.1.0 @glondu
• 2025/02/01 [Git][ocaml-team/tophide][master] 4 commits: New upstream version 1.1.0 @glondu
• 2025/02/01 [Git][ocaml-team/tophide][pristine-tar] pristine-tar data for tophide_1.1.0.orig.tar.gz @glondu
• 2025/02/01 Processed: (No Subject) Debian Bug Tracking System
• 2025/02/01 Re: Bug#1093272: transition: ocaml Emilio Pozuelo Monfort
• 2025/02/01 Re: Bug#1093272: transition: ocaml Hilko Bengen
• 2025/02/01 Bug#1094695: Removed package(s) from unstable Debian FTP Masters
• 2025/02/01 Bug#1094695: Removed package(s) from unstable Debian FTP Masters
• 2025/02/01 Bug#1093106: marked as done (ocaml-taglib: FTBFS with OCaml 5.3.0 (error in C stubs, not in testing)) Debian Bug Tracking System
• 2025/02/01 Bug#1092688: marked as done (ocaml-taglib: FTBFS with taglib 2.0) Debian Bug Tracking System
• 2025/02/01 Bug#1092570: ocaml-luv: autopkgtests regression andy

• Earlier messages
• Later messages