debian-ocaml-maint  

Messages by Date

• 2025/08/24 [Git][ocaml-team/ocaml-frei0r] Pushed new tag debian/0.1.2-4 @glondu
• 2025/08/24 [Git][ocaml-team/ocaml-frei0r] Pushed new tag archive/debian/0.1.2-4 @glondu
• 2025/08/24 [Git][ocaml-team/ocaml-frei0r][master] 2 commits: Update packaging @glondu
• 2025/08/24 Processing of ocaml-dssi_0.1.5-4_source.changes Debian FTP Masters
• 2025/08/24 ocaml-gstreamer_0.3.1-5_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/24 ocaml-frei0r_0.1.2-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/24 ocaml-duppy_0.9.5-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/24 Processing of gd4o_1.1-1_source.changes Debian FTP Masters
• 2025/08/24 [Git][ocaml-team/ocaml-duppy] Pushed new tag debian/0.9.5-2 @glondu
• 2025/08/24 [Git][ocaml-team/ocaml-duppy] Pushed new tag archive/debian/0.9.5-2 @glondu
• 2025/08/24 [Git][ocaml-team/ocaml-duppy][master] 2 commits: Update packaging @glondu
• 2025/08/24 [Git][ocaml-team/ocaml-dssi] Pushed new tag debian/0.1.5-4 @glondu
• 2025/08/24 [Git][ocaml-team/ocaml-dssi] Pushed new tag archive/debian/0.1.5-4 @glondu
• 2025/08/24 [Git][ocaml-team/ocaml-dssi][master] 3 commits: Update debian/watch @glondu
• 2025/08/24 ocaml-dssi_0.1.5-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/24 Processing of ocaml-portaudio_0.2.3-4_source.changes Debian FTP Masters
• 2025/08/24 gd4o_1.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/24 [Git][ocaml-team/gd4o] Pushed new tag upstream/1.1 @glondu
• 2025/08/24 [Git][ocaml-team/gd4o] Pushed new tag debian/1.1-1 @glondu
• 2025/08/24 [Git][ocaml-team/gd4o] Pushed new tag archive/debian/1.1-1 @glondu
• 2025/08/24 [Git][ocaml-team/gd4o][pristine-tar] pristine-tar data for gd4o_1.1.orig.tar.gz @glondu
• 2025/08/24 [Git][ocaml-team/ocaml-portaudio] Pushed new tag debian/0.2.3-4 @glondu
• 2025/08/24 [Git][ocaml-team/ocaml-portaudio] Pushed new tag archive/debian/0.2.3-4 @glondu
• 2025/08/24 [Git][ocaml-team/ocaml-portaudio][master] 3 commits: Bump Standards-Version to 4.7.2 @glondu
• 2025/08/24 ocaml-portaudio_0.2.3-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/23 Bug#1111916: quickchick: ships files in /usr/doc Ivo De Decker
• 2025/08/22 Processing of opam_2.4.1-1_source.changes Debian FTP Masters
• 2025/08/22 opam_2.4.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/22 [Git][ocaml-team/opam] Pushed new tag archive/debian/2.4.1-1 @glondu
• 2025/08/22 [Git][ocaml-team/opam] Pushed new tag debian/2.4.1-1 @glondu
• 2025/08/22 [Git][ocaml-team/opam][master] Prepare upload to unstable @glondu
• 2025/08/22 Bug#1111841: RM: coq-serapi -- ROM; dead upstream Julien Puydt
• 2025/08/22 Bug#1111824: ITP: rocq-stdlib -- Rocq's Standard library Julien Puydt
• 2025/08/22 ocaml-patch_3.0.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/22 [Git][ocaml-team/coq] Deleted tag debian/9.0.0+dfsg-1 Julien Puydt (@jpuydt)
• 2025/08/22 [Git][ocaml-team/coq] Pushed new tag debian/9.0.0+dfsg-1 Julien Puydt (@jpuydt)
• 2025/08/21 [Git][ocaml-team/coq] Pushed new tag upstream/9.0.0+dfsg Julien Puydt (@jpuydt)
• 2025/08/21 [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_9.0.0+dfsg.orig.tar.xz Julien Puydt (@jpuydt)
• 2025/08/21 [Git][ocaml-team/opam] Pushed new tag upstream/2.4.1 @glondu
• 2025/08/21 Processing of ocaml-patch_3.0.0-1_amd64.changes Debian FTP Masters
• 2025/08/21 ocaml-patch_3.0.0-1_amd64.changes is NEW Debian FTP Masters
• 2025/08/21 [Git][ocaml-team/opam][upstream] 2 commits: New upstream version 2.4.0 @glondu
• 2025/08/21 [Git][ocaml-team/opam][pristine-tar] 2 commits: pristine-tar data for opam_2.4.0.orig.tar.gz @glondu
• 2025/08/21 [Git][ocaml-team/opam][master] 5 commits: New upstream version 2.4.0 @glondu
• 2025/08/21 [Git][ocaml-team/opam] Pushed new tag upstream/2.4.0 @glondu
• 2025/08/21 Bug#1111688: ITP: ocaml-patch -- patch library purely in OCaml Stéphane Glondu
• 2025/08/20 Processing of ben_1.10_source.changes Debian FTP Masters
• 2025/08/20 Bug#1111165: marked as done (ben: Building template fails: Error: Unbound module "Ben_frontends") Debian Bug Tracking System
• 2025/08/20 ben_1.10_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/20 Bug#1111165: marked as done (ben: Building template fails: Error: Unbound module "Ben_frontends") Debian Bug Tracking System
• 2025/08/20 Bug#1111165: ben: Building template fails: Error: Unbound module "Ben_frontends" Stéphane Glondu
• 2025/08/20 Bug#1111165: ben: Building template fails: Error: Unbound module "Ben_frontends" Sebastiaan Couwenberg
• 2025/08/20 Bug#1111165: ben: Building template fails: Error: Unbound module "Ben_frontends" Stéphane Glondu
• 2025/08/20 ocaml-bitstring_5.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/20 Processing of ocaml-bitstring_5.0.0-1_source.changes Debian FTP Masters
• 2025/08/20 [Git][ocaml-team/ocaml-bitstring] Pushed new tag debian/5.0.0-1 @glondu
• 2025/08/20 [Git][ocaml-team/ocaml-bitstring] Pushed new tag upstream/5.0.0 @glondu
• 2025/08/20 [Git][ocaml-team/ocaml-bitstring] Pushed new tag archive/debian/5.0.0-1 @glondu
• 2025/08/20 [Git][ocaml-team/ocaml-bitstring][pristine-tar] pristine-tar data for ocaml-bitstring_5.0.0.orig.tar.gz @glondu
• 2025/08/19 Re: Packaging Cpdf for Debian Stéphane Glondu
• 2025/08/18 Bug#1111534: ocaml-doc: Documentation is outdated Christopher Zimmermann
• 2025/08/18 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
• 2025/08/18 Bug#1111499: opam fails to build with C23 due to illegal usage of Primitive macro in prims.h - new version available upstream Tim Andersson
• 2025/08/17 Bug#1111281: stopped shipping nums.cmxa Stéphane Glondu
• 2025/08/17 Processed: Re: Bug#1111281: stopped shipping nums.cmxa Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105720 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105680 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105650 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105653 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105598 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105591 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105552 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105509 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105496 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105461 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105466 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105429 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105427 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105404 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105397 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105390 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105277 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105268 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105269 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105256 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105252 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105250 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1105230 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1098050 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1097498 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1097303 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1046343 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1079432 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1079430 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1079431 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1079429 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1079417 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1049764 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1049724 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1046386 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1046577 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1049623 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1049555 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1049478 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1049468 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1049221 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1049101 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1048934 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1048676 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1048660 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1048637 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1048459 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1048367 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1048312 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1048216 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1048153 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1048057 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1048025 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047990 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047964 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047846 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047779 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047784 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047645 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047533 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047520 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047504 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047447 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047262 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047042 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047114 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047051 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1047036 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1046963 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1046812 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1046640 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1046478 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1046357 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1046275 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1046087 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1046002 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1045879 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1045855 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1045816 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1045474 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1045427 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1045378 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1045166 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1044896 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1044744 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1044622 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1044568 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1044539 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1044354 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1044102 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1044017 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1043867 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1043823 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1043761 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1043672 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1043637 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 1015560 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 769272 Debian Bug Tracking System
• 2025/08/17 Processed: tagging 527397 Debian Bug Tracking System
• 2025/08/16 Bug#1110934: Removed package(s) from unstable Paul Tagliamonte
• 2025/08/16 Processed: affects 1111281 Debian Bug Tracking System
• 2025/08/16 Bug#1111281: stopped shipping nums.cmxa Pierre Gruet
• 2025/08/15 ocaml-ca-certs_1.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/15 Processing of ocaml-ca-certs_1.0.1-1_source.changes Debian FTP Masters
• 2025/08/15 Bug#1111210: Removed package(s) from unstable Debian FTP Masters
• 2025/08/15 Bug#1111210: Removed package(s) from unstable Debian FTP Masters
• 2025/08/15 Bug#1047026: marked as done (ocaml-reins: Fails to build source after successful build) Debian Bug Tracking System
• 2025/08/15 Processing of ocaml-x509_1.0.6-1_source.changes Debian FTP Masters
• 2025/08/15 ocaml-x509_1.0.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/15 Processing of utop_2.16.0-1_source.changes Debian FTP Masters
• 2025/08/15 utop_2.16.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/15 [Git][ocaml-team/utop] Pushed new tag upstream/2.16.0 @glondu
• 2025/08/15 [Git][ocaml-team/utop] Pushed new tag debian/2.16.0-1 @glondu
• 2025/08/15 [Git][ocaml-team/utop] Pushed new tag archive/debian/2.16.0-1 @glondu
• 2025/08/15 [Git][ocaml-team/utop][pristine-tar] pristine-tar data for utop_2.16.0.orig.tar.bz2 @glondu
• 2025/08/15 Processing of ocaml-mirage-crypto_2.0.1-1_source.changes Debian FTP Masters
• 2025/08/15 ocaml-mirage-crypto_2.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/15 ocaml-digestif_1.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/15 Processing of ocaml-digestif_1.3.0-1_source.changes Debian FTP Masters
• 2025/08/15 Processing of ocaml-containers_3.16+dfsg-1_source.changes Debian FTP Masters
• 2025/08/15 Processing of ocamlgraph_2.2.0-1_source.changes Debian FTP Masters
• 2025/08/15 ocamlgraph_2.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/15 ocaml-ipaddr_5.6.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/15 ocaml-containers_3.16+dfsg-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/08/15 Processing of ocaml-ipaddr_5.6.1-1_source.changes Debian FTP Masters
• 2025/08/15 [Git][ocaml-team/ocamlgraph] Pushed new tag upstream/2.2.0 @glondu
• 2025/08/15 [Git][ocaml-team/ocamlgraph] Pushed new tag archive/debian/2.2.0-1 @glondu
• 2025/08/15 [Git][ocaml-team/ocamlgraph] Pushed new tag debian/2.2.0-1 @glondu
• 2025/08/15 [Git][ocaml-team/ocamlgraph][upstream] New upstream version 2.2.0 @glondu
• 2025/08/15 [Git][ocaml-team/ocamlgraph][master] 4 commits: New upstream version 2.2.0 @glondu
• 2025/08/15 [Git][ocaml-team/ocamlgraph][pristine-tar] pristine-tar data for ocamlgraph_2.2.0.orig.tar.bz2 @glondu
• 2025/08/15 [Git][ocaml-team/ocaml-ipaddr] Pushed new tag upstream/5.6.1 @glondu
• 2025/08/15 [Git][ocaml-team/ocaml-ipaddr][upstream] New upstream version 5.6.1 @glondu
• 2025/08/15 [Git][ocaml-team/ocaml-ipaddr] Pushed new tag debian/5.6.1-1 @glondu
• 2025/08/15 [Git][ocaml-team/ocaml-ipaddr] Pushed new tag archive/debian/5.6.1-1 @glondu

• Earlier messages
• Later messages