debian-ocaml-maint  

Messages by Date

• 2025/12/19 [Git][ocaml-team/hol-light][master] Prepare upload to unstable @glondu
• 2025/12/19 [Git][ocaml-team/hol-light] Pushed new tag upstream/3.1.0 @glondu
• 2025/12/19 [Git][ocaml-team/hol-light][upstream] New upstream version 3.1.0 @glondu
• 2025/12/19 [Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_3.1.0.orig.tar.xz @glondu
• 2025/12/19 [Git][ocaml-team/hol-light][master] 7 commits: New upstream version 3.0.0 @glondu
• 2025/12/19 Bug#1123656: transition: ocaml 5.4.0 Stéphane Glondu
• 2025/12/19 Processing of ocamlformat_0.28.1-1_source.changes Debian FTP Masters
• 2025/12/19 ocamlformat_0.28.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/19 Processing of pyml_20250807-1_source.changes Debian FTP Masters
• 2025/12/19 pyml_20250807-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/19 Processing of ocaml-merlin_5.6-503+ds-1_source.changes Debian FTP Masters
• 2025/12/19 ocaml-merlin_5.6-503+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/19 [Git][ocaml-team/eliom][master] 3 commits: Fix compilation with OCaml 5.4.0 @glondu
• 2025/12/19 [Git][ocaml-team/ocaml-gettext][master] 3 commits: Fix compilation with OCaml 5.4.0 @glondu
• 2025/12/18 why3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/18 Processing of ocaml-batteries_3.10.0-1_source.changes Debian FTP Masters
• 2025/12/18 ocaml-batteries_3.10.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/18 Processing of ocaml-stdcompat_21.1-1_source.changes Debian FTP Masters
• 2025/12/18 [Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.10.0-1 @glondu
• 2025/12/18 [Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.10.0-1 @glondu
• 2025/12/18 [Git][ocaml-team/ocaml-batteries][master] Prepare upload to unstable @glondu
• 2025/12/18 ocaml-stdcompat_21.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/17 Processing of ocaml-multicore-magic_2.3.1-3_source.changes Debian FTP Masters
• 2025/12/17 ocaml-multicore-magic_2.3.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/17 Processing of ocamlnet_4.1.9-7_source.changes Debian FTP Masters
• 2025/12/17 ocamlnet_4.1.9-7_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/17 [Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.10.0 @glondu
• 2025/12/17 [Git][ocaml-team/ocaml-batteries][pristine-tar] pristine-tar data for ocaml-batteries_3.10.0.orig.tar.gz @glondu
• 2025/12/17 [Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.9-7 @glondu
• 2025/12/17 [Git][ocaml-team/ocamlnet][master] 4 commits: Fix compilation with OCaml 5.04.0 @glondu
• 2025/12/17 [Git][ocaml-team/ocamlnet] Pushed new tag archive/debian/4.1.9-7 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.06 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.05 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.04.00 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.04 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.03 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5][upstream] 6 commits: New upstream version 8.03.02 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5][master] 11 commits: Switch debian/watch to version 5 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.02 @glondu
• 2025/12/17 [Git][ocaml-team/camlp5][pristine-tar] 6 commits: pristine-tar data for camlp5_8.03.02.orig.tar.gz @glondu
• 2025/12/17 [Git][ocaml-team/camlp4] Pushed new tag upstream/5.4+1 @glondu
• 2025/12/17 [Git][ocaml-team/camlp4][pristine-tar] pristine-tar data for camlp4_5.4+1.orig.tar.gz @glondu
• 2025/12/17 Processing of ocamlbuild_0.16.1-2_source.changes Debian FTP Masters
• 2025/12/17 [Git][ocaml-team/ocamlbuild][master] 3 commits: Fix PrincipalFlag test with OCaml 5.4.0 @glondu
• 2025/12/17 [Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.16.1-2 @glondu
• 2025/12/17 [Git][ocaml-team/ocamlbuild] Pushed new tag archive/debian/0.16.1-2 @glondu
• 2025/12/17 ocamlbuild_0.16.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/15 ocaml_5.4.0-1~exp3_source.changes ACCEPTED into experimental Debian FTP Masters
• 2025/12/14 Processing of ocaml_5.4.0-1~exp3_source.changes Debian FTP Masters
• 2025/12/14 [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1_exp3 @glondu
• 2025/12/14 [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1_exp3 @glondu
• 2025/12/14 [Git][ocaml-team/ocaml][debian/experimental] 2 commits: Mark test_compact_manydomains as multicore @glondu
• 2025/12/14 Processing of ocaml_5.4.0-1~exp2_source.changes Debian FTP Masters
• 2025/12/14 ocaml_5.4.0-1~exp2_source.changes ACCEPTED into experimental Debian FTP Masters
• 2025/12/14 [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1_exp2 @glondu
• 2025/12/14 [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1_exp2 @glondu
• 2025/12/14 [Git][ocaml-team/ocaml][debian/experimental] 3 commits: fma test from test suite fails on hppa, enable emulation like on m68k @glondu
• 2025/12/13 Processed: tags Debian Bug Tracking System
• 2025/12/13 Processed: Re: ssreflect: Fails to build source after successful build Debian Bug Tracking System
• 2025/12/13 Bug#1047036: ssreflect: Fails to build source after successful build Santiago Vila
• 2025/12/13 Processed: Re: nss-passwords: Fails to build source after successful build Debian Bug Tracking System
• 2025/12/13 Bug#1048153: nss-passwords: Fails to build source after successful build Santiago Vila
• 2025/12/13 Processed: Re: janest-ocaml-compiler-libs: Fails to build source after successful build Debian Bug Tracking System
• 2025/12/13 Bug#1047520: janest-ocaml-compiler-libs: Fails to build source after successful build Santiago Vila
• 2025/12/13 Processed: Re: ocaml-alcotest: Fails to build source after successful build Debian Bug Tracking System
• 2025/12/13 Bug#1046478: ocaml-alcotest: Fails to build source after successful build Santiago Vila
• 2025/12/13 Processed: Re: ocaml-ca-certs: Fails to build source after successful build Debian Bug Tracking System
• 2025/12/13 Bug#1045855: ocaml-ca-certs: Fails to build source after successful build Santiago Vila
• 2025/12/13 Processed: Re: extlib: Fails to build source after successful build Debian Bug Tracking System
• 2025/12/13 Bug#1044568: extlib: Fails to build source after successful build Santiago Vila
• 2025/12/13 Processed: Re: camomile: Fails to build source after successful build Debian Bug Tracking System
• 2025/12/13 Bug#1043823: camomile: Fails to build source after successful build Santiago Vila
• 2025/12/11 advi is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/12/10 Bug#1122492: why3: FTBFS: Fatal error: exception Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3ide.cma: No such file or directory") Santiago Vila
• 2025/12/10 Processed: metadata Debian Bug Tracking System
• 2025/12/10 Bug#1122238: ben should ignore Build-Depends-Indep Stéphane Glondu
• 2025/12/10 Processing of ocaml-eio_1.3-2_source.changes Debian FTP Masters
• 2025/12/10 Bug#1122303: marked as done (ocaml-eio: FTBFS with the nocheck build profile) Debian Bug Tracking System
• 2025/12/10 ocaml-eio_1.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/09 Bug#1122303: ocaml-eio: FTBFS with the nocheck build profile Santiago Vila
• 2025/12/08 Bug#1122238: ben should ignore Build-Depends-Indep Adrian Bunk
• 2025/12/08 Processing of ben_1.14_source.changes Debian FTP Masters
• 2025/12/08 Bug#1121833: marked as done (ben: confused by :native build-dependencies) Debian Bug Tracking System
• 2025/12/08 ben_1.14_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/08 Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
• 2025/12/08 Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
• 2025/12/07 Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
• 2025/12/07 Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
• 2025/12/07 Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
• 2025/12/07 Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
• 2025/12/06 Processed: tagging 1121981, tagging 1122003, tagging 1122009, tagging 1122017, tagging 1122023, tagging 1122024 ... Debian Bug Tracking System
• 2025/12/05 Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
• 2025/12/04 [Git][ocaml-team/advi][master] doc: fix option 'francais' of babel package Ralf Treinen (@treinen)
• 2025/12/04 Processed: limit source to advi, tagging 1121831 Debian Bug Tracking System
• 2025/12/04 Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
• 2025/12/03 Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
• 2025/12/03 Bug#1121831: advi: FTBFS in sid Gianfranco Costamagna
• 2025/12/02 Processing of opam_2.5.0-1_source.changes Debian FTP Masters
• 2025/12/02 opam_2.5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/02 [Git][ocaml-team/opam][upstream] New upstream version 2.5.0 @glondu
• 2025/12/02 [Git][ocaml-team/opam] Pushed new tag upstream/2.5.0 @glondu
• 2025/12/02 [Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.5.0.orig.tar.gz @glondu
• 2025/12/02 [Git][ocaml-team/opam] Pushed new tag debian/2.5.0-1 @glondu
• 2025/12/02 [Git][ocaml-team/opam] Pushed new tag archive/debian/2.5.0-1 @glondu
• 2025/12/02 [Git][ocaml-team/opam][master] 6 commits: Switch debian/watch to version 5 @glondu
• 2025/12/01 unison-2.53_2.53.8-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/12/01 Processing of unison-2.53_2.53.8-1_source.changes Debian FTP Masters
• 2025/12/01 [Git][ocaml-team/unison] Pushed new tag upstream/2.53.8 @glondu
• 2025/12/01 [Git][ocaml-team/unison] Pushed new tag debian/2.53.8-1 @glondu
• 2025/12/01 [Git][ocaml-team/unison][pristine-tar] pristine-tar data for unison-2.53_2.53.8.orig.tar.gz @glondu
• 2025/12/01 [Git][ocaml-team/unison] Pushed new tag archive/debian/2.53.8-1 @glondu
• 2025/12/01 [Git][ocaml-team/unison][2.53/upstream] New upstream version 2.53.8 @glondu
• 2025/12/01 [Git][ocaml-team/unison][2.53/debian] 6 commits: Switch debian/watch to version 5 @glondu
• 2025/11/28 Processing of dh-ocaml_2.5_source.changes Debian FTP Masters
• 2025/11/28 Processing of ocaml-topkg_1.1.1-1_source.changes Debian FTP Masters
• 2025/11/28 ocaml-topkg_1.1.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/28 Bug#1121365: marked as done (dh-ocaml: please also drop CDBS mention from long description) Debian Bug Tracking System
• 2025/11/28 dh-ocaml_2.5_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/28 Processing of ocaml-ctypes_0.24.0-1_source.changes Debian FTP Masters
• 2025/11/28 [Git][ocaml-team/dh-ocaml] Pushed new tag debian/2.5 @glondu
• 2025/11/28 [Git][ocaml-team/dh-ocaml] Pushed new tag archive/debian/2.5 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-topkg] Pushed new tag upstream/1.1.1 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-topkg] Pushed new tag debian/1.1.1-1 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-topkg] Pushed new tag archive/debian/1.1.1-1 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-topkg][pristine-tar] pristine-tar data for ocaml-topkg_1.1.1.orig.tar.bz2 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-ctypes] Pushed new tag upstream/0.24.0 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.24.0-1 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-ctypes] Pushed new tag archive/debian/0.24.0-1 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-ctypes][upstream] New upstream version 0.24.0 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-ctypes][master] 7 commits: Switch debian/watch to version 5 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-ctypes][pristine-tar] pristine-tar data for ocaml-ctypes_0.24.0.orig.tar.gz @glondu
• 2025/11/28 Processing of ocaml-qcheck_0.27-1_source.changes Debian FTP Masters
• 2025/11/28 Processing of ocaml-patch_3.1.0-1_source.changes Debian FTP Masters
• 2025/11/28 ocaml-qcheck_0.27-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/28 ocaml-patch_3.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/28 ocaml-ctypes_0.24.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/28 Processing of ocaml-mirage-ptime_5.2.0-1_source.changes Debian FTP Masters
• 2025/11/28 ocaml-mirage-ptime_5.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/28 Processing of ocaml-logs_0.10.0-1_source.changes Debian FTP Masters
• 2025/11/28 Processing of ocaml-crowbar_0.2.2-1_source.changes Debian FTP Masters
• 2025/11/28 Processing of ocaml-visitors_20251114-1_source.changes Debian FTP Masters
• 2025/11/28 ocaml-visitors_20251114-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/28 ocaml-logs_0.10.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/28 ocaml-crowbar_0.2.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/28 [Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20251114 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-visitors] Pushed new tag archive/debian/20251114-1 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20251114-1 @glondu
• 2025/11/28 [Git][ocaml-team/ocaml-visitors][pristine-tar] pristine-tar data for ocaml-visitors_20251114.orig.tar.xz @glondu
• 2025/11/27 Processing of ocaml-bitstring_5.0.2-1_source.changes Debian FTP Masters
• 2025/11/27 Processing of pcre2-ocaml_8.0.4-1_source.changes Debian FTP Masters
• 2025/11/27 pcre2-ocaml_8.0.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/27 ocaml-bitstring_5.0.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/27 [Git][ocaml-team/ocaml-bitstring] Pushed new tag upstream/5.0.2 @glondu
• 2025/11/27 [Git][ocaml-team/ocaml-bitstring][pristine-tar] pristine-tar data for ocaml-bitstring_5.0.2.orig.tar.gz @glondu
• 2025/11/27 [Git][ocaml-team/ocaml-bitstring] Pushed new tag debian/5.0.2-1 @glondu
• 2025/11/27 [Git][ocaml-team/ocaml-bitstring] Pushed new tag archive/debian/5.0.2-1 @glondu
• 2025/11/25 Processing of ben_1.13_source.changes Debian FTP Masters
• 2025/11/25 ben_1.13_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/25 Bug#1121365: dh-ocaml: please also drop CDBS mention from long description Alexandre Detiste
• 2025/11/11 [Git][ocaml-team/ssreflect] Pushed new tag debian/2.5.0-2 Julien Puydt (@jpuydt)
• 2025/11/11 [Git][ocaml-team/ssreflect][master] 2 commits: Strenghten depends on coq/rocq Julien Puydt (@jpuydt)
• 2025/11/11 [Git][ocaml-team/aac-tactics] Pushed new tag debian/9.0.0-2 Julien Puydt (@jpuydt)
• 2025/11/11 [Git][ocaml-team/aac-tactics][master] 2 commits: Strenghten depend on coq/rocq Julien Puydt (@jpuydt)
• 2025/11/11 [Git][ocaml-team/coq] Pushed new tag debian/9.1.0+dfsg-3 Julien Puydt (@jpuydt)
• 2025/11/11 [Git][ocaml-team/coq][master] 2 commits: Add missing Breaks+Replaces Julien Puydt (@jpuydt)
• 2025/11/11 Accepted coq 9.1.0+dfsg-3 (source amd64) into experimental Debian FTP Masters
• 2025/11/11 Processing of ocaml-posix_2.2.0-1_source.changes Debian FTP Masters
• 2025/11/11 ocaml-posix_2.2.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/10 ocaml-posix_2.0.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/10 ocaml-eio_1.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/04 ocaml-multicoretests_0.11-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/04 Processing of ocaml-multicoretests_0.11-1_source.changes Debian FTP Masters
• 2025/11/04 ocaml-ctypes_0.23.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/04 Processing of ocaml-ctypes_0.23.0-2_source.changes Debian FTP Masters
• 2025/11/04 [Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.23.0-2 Kyle Robbertze (@paddatrapper)
• 2025/11/04 ocaml-posix_2.0.2-1_amd64.changes is NEW Debian FTP Masters
• 2025/11/04 ocaml-ffmpeg_1.2.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2025/11/04 Processed: Urg, typo Debian Bug Tracking System
• 2025/11/04 Processed: Mark fixed version Debian Bug Tracking System
• 2025/11/04 Processing of ocaml-posix_2.0.2-1_amd64.changes Debian FTP Masters
• 2025/11/04 Processing of ocaml-ffmpeg_1.2.7-1_source.changes Debian FTP Masters
• 2025/11/04 Bug#1099789: marked as done (Depends on saturn_lockfree which has been removed) Debian Bug Tracking System
• 2025/11/04 Processed: Missed in changelog Debian Bug Tracking System
• 2025/11/03 yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 zed is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 wyrd is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 why3 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 uutf is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 tyxml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 uuidm is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 utop is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 react is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 reactivedata is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
• 2025/11/03 pgocaml is marked for autoremoval from testing Debian testing autoremoval watch

• Earlier messages
• Later messages