debian-ocaml-maint  

Messages by Thread

• Processing of ocaml_5.4.0-2_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-2 @glondu
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-2 @glondu
• [Git][ocaml-team/ocaml][debian/sid] 2 commits: Increase the amount of data written to a pipe in a test @glondu
• ocaml-ao_0.2.4-4_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-ao_0.2.4-4_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-ao] Pushed new tag debian/0.2.4-4 @glondu
• [Git][ocaml-team/ocaml-ao] Pushed new tag archive/debian/0.2.4-4 @glondu
• [Git][ocaml-team/ocaml-ao][master] 2 commits: Update packaging @glondu
• Processed: Re: Bug#1107093: Embeds BLAKE3 C implementation, should use libblake3-dev when it becomes available Debian Bug Tracking System
• Processing of ben_1.15_source.changes Debian FTP Masters
• ben_1.15_source.changes ACCEPTED into unstable Debian FTP Masters
• why3_1.8.2-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of advi_2.0.0-5_source.changes Debian FTP Masters
• [Git][ocaml-team/advi] Pushed new tag debian/2.0.0-5 Gianfranco Costamagna (@locutusofborg)
• [Git][ocaml-team/advi][master] Upload to sid Gianfranco Costamagna (@locutusofborg)
• Processing of why3_1.8.2-3_source.changes Debian FTP Masters
• advi_2.0.0-5_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/why3] Pushed new tag debian/1.8.2-3 Gianfranco Costamagna (@locutusofborg)
• [Git][ocaml-team/why3][master] B-D on graphviz-tools now Gianfranco Costamagna (@locutusofborg)
• ppx-deriving-yojson_3.10.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• morbig_0.11.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of morbig_0.11.0-4_source.changes Debian FTP Masters
• [Git][ocaml-team/morbig] Pushed new tag debian/0.11.0-4 @glondu
• [Git][ocaml-team/morbig] Pushed new tag archive/debian/0.11.0-4 @glondu
• Processing of ppx-deriving-yojson_3.10.0-2_source.changes Debian FTP Masters
• [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.10.0-2 @glondu
• [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag archive/debian/3.10.0-2 @glondu
• [Git][ocaml-team/ppx-deriving-yojson][master] 4 commits: Refresh patches @glondu
• Processing of ocaml-atd_3.0.1-1_source.changes Debian FTP Masters
• yojson_3.0.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of yojson_3.0.0-2_source.changes Debian FTP Masters
• ocaml-atd_3.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-atd] Pushed new tag debian/3.0.1-1 @glondu
• [Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/3.0.1-1 @glondu
• [Git][ocaml-team/ocaml-atd][master] Prepare upload to unstable @glondu
• [Git][ocaml-team/ocaml-atd][master] Bump yojson version in Build-Depends @glondu
• [Git][ocaml-team/ocaml-atd] Pushed new tag upstream/3.0.1 @glondu
• [Git][ocaml-team/ocaml-atd][upstream] 2 commits: New upstream version 3.0.0 @glondu
• [Git][ocaml-team/ocaml-atd] Pushed new tag upstream/3.0.0 @glondu
• [Git][ocaml-team/ocaml-atd][master] 4 commits: New upstream version 3.0.0 @glondu
• [Git][ocaml-team/ocaml-atd][pristine-tar] 2 commits: pristine-tar data for ocaml-atd_3.0.0.orig.tar.bz2 @glondu
• ocaml-qcheck_0.91-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-qcheck_0.91-1_source.changes Debian FTP Masters
• Processing of cryptokit_1.21.1-1_source.changes Debian FTP Masters
• [Git][ocaml-team/cryptokit] Pushed new tag upstream/1.21.1 @glondu
• [Git][ocaml-team/cryptokit] Pushed new tag upstream/1.21 @glondu
• [Git][ocaml-team/cryptokit] Pushed new tag debian/1.21.1-1 @glondu
• [Git][ocaml-team/cryptokit] Pushed new tag archive/debian/1.21.1-1 @glondu
• [Git][ocaml-team/cryptokit][pristine-tar] 2 commits: pristine-tar data for cryptokit_1.21.orig.tar.gz @glondu
• cryptokit_1.21.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of why3_1.8.2-2_source.changes Debian FTP Masters
• [Git][ocaml-team/why3] Pushed new tag debian/1.8.2-2 Gianfranco Costamagna (@locutusofborg)
• why3_1.8.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processed: tagging 1121831 Debian Bug Tracking System
• Bug#1124402: ITP: herdtools7 -- A tool suite to test weak memory models Sebastian Andrzej Siewior
• [Git][ocaml-team/lwt][master] typo in changelog Ralf Treinen (@treinen)
• [Git][ocaml-team/lwt][master] drop Recommands liblwt-ocaml-doc Ralf Treinen (@treinen)
• Processed: drop tags Debian Bug Tracking System
• Bug#1049724: ocaml-uucp: Fails to build binary packages again after successful build Santiago Vila
  • Processed: Re: ocaml-uucp: Fails to build binary packages again after successful build Debian Bug Tracking System
• Bug#1049555: ocaml-uunf: Fails to build binary packages again after successful build Santiago Vila
  • Processed: Re: ocaml-uunf: Fails to build binary packages again after successful build Debian Bug Tracking System
• Processing of elpi_2.0.7-3_source.changes Debian FTP Masters
• elpi_2.0.7-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of opam-file-format_2.2.0-2_source.changes Debian FTP Masters
• opam-file-format_2.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/opam-file-format] Pushed new tag debian/2.2.0-2 @glondu
• [Git][ocaml-team/opam-file-format] Pushed new tag archive/debian/2.2.0-2 @glondu
• [Git][ocaml-team/opam-file-format][master] 2 commits: Disable tests to cut build-dependency cycle @glondu
• Processing of eliom_11.1.1-5_source.changes Debian FTP Masters
• ocaml-merlin_5.6-504+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-gettext_0.5.0+really0.4.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of hol-light_3.1.0-2_source.changes Debian FTP Masters
• Processing of ocaml-gettext_0.5.0+really0.4.2-2_source.changes Debian FTP Masters
• hol-light_3.1.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• eliom_11.1.1-5_source.changes ACCEPTED into unstable Debian FTP Masters
• camlp5_8.04.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/eliom] Pushed new tag debian/11.1.1-5 @glondu
• [Git][ocaml-team/eliom] Pushed new tag archive/debian/11.1.1-5 @glondu
• [Git][ocaml-team/eliom][master] Prepare upload to unstable @glondu
• [Git][ocaml-team/ocaml-gettext] Pushed new tag debian/0.5.0+really0.4.2-2 @glondu
• [Git][ocaml-team/ocaml-gettext] Pushed new tag archive/debian/0.5.0+really0.4.2-2 @glondu
• [Git][ocaml-team/ocaml-gettext][master] Prepare upload to unstable @glondu
• Processing of camlp5_8.04.00-1_source.changes Debian FTP Masters
• [Git][ocaml-team/hol-light] Pushed new tag debian/1%3.1.0-2 @glondu
• [Git][ocaml-team/hol-light] Pushed new tag archive/debian/1%3.1.0-2 @glondu
• Processing of ocaml-merlin_5.6-504+ds-1_source.changes Debian FTP Masters
• [Git][ocaml-team/camlp5] Pushed new tag debian/8.04.00-1 @glondu
• [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.04.00-1 @glondu
• [Git][ocaml-team/camlp5][master] Prepare upload to unstable @glondu
• Processing of camlp4_5.4+1-1_source.changes Debian FTP Masters
• camlp4_5.4+1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/camlp4] Pushed new tag debian/5.4+1-1 @glondu
• [Git][ocaml-team/camlp4] Pushed new tag archive/debian/5.4+1-1 @glondu
• [Git][ocaml-team/camlp4][master] Prepare upload to unstable @glondu
• ocaml-tools_20120103-14_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-tools_20120103-14_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-tools] Pushed new tag debian/20120103-14 @glondu
• [Git][ocaml-team/ocaml-tools] Pushed new tag archive/debian/20120103-14 @glondu
• [Git][ocaml-team/ocaml-tools][master] Recompile with OCaml 5.4.0 @glondu
• Processing of ocaml_5.4.0-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1 @glondu
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1 @glondu
• ocaml_5.4.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-eio is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-eio is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-posix is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-posix is marked for autoremoval from testing Debian testing autoremoval watch
• Processed: retitle 1122492 to why3: FTBFS:/bin/sh: 1: ccomps: not found Debian Bug Tracking System
• Processed: tagging 1105655, tagging 1105339, tagging 1044779, tagging 1049769, tagging 1105533, tagging 1044714 ... Debian Bug Tracking System
• ocaml-process_0.2.1-1_amd64.changes is NEW Debian FTP Masters
• Processing of ocaml-process_0.2.1-1_amd64.changes Debian FTP Masters
• Bug#1123728: ITP: ocaml-process -- easy process control in OCaml Stéphane Glondu
• Processing of ocaml-posix_2.2.0-2_source.changes Debian FTP Masters
• ocaml-posix_2.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of hol-light_3.1.0-1_source.changes Debian FTP Masters
• hol-light_3.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/hol-light] Pushed new tag archive/debian/1%3.1.0-1 @glondu
• [Git][ocaml-team/hol-light] Pushed new tag debian/1%3.1.0-1 @glondu
• [Git][ocaml-team/hol-light][master] Prepare upload to unstable @glondu
  • [Git][ocaml-team/hol-light][master] Prepare upload to unstable @glondu
• [Git][ocaml-team/hol-light] Pushed new tag upstream/3.1.0 @glondu
• [Git][ocaml-team/hol-light][upstream] New upstream version 3.1.0 @glondu
• [Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_3.1.0.orig.tar.xz @glondu
• [Git][ocaml-team/hol-light][master] 7 commits: New upstream version 3.0.0 @glondu
• Bug#1123656: transition: ocaml 5.4.0 Stéphane Glondu
  • Re: Bug#1123656: transition: ocaml 5.4.0 Stéphane Glondu
  • Re: Bug#1123656: transition: ocaml 5.4.0 Emilio Pozuelo Monfort
  • Re: Bug#1123656: transition: ocaml 5.4.0 Emilio Pozuelo Monfort
• Processing of ocamlformat_0.28.1-1_source.changes Debian FTP Masters
• ocamlformat_0.28.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of pyml_20250807-1_source.changes Debian FTP Masters
• pyml_20250807-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-merlin_5.6-503+ds-1_source.changes Debian FTP Masters
• ocaml-merlin_5.6-503+ds-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/eliom][master] 3 commits: Fix compilation with OCaml 5.4.0 @glondu
• [Git][ocaml-team/ocaml-gettext][master] 3 commits: Fix compilation with OCaml 5.4.0 @glondu
• Processing of ocaml-batteries_3.10.0-1_source.changes Debian FTP Masters
• ocaml-batteries_3.10.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-stdcompat_21.1-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.10.0-1 @glondu
• [Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.10.0-1 @glondu
• [Git][ocaml-team/ocaml-batteries][master] Prepare upload to unstable @glondu
• ocaml-stdcompat_21.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-multicore-magic_2.3.1-3_source.changes Debian FTP Masters
• ocaml-multicore-magic_2.3.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocamlnet_4.1.9-7_source.changes Debian FTP Masters
• ocamlnet_4.1.9-7_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.10.0 @glondu
• [Git][ocaml-team/ocaml-batteries][pristine-tar] pristine-tar data for ocaml-batteries_3.10.0.orig.tar.gz @glondu
• [Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.9-7 @glondu
• [Git][ocaml-team/ocamlnet][master] 4 commits: Fix compilation with OCaml 5.04.0 @glondu
• [Git][ocaml-team/ocamlnet] Pushed new tag archive/debian/4.1.9-7 @glondu
• [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.06 @glondu
• [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.05 @glondu
• [Git][ocaml-team/camlp5] Pushed new tag upstream/8.04.00 @glondu
• [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.04 @glondu
• [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.03 @glondu
• [Git][ocaml-team/camlp5][upstream] 6 commits: New upstream version 8.03.02 @glondu
• [Git][ocaml-team/camlp5][master] 11 commits: Switch debian/watch to version 5 @glondu
• [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.02 @glondu
• [Git][ocaml-team/camlp5][pristine-tar] 6 commits: pristine-tar data for camlp5_8.03.02.orig.tar.gz @glondu
• [Git][ocaml-team/camlp4] Pushed new tag upstream/5.4+1 @glondu
• [Git][ocaml-team/camlp4][pristine-tar] pristine-tar data for camlp4_5.4+1.orig.tar.gz @glondu
• Processing of ocamlbuild_0.16.1-2_source.changes Debian FTP Masters
• [Git][ocaml-team/ocamlbuild][master] 3 commits: Fix PrincipalFlag test with OCaml 5.4.0 @glondu
• [Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.16.1-2 @glondu
• [Git][ocaml-team/ocamlbuild] Pushed new tag archive/debian/0.16.1-2 @glondu
• ocamlbuild_0.16.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml_5.4.0-1~exp3_source.changes ACCEPTED into experimental Debian FTP Masters
• Processing of ocaml_5.4.0-1~exp3_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1_exp3 @glondu
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1_exp3 @glondu
• [Git][ocaml-team/ocaml][debian/experimental] 2 commits: Mark test_compact_manydomains as multicore @glondu
• Processing of ocaml_5.4.0-1~exp2_source.changes Debian FTP Masters
• ocaml_5.4.0-1~exp2_source.changes ACCEPTED into experimental Debian FTP Masters
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.4.0-1_exp2 @glondu
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.4.0-1_exp2 @glondu
• [Git][ocaml-team/ocaml][debian/experimental] 3 commits: fma test from test suite fails on hppa, enable emulation like on m68k @glondu
• Processed: tags Debian Bug Tracking System
• Bug#1047036: ssreflect: Fails to build source after successful build Santiago Vila
  • Processed: Re: ssreflect: Fails to build source after successful build Debian Bug Tracking System
• Bug#1048153: nss-passwords: Fails to build source after successful build Santiago Vila
  • Processed: Re: nss-passwords: Fails to build source after successful build Debian Bug Tracking System
• Bug#1047520: janest-ocaml-compiler-libs: Fails to build source after successful build Santiago Vila
  • Processed: Re: janest-ocaml-compiler-libs: Fails to build source after successful build Debian Bug Tracking System
• Bug#1046478: ocaml-alcotest: Fails to build source after successful build Santiago Vila
  • Processed: Re: ocaml-alcotest: Fails to build source after successful build Debian Bug Tracking System
• Bug#1045855: ocaml-ca-certs: Fails to build source after successful build Santiago Vila
  • Processed: Re: ocaml-ca-certs: Fails to build source after successful build Debian Bug Tracking System
• Bug#1044568: extlib: Fails to build source after successful build Santiago Vila
  • Processed: Re: extlib: Fails to build source after successful build Debian Bug Tracking System
• Bug#1043823: camomile: Fails to build source after successful build Santiago Vila
  • Processed: Re: camomile: Fails to build source after successful build Debian Bug Tracking System
• advi is marked for autoremoval from testing Debian testing autoremoval watch
  • advi is marked for autoremoval from testing Debian testing autoremoval watch
• 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
  • Bug#1122492: marked as done (why3: FTBFS:/bin/sh: 1: ccomps: not found) Debian Bug Tracking System
• Processed: metadata Debian Bug Tracking System

• Earlier messages
• Later messages