debian-ocaml-maint  

Messages by Thread

• [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
• 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
• Processing of ocaml-eio_1.3-2_source.changes Debian FTP Masters
• ocaml-eio_1.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Bug#1122303: ocaml-eio: FTBFS with the nocheck build profile Santiago Vila
  • Bug#1122303: marked as done (ocaml-eio: FTBFS with the nocheck build profile) Debian Bug Tracking System
• Bug#1122238: ben should ignore Build-Depends-Indep Adrian Bunk
  • Bug#1122238: ben should ignore Build-Depends-Indep Stéphane Glondu
  • Bug#1122238: ben should ignore Build-Depends-Indep Stéphane Glondu
  • Bug#1122238: marked as done (ben should ignore Build-Depends-Indep) Debian Bug Tracking System
• Processing of ben_1.14_source.changes Debian FTP Masters
• ben_1.14_source.changes ACCEPTED into unstable Debian FTP Masters
• Processed: tagging 1121981, tagging 1122003, tagging 1122009, tagging 1122017, tagging 1122023, tagging 1122024 ... Debian Bug Tracking System
• [Git][ocaml-team/advi][master] doc: fix option 'francais' of babel package Ralf Treinen (@treinen)
• Processed: limit source to advi, tagging 1121831 Debian Bug Tracking System
• Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
  • Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
  • Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
  • Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
  • Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
  • Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
  • Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
  • Bug#1121833: ben: confused by :native build-dependencies Stéphane Glondu
  • Bug#1121833: ben: confused by :native build-dependencies Graham Inggs
  • Bug#1121833: marked as done (ben: confused by :native build-dependencies) Debian Bug Tracking System
• Bug#1121831: advi: FTBFS in sid Gianfranco Costamagna
  • Bug#1121831: marked as done (advi: FTBFS in sid) Debian Bug Tracking System
• Processing of opam_2.5.0-1_source.changes Debian FTP Masters
• opam_2.5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/opam][upstream] New upstream version 2.5.0 @glondu
• [Git][ocaml-team/opam] Pushed new tag upstream/2.5.0 @glondu
• [Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.5.0.orig.tar.gz @glondu
• [Git][ocaml-team/opam] Pushed new tag debian/2.5.0-1 @glondu
• [Git][ocaml-team/opam] Pushed new tag archive/debian/2.5.0-1 @glondu
• [Git][ocaml-team/opam][master] 6 commits: Switch debian/watch to version 5 @glondu
• unison-2.53_2.53.8-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of unison-2.53_2.53.8-1_source.changes Debian FTP Masters
• [Git][ocaml-team/unison] Pushed new tag upstream/2.53.8 @glondu
• [Git][ocaml-team/unison] Pushed new tag debian/2.53.8-1 @glondu
• [Git][ocaml-team/unison][pristine-tar] pristine-tar data for unison-2.53_2.53.8.orig.tar.gz @glondu
• [Git][ocaml-team/unison] Pushed new tag archive/debian/2.53.8-1 @glondu
• [Git][ocaml-team/unison][2.53/upstream] New upstream version 2.53.8 @glondu
• [Git][ocaml-team/unison][2.53/debian] 6 commits: Switch debian/watch to version 5 @glondu
• Processing of dh-ocaml_2.5_source.changes Debian FTP Masters
• Processing of ocaml-topkg_1.1.1-1_source.changes Debian FTP Masters
• ocaml-topkg_1.1.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• dh-ocaml_2.5_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-ctypes_0.24.0-1_source.changes Debian FTP Masters
• [Git][ocaml-team/dh-ocaml] Pushed new tag debian/2.5 @glondu
• [Git][ocaml-team/dh-ocaml] Pushed new tag archive/debian/2.5 @glondu
• [Git][ocaml-team/ocaml-topkg] Pushed new tag upstream/1.1.1 @glondu
• [Git][ocaml-team/ocaml-topkg] Pushed new tag debian/1.1.1-1 @glondu

• Earlier messages
• Later messages