debian-ocaml-maint  

Messages by Thread

• [Git][ocaml-team/ocaml-dune][master] 5 commits: Add autopkgtest @glondu
• Processing of ocaml-dune_3.20.2-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.20.2-1 @glondu
• Processed: not really a "ftbfs with gcc-15" bug Debian Bug Tracking System
• Processing of ocaml-dune_3.20.1-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-dune][pristine-tar] 7 commits: pristine-tar data for ocaml-dune_3.18.0.orig.tar.bz2 @glondu
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.20.1 @glondu
• ocaml-dune_3.20.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.19.0 @glondu
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.19.1 @glondu
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.20.0 @glondu
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.18.2 @glondu
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.18.1 @glondu
• [Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.18.0 @glondu
• [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.20.1-1 @glondu
• [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.20.1-1 @glondu
• coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
• Bug#1113844: eliom: recommends libeliom-ocaml-doc which is not in unstable Carles Pina i Estany
• Bug#1113839: frama-c-base: recommends alt-ergo which is not in unstable Carles Pina i Estany
• Bug#1113822: eliom: recommends libeliom-ocaml-doc which is not in unstable Carles Pina i Estany
• Bug#819341: [unison] Please build unison-fsmonitor Frédéric Perrin
  • Bug#819341: [unison] Please build unison-fsmonitor Damian Lukowski
• Processing of ocaml-re_1.13.3-5_source.changes Debian FTP Masters
• ocaml-re_1.13.3-5_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-re] Pushed new tag debian/1.13.3-5 @glondu
• [Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.13.3-5 @glondu
• [Git][ocaml-team/ocaml-re][master] 2 commits: Fix autopkgtest on bytecode archs @glondu
• Bug#1112491: coinst: recommends dot which is not in unstable Carles Pina i Estany
• [Git][ocaml-team/ocaml-re] Pushed new tag debian/1.13.3-4 @glondu
• ocaml-re_1.13.3-4_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-re_1.13.3-4_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.13.3-4 @glondu
• [Git][ocaml-team/ocaml-re][master] 2 commits: Fix autopkgtest @glondu
• cpdf_2.8.1-1_amd64.changes is NEW Debian FTP Masters
• Processing of cpdf_2.8.1-1_amd64.changes Debian FTP Masters
• Bug#1112327: ITP: cpdf -- PDF command line tools Stéphane Glondu
• Processing of ocaml-re_1.13.3-3_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-re] Pushed new tag debian/1.13.3-3 @glondu
• [Git][ocaml-team/ocaml-re][master] 2 commits: Fix splitting the empty string @glondu
• [Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.13.3-3 @glondu
• ocaml-re_1.13.3-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-re_1.13.3-2_source.changes Debian FTP Masters
• ocaml-re_1.13.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.13.3-2 @glondu
• [Git][ocaml-team/ocaml-re] Pushed new tag debian/1.13.3-2 @glondu
• [Git][ocaml-team/ocaml-re][master] 2 commits: Break dependency loop by not running tests @glondu
• Bug#1111841: Removed package(s) from unstable Debian FTP Masters
• Processing of ocaml-re_1.13.3-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-re] Pushed new tag upstream/1.13.2 @glondu
• [Git][ocaml-team/ocaml-re] Pushed new tag upstream/1.13.1 @glondu
• [Git][ocaml-team/ocaml-re] Pushed new tag upstream/1.13.3 @glondu
• [Git][ocaml-team/ocaml-re] Pushed new tag upstream/1.13.0 @glondu
• ocaml-re_1.13.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-re] Pushed new tag debian/1.13.3-1 @glondu
• [Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.13.3-1 @glondu
• [Git][ocaml-team/ocaml-re][upstream] 4 commits: New upstream version 1.13.0 @glondu
• [Git][ocaml-team/ocaml-re][master] 9 commits: Update debian/watch @glondu
• [Git][ocaml-team/ocaml-re][pristine-tar] 4 commits: pristine-tar data for ocaml-re_1.13.0.orig.tar.gz @glondu
• Processing of ocaml-time-now_0.17.0-3_source.changes Debian FTP Masters
• ocaml-time-now_0.17.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-fdkaac_0.3.3-1_multi.changes Debian FTP Masters
• ocaml-fdkaac_0.3.3-1_multi.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-xmlplaylist_0.1.5-5_source.changes Debian FTP Masters
• Processing of ocaml-voaacenc_0.1.1-3_source.changes Debian FTP Masters
• Processing of ocaml-soundtouch_0.1.9-5_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-xmlplaylist] Pushed new tag debian/0.1.5-5 @glondu
• [Git][ocaml-team/ocaml-xmlplaylist] Pushed new tag archive/debian/0.1.5-5 @glondu
• [Git][ocaml-team/ocaml-xmlplaylist][master] 2 commits: Update packaging @glondu
• [Git][ocaml-team/ocaml-voaacenc] Pushed new tag debian/0.1.1-3 @glondu
• [Git][ocaml-team/ocaml-voaacenc][master] 2 commits: Update packaging @glondu
• [Git][ocaml-team/ocaml-voaacenc] Pushed new tag archive/debian/0.1.1-3 @glondu
• Processing of ocaml-shine_0.2.3-4_source.changes Debian FTP Masters
• Processing of ocaml-portaudio_0.2.3-5_source.changes Debian FTP Masters
• ocaml-xmlplaylist_0.1.5-5_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-voaacenc_0.1.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-soundtouch_0.1.9-5_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-shine_0.2.3-4_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-portaudio_0.2.3-5_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-lo_0.2.0.git20240724.0b43bdf-2_source.changes Debian FTP Masters
• Processing of ocaml-lame_0.3.7-4_source.changes Debian FTP Masters
• Processing of ocaml-mm_0.8.6-2_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-shine] Pushed new tag debian/0.2.3-4 @glondu
• [Git][ocaml-team/ocaml-soundtouch] Pushed new tag debian/0.1.9-5 @glondu
• [Git][ocaml-team/ocaml-soundtouch] Pushed new tag archive/debian/0.1.9-5 @glondu
• [Git][ocaml-team/ocaml-soundtouch][master] 3 commits: Update packaging @glondu
• [Git][ocaml-team/ocaml-shine] Pushed new tag archive/debian/0.2.3-4 @glondu
• [Git][ocaml-team/ocaml-shine][master] 2 commits: Update packaging @glondu
• [Git][ocaml-team/ocaml-portaudio] Pushed new tag debian/0.2.3-5 @glondu
• [Git][ocaml-team/ocaml-portaudio][master] 2 commits: Update packaging @glondu
• [Git][ocaml-team/ocaml-portaudio] Pushed new tag archive/debian/0.2.3-5 @glondu
• [Git][ocaml-team/ocaml-mm] Pushed new tag archive/debian/0.8.6-2 @glondu
• [Git][ocaml-team/ocaml-mm][master] 2 commits: Update packaging @glondu
• [Git][ocaml-team/ocaml-mm] Pushed new tag debian/0.8.6-2 @glondu
• [Git][ocaml-team/ocaml-lo] Pushed new tag debian/0.2.0.git20240724.0b43bdf-2 @glondu
• [Git][ocaml-team/ocaml-lo] Pushed new tag archive/debian/0.2.0.git20240724.0b43bdf-2 @glondu
• [Git][ocaml-team/ocaml-lo][master] 2 commits: Update packaging @glondu
• [Git][ocaml-team/ocaml-lame] Pushed new tag archive/debian/0.3.7-4 @glondu
• [Git][ocaml-team/ocaml-lame] Pushed new tag debian/0.3.7-4 @glondu
• [Git][ocaml-team/ocaml-lame][master] 2 commits: Update packaging @glondu
• ocaml-mm_0.8.6-2_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-lo_0.2.0.git20240724.0b43bdf-2_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-lame_0.3.7-4_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-fdkaac_0.3.3-1_source.changes Debian FTP Masters
• Processing of ocaml-ladspa_0.2.2-4_source.changes Debian FTP Masters
• ocaml-ladspa_0.2.2-4_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-fdkaac_0.3.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-fdkaac][pristine-tar] pristine-tar data for ocaml-fdkaac_0.3.3.orig.tar.gz @glondu
• [Git][ocaml-team/ocaml-fdkaac] Pushed new tag upstream/0.3.3 @glondu
• [Git][ocaml-team/ocaml-fdkaac] Pushed new tag archive/debian/0.3.3-1 @glondu
• [Git][ocaml-team/ocaml-fdkaac] Pushed new tag debian/0.3.3-1 @glondu
• Processing of ocaml-gstreamer_0.3.1-5_source.changes Debian FTP Masters
• Processing of ocaml-frei0r_0.1.2-4_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-ladspa] Pushed new tag archive/debian/0.2.2-4 @glondu
• [Git][ocaml-team/ocaml-ladspa][master] 2 commits: Update packaging @glondu
• [Git][ocaml-team/ocaml-ladspa] Pushed new tag debian/0.2.2-4 @glondu
• [Git][ocaml-team/ocaml-gstreamer] Pushed new tag debian/0.3.1-5 @glondu
• [Git][ocaml-team/ocaml-gstreamer][master] 2 commits: Update packaging @glondu
• [Git][ocaml-team/ocaml-gstreamer] Pushed new tag archive/debian/0.3.1-5 @glondu
• Processing of ocaml-duppy_0.9.5-2_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-frei0r] Pushed new tag debian/0.1.2-4 @glondu
• [Git][ocaml-team/ocaml-frei0r] Pushed new tag archive/debian/0.1.2-4 @glondu
• [Git][ocaml-team/ocaml-frei0r][master] 2 commits: Update packaging @glondu
• Processing of ocaml-dssi_0.1.5-4_source.changes Debian FTP Masters
• ocaml-gstreamer_0.3.1-5_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-frei0r_0.1.2-4_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-duppy_0.9.5-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of gd4o_1.1-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-duppy] Pushed new tag debian/0.9.5-2 @glondu
• [Git][ocaml-team/ocaml-duppy] Pushed new tag archive/debian/0.9.5-2 @glondu
• [Git][ocaml-team/ocaml-duppy][master] 2 commits: Update packaging @glondu
• [Git][ocaml-team/ocaml-dssi] Pushed new tag debian/0.1.5-4 @glondu
• [Git][ocaml-team/ocaml-dssi] Pushed new tag archive/debian/0.1.5-4 @glondu
• [Git][ocaml-team/ocaml-dssi][master] 3 commits: Update debian/watch @glondu
• ocaml-dssi_0.1.5-4_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-portaudio_0.2.3-4_source.changes Debian FTP Masters
• gd4o_1.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/gd4o] Pushed new tag upstream/1.1 @glondu
• [Git][ocaml-team/gd4o] Pushed new tag debian/1.1-1 @glondu
• [Git][ocaml-team/gd4o] Pushed new tag archive/debian/1.1-1 @glondu
• [Git][ocaml-team/gd4o][pristine-tar] pristine-tar data for gd4o_1.1.orig.tar.gz @glondu
• [Git][ocaml-team/ocaml-portaudio] Pushed new tag debian/0.2.3-4 @glondu
• [Git][ocaml-team/ocaml-portaudio] Pushed new tag archive/debian/0.2.3-4 @glondu
• [Git][ocaml-team/ocaml-portaudio][master] 3 commits: Bump Standards-Version to 4.7.2 @glondu
• ocaml-portaudio_0.2.3-4_source.changes ACCEPTED into unstable Debian FTP Masters
• Bug#1111916: quickchick: ships files in /usr/doc Ivo De Decker
  • Processed: coq-quickchick: diff for NMU version 2.1.0-1.1 Debian Bug Tracking System
  • Bug#1111916: coq-quickchick: diff for NMU version 2.1.0-1.1 Adrian Bunk
  • Bug#1111916: marked as done (quickchick: ships files in /usr/doc) Debian Bug Tracking System
• Processing of opam_2.4.1-1_source.changes Debian FTP Masters
• opam_2.4.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/opam] Pushed new tag archive/debian/2.4.1-1 @glondu
• [Git][ocaml-team/opam] Pushed new tag debian/2.4.1-1 @glondu
• [Git][ocaml-team/opam][master] Prepare upload to unstable @glondu
• Bug#1111841: RM: coq-serapi -- ROM; dead upstream Julien Puydt
• Bug#1111824: ITP: rocq-stdlib -- Rocq's Standard library Julien Puydt
• ocaml-patch_3.0.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/coq] Deleted tag debian/9.0.0+dfsg-1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq] Pushed new tag debian/9.0.0+dfsg-1 Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq] Pushed new tag upstream/9.0.0+dfsg Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_9.0.0+dfsg.orig.tar.xz Julien Puydt (@jpuydt)
• [Git][ocaml-team/opam] Pushed new tag upstream/2.4.1 @glondu
• Processing of ocaml-patch_3.0.0-1_amd64.changes Debian FTP Masters
• ocaml-patch_3.0.0-1_amd64.changes is NEW Debian FTP Masters
• [Git][ocaml-team/opam][upstream] 2 commits: New upstream version 2.4.0 @glondu
• [Git][ocaml-team/opam][pristine-tar] 2 commits: pristine-tar data for opam_2.4.0.orig.tar.gz @glondu
• [Git][ocaml-team/opam][master] 5 commits: New upstream version 2.4.0 @glondu
• [Git][ocaml-team/opam] Pushed new tag upstream/2.4.0 @glondu
• Bug#1111688: ITP: ocaml-patch -- patch library purely in OCaml Stéphane Glondu
• Processing of ben_1.10_source.changes Debian FTP Masters
• ben_1.10_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-bitstring_5.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-bitstring_5.0.0-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag debian/5.0.0-1 @glondu
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag upstream/5.0.0 @glondu
• [Git][ocaml-team/ocaml-bitstring] Pushed new tag archive/debian/5.0.0-1 @glondu
• [Git][ocaml-team/ocaml-bitstring][pristine-tar] pristine-tar data for ocaml-bitstring_5.0.0.orig.tar.gz @glondu
• Bug#1111534: ocaml-doc: Documentation is outdated Christopher Zimmermann
• Bug#1111499: opam fails to build with C23 due to illegal usage of Primitive macro in prims.h - new version available upstream Tim Andersson
  • Bug#1111499: opam fails to build with C23 due to illegal usage of Primitive macro in prims.h - new version available upstream Stéphane Glondu
• Processed: tagging 1105720 Debian Bug Tracking System
• Processed: tagging 1105680 Debian Bug Tracking System
• Processed: tagging 1105650 Debian Bug Tracking System
• Processed: tagging 1105653 Debian Bug Tracking System
• Processed: tagging 1105598 Debian Bug Tracking System
• Processed: tagging 1105591 Debian Bug Tracking System
• Processed: tagging 1105552 Debian Bug Tracking System
• Processed: tagging 1105509 Debian Bug Tracking System
• Processed: tagging 1105496 Debian Bug Tracking System
• Processed: tagging 1105461 Debian Bug Tracking System
• Processed: tagging 1105466 Debian Bug Tracking System
• Processed: tagging 1105429 Debian Bug Tracking System
• Processed: tagging 1105427 Debian Bug Tracking System
• Processed: tagging 1105404 Debian Bug Tracking System
• Processed: tagging 1105397 Debian Bug Tracking System
• Processed: tagging 1105390 Debian Bug Tracking System

• Earlier messages
• Later messages