debian-ocaml-maint  

Messages by Thread

• [Git][ocaml-team/ocaml-topkg] Pushed new tag archive/debian/1.1.1-1 @glondu
• [Git][ocaml-team/ocaml-topkg][pristine-tar] pristine-tar data for ocaml-topkg_1.1.1.orig.tar.bz2 @glondu
• [Git][ocaml-team/ocaml-ctypes] Pushed new tag upstream/0.24.0 @glondu
• [Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.24.0-1 @glondu
• [Git][ocaml-team/ocaml-ctypes] Pushed new tag archive/debian/0.24.0-1 @glondu
• [Git][ocaml-team/ocaml-ctypes][upstream] New upstream version 0.24.0 @glondu
• [Git][ocaml-team/ocaml-ctypes][master] 7 commits: Switch debian/watch to version 5 @glondu
• [Git][ocaml-team/ocaml-ctypes][pristine-tar] pristine-tar data for ocaml-ctypes_0.24.0.orig.tar.gz @glondu
• Processing of ocaml-qcheck_0.27-1_source.changes Debian FTP Masters
• Processing of ocaml-patch_3.1.0-1_source.changes Debian FTP Masters
• ocaml-qcheck_0.27-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-patch_3.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-ctypes_0.24.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-mirage-ptime_5.2.0-1_source.changes Debian FTP Masters
• ocaml-mirage-ptime_5.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-logs_0.10.0-1_source.changes Debian FTP Masters
• Processing of ocaml-crowbar_0.2.2-1_source.changes Debian FTP Masters
• Processing of ocaml-visitors_20251114-1_source.changes Debian FTP Masters
• ocaml-visitors_20251114-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-logs_0.10.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-crowbar_0.2.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20251114 @glondu
• [Git][ocaml-team/ocaml-visitors] Pushed new tag archive/debian/20251114-1 @glondu
• [Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20251114-1 @glondu
• [Git][ocaml-team/ocaml-visitors][pristine-tar] pristine-tar data for ocaml-visitors_20251114.orig.tar.xz @glondu
• Processing of ocaml-bitstring_5.0.2-1_source.changes Debian FTP Masters
• Processing of pcre2-ocaml_8.0.4-1_source.changes Debian FTP Masters
• pcre2-ocaml_8.0.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-bitstring_5.0.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag upstream/5.0.2 @glondu
• [Git][ocaml-team/ocaml-bitstring][pristine-tar] pristine-tar data for ocaml-bitstring_5.0.2.orig.tar.gz @glondu
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag debian/5.0.2-1 @glondu
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag archive/debian/5.0.2-1 @glondu
• Processing of ben_1.13_source.changes Debian FTP Masters
• ben_1.13_source.changes ACCEPTED into unstable Debian FTP Masters
• Bug#1121365: dh-ocaml: please also drop CDBS mention from long description Alexandre Detiste
  • Bug#1121365: marked as done (dh-ocaml: please also drop CDBS mention from long description) Debian Bug Tracking System
• [Git][ocaml-team/ssreflect] Pushed new tag debian/2.5.0-2 Julien Puydt (@jpuydt)
• [Git][ocaml-team/ssreflect][master] 2 commits: Strenghten depends on coq/rocq Julien Puydt (@jpuydt)
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/9.0.0-2 Julien Puydt (@jpuydt)
• [Git][ocaml-team/aac-tactics][master] 2 commits: Strenghten depend on coq/rocq Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq] Pushed new tag debian/9.1.0+dfsg-3 Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq][master] 2 commits: Add missing Breaks+Replaces Julien Puydt (@jpuydt)
• Accepted coq 9.1.0+dfsg-3 (source amd64) into experimental Debian FTP Masters
• Processing of ocaml-posix_2.2.0-1_source.changes Debian FTP Masters
• ocaml-posix_2.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-posix_2.0.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-eio_1.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-multicoretests_0.11-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-multicoretests_0.11-1_source.changes Debian FTP Masters
• ocaml-ctypes_0.23.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-ctypes_0.23.0-2_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.23.0-2 Kyle Robbertze (@paddatrapper)
• ocaml-posix_2.0.2-1_amd64.changes is NEW Debian FTP Masters
• ocaml-ffmpeg_1.2.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processed: Urg, typo Debian Bug Tracking System
• Processed: Mark fixed version Debian Bug Tracking System
• Processing of ocaml-posix_2.0.2-1_amd64.changes Debian FTP Masters
• Processing of ocaml-ffmpeg_1.2.7-1_source.changes Debian FTP Masters
• Processed: Missed in changelog Debian Bug Tracking System
• ocaml-mccs is marked for autoremoval from testing Debian testing autoremoval watch
• Processed: fixed 1111916 in 2.1.1-1 Debian Bug Tracking System
• coq rdeps in experimental build against coq/sid Adrian Bunk
  • Re: coq rdeps in experimental build against coq/sid Julien Puydt
  • Re: coq rdeps in experimental build against coq/sid Adrian Bunk
• failed mips64el build of coq 9.1.0+dfsg-2 Debian buildds
• [Git][ocaml-team/ssreflect] Pushed new tag upstream/2.4.0 Julien Puydt (@jpuydt)
• [Git][ocaml-team/ssreflect] Pushed new tag upstream/2.5.0 Julien Puydt (@jpuydt)
• [Git][ocaml-team/ssreflect][master] 10 commits: New upstream version 2.4.0 Julien Puydt (@jpuydt)
• [Git][ocaml-team/ssreflect][upstream] 2 commits: New upstream version 2.4.0 Julien Puydt (@jpuydt)
• [Git][ocaml-team/ssreflect] Pushed new tag debian/2.5.0-1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/ssreflect][pristine-tar] 2 commits: pristine-tar data for ssreflect_2.4.0.orig.tar.gz Julien Puydt (@jpuydt)
• [Git][ocaml-team/aac-tactics][master] Drop the useless dbgsym package Julien Puydt (@jpuydt)
• [Git][ocaml-team/aac-tactics] Pushed new tag upstream/9.0.0 Julien Puydt (@jpuydt)
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/9.0.0-1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/aac-tactics][upstream] New upstream version 9.0.0 Julien Puydt (@jpuydt)
• [Git][ocaml-team/aac-tactics][pristine-tar] 2 commits: pristine-tar data for aac-tactics_9.0.0.orig.tar.gz Julien Puydt (@jpuydt)
• [Git][ocaml-team/aac-tactics][master] 7 commits: Adapt to renaming from Coq to Rocq Julien Puydt (@jpuydt)
• Accepted coq 9.1.0+dfsg-2 (source amd64) into experimental Debian FTP Masters
• [Git][ocaml-team/coq] Pushed new tag debian/9.1.0+dfsg-2 Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq][master] Prepare for upload to experimental Julien Puydt (@jpuydt)
• Processing of coq-elpi_2.5.0-1.2_source.changes Debian FTP Masters
• coq-elpi_2.5.0-1.2_source.changes ACCEPTED into unstable Debian FTP Masters
• [bts-link] source package src:ocaml-ffmpeg debian-bts-link
  • [bts-link] source package src:ocaml-ffmpeg debian-bts-link
  • Processed: [bts-link] source package src:ocaml-ffmpeg Debian Bug Tracking System
• Processing of ocp-indent_1.9.0-3_source.changes Debian FTP Masters
• [Git][ocaml-team/ocp-indent] Pushed new tag debian/1.9.0-3 @glondu
• [Git][ocaml-team/ocp-indent][master] 2 commits: Run autopkgtest with umask 022 @glondu
• [Git][ocaml-team/ocp-indent] Pushed new tag archive/debian/1.9.0-3 @glondu
• ocp-indent_1.9.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processed: Upstream bug reported Debian Bug Tracking System
• Processing of ocp-indent_1.9.0-2_source.changes Debian FTP Masters
• ocp-indent_1.9.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocp-indent] Pushed new tag debian/1.9.0-2 @glondu
• [Git][ocaml-team/ocp-indent] Pushed new tag archive/debian/1.9.0-2 @glondu
• [Git][ocaml-team/ocp-indent][master] 2 commits: Fix autopkgtest @glondu
• [Git][ocaml-team/ocaml-base64][pristine-tar] pristine-tar data for ocaml-base64_3.5.2.orig.tar.gz @glondu
• ben_1.12_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/yojson][pristine-tar] pristine-tar data for yojson_3.0.0.orig.tar.gz Julien Puydt (@jpuydt)
• Processing of lambda-term_3.3.2-2_source.changes Debian FTP Masters
• zed_3.2.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Bug#1116929: zed: FTBFS with the nocheck build profile Santiago Vila
  • Bug#1116929: marked as done (zed: FTBFS with the nocheck build profile) Debian Bug Tracking System
• ocaml-re_1.14.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-sedlex] Pushed new tag archive/debian/3.7-1 @glondu
• Processing of ocp-indent_1.9.0-1_source.changes Debian FTP Masters
• Processing of ocaml-base64_3.5.2-1_source.changes Debian FTP Masters
• Processing of ocaml-uucp_17.0.0-1_source.changes Debian FTP Masters
• [Git][ocaml-team/postgresql-ocaml] Pushed new tag upstream/5.3.2 @glondu
• cpdf_2.8.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/yojson] Pushed new tag upstream/3.0.0 Julien Puydt (@jpuydt)
• [Git][ocaml-team/yojson] Pushed new tag debian/3.0.0-1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/yojson][master] Prepare for upload to experimental Julien Puydt (@jpuydt)
• Processing of ocaml-inotify_2.6-2_source.changes Debian FTP Masters
• About yojson 3.0.0 Julien Puydt
  • Re: About yojson 3.0.0 Stéphane Glondu
  • Re: About yojson 3.0.0 Stéphane Glondu
• [Git][ocaml-team/yojson][upstream] New upstream version 3.0.0 Julien Puydt (@jpuydt)
• [Git][ocaml-team/yojson][master] 4 commits: New upstream version 3.0.0 Julien Puydt (@jpuydt)
• bisect-ppx_2.8.3+dfsg-4_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20251010-1 @glondu
• [Git][ocaml-team/zed] Pushed new tag debian/3.2.3-2 @glondu
• ocaml-inotify_2.6-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocamlgraph] Pushed new tag archive/debian/2.2.0-2 @glondu
• [Git][ocaml-team/ocp-indent] Pushed new tag archive/debian/1.9.0-1 @glondu
• ocaml-atd_2.16.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-version_4.0.3-1_source.changes Debian FTP Masters
• Bug#1117585: coq: suggests why which is not in unstable Carles Pina i Estany
  • Re: Bug#1117585: coq: suggests why which is not in unstable Julien Puydt
  • Bug#1117585: marked as done (coq: suggests why which is not in unstable) Debian Bug Tracking System
• [Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20251010 @glondu
• [Git][ocaml-team/ocaml-inotify][master] 2 commits: Update packaging @glondu
• [Git][ocaml-team/ocaml-batteries][master] 2 commits: Update packaging @glondu
• Processing of ocaml-atd_2.16.0-3_source.changes Debian FTP Masters
• Processed: tagging 1117440 Debian Bug Tracking System
• Bug#1116151: ocaml-platform: recommends libmigrate-parsetree-ocaml-dev which is not in unstable Carles Pina i Estany
  • Bug#1116151: marked as done (ocaml-platform: recommends libmigrate-parsetree-ocaml-dev which is not in unstable) Debian Bug Tracking System
• ocaml-monolith_0~20250922-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Bug#1116831: ocaml-inotify: FTBFS with the nocheck build profile Santiago Vila
  • Bug#1116831: marked as done (ocaml-inotify: FTBFS with the nocheck build profile) Debian Bug Tracking System
• [Git][ocaml-team/postgresql-ocaml][pristine-tar] 3 commits: pristine-tar data for postgresql-ocaml_5.3.0.orig.tar.bz2 @glondu
• Processing of ocaml-uucd_17.0.0-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-visitors] Pushed new tag archive/debian/20251010-1 @glondu
• Processing of ppxlib_0.37.0-1_source.changes Debian FTP Masters
• [Git][ocaml-team/postgresql-ocaml] Pushed new tag debian/5.3.2-1 @glondu
• ocaml-multicoretests_0.10-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-re_1.14.0-1_source.changes Debian FTP Masters
• Bug#1117440: ben: slight regression in latest version ? Alexandre Detiste
  • Bug#1117440: marked as pending in ben Stéphane Glondu
  • Bug#1117440: marked as done (ben: slight regression in latest version ?) Debian Bug Tracking System
  • Processed: Bug#1117440 marked as pending in ben Debian Bug Tracking System
• [Git][ocaml-team/ocp-indent] Pushed new tag debian/1.9.0-1 @glondu
• ocamlgraph_2.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-base64] Pushed new tag debian/3.5.2-1 @glondu
• [Git][ocaml-team/ocp-indent] Pushed new tag upstream/1.9.0 @glondu
• [Git][ocaml-team/lambda-term] Pushed new tag archive/debian/3.3.2-2 @glondu
• [Git][ocaml-team/ocp-indent][master] 7 commits: Switch debian/watch to version 5 @glondu
• meta-ocaml_6_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ben_1.11_source.changes Debian FTP Masters
• Processing of ppx-import_1.12.0-1_source.changes Debian FTP Masters
• ocaml-eio_1.3-1_amd64.changes REJECTED Thorsten Alteholz
  • Re: ocaml-eio_1.3-1_amd64.changes REJECTED Stéphane Glondu
• Bug#1116829: ocaml-cohttp: FTBFS with the nocheck build profile Santiago Vila
  • Bug#1116829: marked as done (ocaml-cohttp: FTBFS with the nocheck build profile) Debian Bug Tracking System
• [Git][ocaml-team/ocaml-sedlex] Pushed new tag upstream/3.7 @glondu
• [Git][ocaml-team/postgresql-ocaml] Pushed new tag upstream/5.3.1 @glondu
• Processing of meta-ocaml_6_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-base64] Pushed new tag archive/debian/3.5.2-1 @glondu
• ocaml-domain-name_0.5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml] Pushed new tag upstream/5.4.0 @glondu
• ocaml-batteries_3.9.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-visitors_20251010-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-sedlex][upstream] New upstream version 3.7 @glondu
• ocp-indent_1.9.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/2.16.0-3 @glondu
• [Git][ocaml-team/postgresql-ocaml] Pushed new tag archive/debian/5.3.2-1 @glondu
• Processing of ocaml-monolith_0~20250922-1_source.changes Debian FTP Masters
• ppx-import_1.12.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/postgresql-ocaml] Pushed new tag upstream/5.3.0 @glondu
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1_exp1 @glondu
• ocaml-alcotest_1.9.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-batteries_3.9.0-2_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-visitors][pristine-tar] pristine-tar data for ocaml-visitors_20251010.orig.tar.xz @glondu
• Processing of ocamlgraph_2.2.0-2_source.changes Debian FTP Masters
• [Git][ocaml-team/zed][master] 2 commits: Update packaging @glondu
• Processed (with 11 errors): raising severity Debian Bug Tracking System
• Processing of ocaml-alcotest_1.9.1-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-re][upstream] New upstream version 1.14.0 @glondu
• Processing of ocaml-mirage-kv-mem_4.0.1-1_source.changes Debian FTP Masters
• Processing of ben_1.12_source.changes Debian FTP Masters
• ocaml-cohttp_5.3.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-domain-name_0.5.0-1_source.changes Debian FTP Masters
• ocaml_5.4.0-1~exp1_source.changes ACCEPTED into experimental Debian FTP Masters
• Bug#1116828: ocaml-batteries: FTBFS with the nocheck build profile Santiago Vila
  • Bug#1116828: marked as done (ocaml-batteries: FTBFS with the nocheck build profile) Debian Bug Tracking System
• ocaml-version_4.0.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-base64] Pushed new tag upstream/3.5.2 @glondu
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1_exp1 @glondu
• ocaml-mirage-kv-mem_4.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters

• Earlier messages
• Later messages