debian-ocaml-maint  

Messages by Date

• 2023/08/23 Bug#1050027: marked as done (libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie) Debian Bug Tracking System
• 2023/08/23 Processing of mathcomp-analysis_0.6.4-3_source.changes Debian FTP Masters
• 2023/08/23 Bug#1050027: libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie julien . puydt
• 2023/08/23 Processed: Re: Bug#1050027: Stop blocking other packages migration Debian Bug Tracking System
• 2023/08/23 Bug#1050027: Stop blocking other packages migration Sebastian Ramacher
• 2023/08/23 [Git][ocaml-team/ocaml-getopt] Pushed new tag upstream/0.0.20230213 @glondu
• 2023/08/23 [Git][ocaml-team/ocaml-getopt][pristine-tar] pristine-tar data for ocaml-getopt_0.0.20230213.orig.tar.gz @glondu
• 2023/08/23 Bug#1050027: libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie Simon McVittie
• 2023/08/22 [Git][ocaml-team/dh-ocaml][master] 2 commits: Pass remaining arguments to "dune build" @glondu
• 2023/08/22 Processed: Stop blocking other packages migration Debian Bug Tracking System
• 2023/08/22 Bug#1050027: Stop blocking other packages migration julien . puydt
• 2023/08/22 [Git][ocaml-team/calendar][master] Tune override_dh_auto_build @glondu
• 2023/08/22 [Git][ocaml-team/mlpost][master] Tune override_dh_auto_build @glondu
• 2023/08/22 Bug#1050027: blocking migration of other OCaml packages to testing Stéphane Glondu
• 2023/08/22 ocaml-fdkaac_0.3.3~gitd3393eb-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/22 Processing of ocaml-fdkaac_0.3.3~gitd3393eb-2_amd64.changes Debian FTP Masters
• 2023/08/22 Bug#1050027: closed by Debian FTP Masters <ftpmas...@ftp-master.debian.org> (reply to Julien Puydt <jpu...@debian.org>) (Bug#1050027: fixed in mathcomp-analysis 0.6.4-2) Helmut Grohne
• 2023/08/22 Bug#1050027: closed by Debian FTP Masters <ftpmas...@ftp-master.debian.org> (reply to Julien Puydt <jpu...@debian.org>) (Bug#1050027: fixed in mathcomp-analysis 0.6.4-2) julien . puydt
• 2023/08/21 Bug#1050027: closed by Debian FTP Masters <ftpmas...@ftp-master.debian.org> (reply to Julien Puydt <jpu...@debian.org>) (Bug#1050027: fixed in mathcomp-analysis 0.6.4-2) Stéphane Glondu
• 2023/08/21 ocaml-mad 0.5.2-3 MIGRATED to testing Debian testing watch
• 2023/08/21 Processed: unblock Debian Bug Tracking System
• 2023/08/21 Processed: block 1040757 with 1041164 Debian Bug Tracking System
• 2023/08/21 Bug#1041164: dose-distcheck: fails with (W)Dose_common: package ncurses-base:amd64 (= 6.4-4) is not associate with an integer in the given universe" Ralf Treinen
• 2023/08/21 Bug#1050178: ocaml-extunix FTBFS on hppa Helge Deller
• 2023/08/20 coccinelle is marked for autoremoval from testing Debian testing autoremoval watch
• 2023/08/20 js-of-ocaml-ocamlbuild_5.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/20 [Git][ocaml-team/ocaml][debian/experimental] libstdlib-ocaml breaks dh-ocaml (<< 2) @glondu
• 2023/08/19 Processing of js-of-ocaml-ocamlbuild_5.0-2_source.changes Debian FTP Masters
• 2023/08/19 ocaml-afl-persistent is marked for autoremoval from testing Debian testing autoremoval watch
• 2023/08/19 Bug#1050027: closed by Debian FTP Masters <ftpmas...@ftp-master.debian.org> (reply to Julien Puydt <jpu...@debian.org>) (Bug#1050027: fixed in mathcomp-analysis 0.6.4-2) julien . puydt
• 2023/08/19 Processed: Re: Bug#1050027 closed by Debian FTP Masters <ftpmas...@ftp-master.debian.org> (reply to Julien Puydt <jpu...@debian.org>) (Bug#1050027: fixed in mathcomp-analysis 0.6.4-2) Debian Bug Tracking System
• 2023/08/19 Bug#1050027: closed by Debian FTP Masters <ftpmas...@ftp-master.debian.org> (reply to Julien Puydt <jpu...@debian.org>) (Bug#1050027: fixed in mathcomp-analysis 0.6.4-2) Helmut Grohne
• 2023/08/19 Processed: Bug#1044637 marked as pending in coq Debian Bug Tracking System
• 2023/08/19 Bug#1044637: marked as pending in coq Julien Puydt
• 2023/08/19 mathcomp-analysis_0.6.4-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/19 Bug#1050027: marked as done (libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie) Debian Bug Tracking System
• 2023/08/19 Processing of mathcomp-analysis_0.6.4-2_source.changes Debian FTP Masters
• 2023/08/19 ocaml-re_1.11.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/19 ocaml_4.13.1-5~exp1_amd64.changes ACCEPTED into experimental Debian FTP Masters
• 2023/08/19 Processing of ocaml-re_1.11.0-1_source.changes Debian FTP Masters
• 2023/08/19 [Git][ocaml-team/ocaml-re] Pushed new tag debian/1.11.0-1 @glondu
• 2023/08/19 [Git][ocaml-team/ocaml-re] Pushed new tag upstream/1.11.0 @glondu
• 2023/08/19 [Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.11.0-1 @glondu
• 2023/08/19 [Git][ocaml-team/ocaml-re][pristine-tar] pristine-tar data for ocaml-re_1.11.0.orig.tar.bz2 @glondu
• 2023/08/19 js-of-ocaml-ocamlbuild_5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/19 Processing of js-of-ocaml-ocamlbuild_5.0-1_source.changes Debian FTP Masters
• 2023/08/18 ocaml-duppy is marked for autoremoval from testing Debian testing autoremoval watch
• 2023/08/18 crowbar is marked for autoremoval from testing Debian testing autoremoval watch
• 2023/08/18 ocaml-lastfm is marked for autoremoval from testing Debian testing autoremoval watch
• 2023/08/18 ocsipersist is marked for autoremoval from testing Debian testing autoremoval watch
• 2023/08/18 ocamldap is marked for autoremoval from testing Debian testing autoremoval watch
• 2023/08/18 ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
• 2023/08/18 ocaml_4.13.1-5~exp1_amd64.changes is NEW Debian FTP Masters
• 2023/08/18 Processing of ocaml_4.13.1-5~exp1_amd64.changes Debian FTP Masters
• 2023/08/18 [Git][ocaml-team/ocaml] Pushed new tag debian/4.13.1-5_exp1 @glondu
• 2023/08/18 dh-ocaml_1.3.0_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/18 Processing of dh-ocaml_1.3.0_source.changes Debian FTP Masters
• 2023/08/18 [Git][ocaml-team/dh-ocaml] Pushed new tag debian/1.3.0 @glondu
• 2023/08/18 [Git][ocaml-team/dh-ocaml] Pushed new tag archive/debian/1.3.0 @glondu
• 2023/08/18 Processed: libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie Debian Bug Tracking System
• 2023/08/18 Bug#1050027: libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie Helmut Grohne
• 2023/08/18 Processed: block 1047520 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1044354 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1045855 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1046478 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1045879 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1047447 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1048676 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1046357 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1047262 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1049064 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1046577 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1048216 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1045166 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1045427 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1045378 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1047533 with 1050003 Debian Bug Tracking System
• 2023/08/18 Processed: block 1048064 with 1050003 Debian Bug Tracking System
• 2023/08/18 Bug#1050003: Dune sometimes changes *.opam files in release mode Stéphane Glondu
• 2023/08/18 Processed: closing 1045611 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1047233 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1046623 Debian Bug Tracking System
• 2023/08/18 Bug#1049098: closing 1049098 Stéphane Glondu
• 2023/08/18 Processed: closing 1046870 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1045385 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1046848 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1048920 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1045985 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1049098 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1046879 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1048450 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1048519 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1045288 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1045742 Debian Bug Tracking System
• 2023/08/18 Processed: closing 1045537 Debian Bug Tracking System
• 2023/08/17 Processed: closing 1048604 Debian Bug Tracking System
• 2023/08/17 Processed: closing 1045802 Debian Bug Tracking System
• 2023/08/17 Processed: closing 1049060 Debian Bug Tracking System
• 2023/08/17 Processed: closing 1047364 Debian Bug Tracking System
• 2023/08/17 Processed: closing 1046306 Debian Bug Tracking System
• 2023/08/17 Processed: closing 1045468 Debian Bug Tracking System
• 2023/08/17 Processed: closing 1045289 Debian Bug Tracking System
• 2023/08/17 jst-config_0.16.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 Processing of ocaml-time-now_0.16.0-3_source.changes Debian FTP Masters
• 2023/08/17 Processed: closing 1048105 Debian Bug Tracking System
• 2023/08/17 Processed: closing 1048587 Debian Bug Tracking System
• 2023/08/17 ocaml-time-now_0.16.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-ansi-terminal_0.8.5-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 Processing of jst-config_0.16.0-3_source.changes Debian FTP Masters
• 2023/08/17 Processing of ocaml-ansi-terminal_0.8.5-3_source.changes Debian FTP Masters
• 2023/08/17 ppx-import_1.10.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ppx-hash_0.16.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ppx-enumerate_0.16.0-5_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ppx-cold_0.16.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ppx-base_0.16.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ppx-assert_0.16.0-5_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 Processing of ppx-assert_0.16.0-5_source.changes Debian FTP Masters
• 2023/08/17 Processing of ppx-enumerate_0.16.0-5_source.changes Debian FTP Masters
• 2023/08/17 Processing of ppx-import_1.10.0-3_source.changes Debian FTP Masters
• 2023/08/17 Processing of ppx-base_0.16.0-3_source.changes Debian FTP Masters
• 2023/08/17 Processing of ppx-hash_0.16.0-4_source.changes Debian FTP Masters
• 2023/08/17 Processing of ppx-cold_0.16.0-4_source.changes Debian FTP Masters
• 2023/08/17 meta-ocaml_4.13.1.1_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 Processing of meta-ocaml_4.13.1.1_source.changes Debian FTP Masters
• 2023/08/17 ocaml-merlin_4.7-413-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 meta-ocaml_4.13.1.0_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 mathcomp-analysis_0.6.4-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 prooftree_0.13-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 Processing of prooftree_0.13-3_source.changes Debian FTP Masters
• 2023/08/17 [Git][ocaml-team/prooftree] Pushed new tag archive/debian/0.13-3 @glondu
• 2023/08/17 [Git][ocaml-team/prooftree] Pushed new tag debian/0.13-3 @glondu
• 2023/08/17 [Git][ocaml-team/prooftree][master] Prepare upload to unstable @glondu
• 2023/08/17 ocaml-eqaf_0.9-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 Processing of ocaml-eqaf_0.9-4_source.changes Debian FTP Masters
• 2023/08/17 coccinelle_1.1.1.deb-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 Processing of coccinelle_1.1.1.deb-4_source.changes Debian FTP Masters
• 2023/08/17 [Git][ocaml-team/coccinelle] Pushed new tag archive/debian/1.1.1.deb-4 @glondu
• 2023/08/17 [Git][ocaml-team/coccinelle] Pushed new tag debian/1.1.1.deb-4 @glondu
• 2023/08/17 [Git][ocaml-team/coccinelle][master] Disable native code compilation on armhf (Closes: #1049958) and riscv64 @glondu
• 2023/08/17 Bug#1049958: marked as done (coccinelle: FTBFS on armhf - Fatal error: out of memory) Debian Bug Tracking System
• 2023/08/17 Processed: Bug#1049958 marked as pending in coccinelle Debian Bug Tracking System
• 2023/08/17 Bug#1049958: coccinelle: FTBFS on armhf - Fatal error: out of memory Emanuele Rocca
• 2023/08/17 mathcomp-analysis_0.6.4-1_amd64.changes is NEW Debian FTP Masters
• 2023/08/17 Processing of mathcomp-analysis_0.6.4-1_amd64.changes Debian FTP Masters
• 2023/08/17 psmt2-frontend_0.4.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 parmap_1.2.5-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ounit_2.2.7-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-x509_0.16.5-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-taglib_0.3.10-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-speex_0.4.1-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-sedlex_3.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-qcheck_0.21.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-parsexp_0.16.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-parany_14.0.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-frei0r_0.1.2-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-ffmpeg_1.1.8-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-extunix_0.4.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-eqaf_0.9-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-domain-name_0.4.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-dssi_0.1.5-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-cstruct_6.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-config-file_1.2.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-ca-certs_0.2.3-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-bjack_0.1.6-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-bigarray-compat_1.1.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-benchmark_1.6-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-asn1-combinators_0.2.6-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 ocaml-afl-persistent_1.4-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 mlpost_0.9-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 lwt-ssl_1.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 lwt-log_1.1.2-4_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 lambda-term_3.3.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
• 2023/08/17 Processing of ocaml-dssi_0.1.5-3_source.changes Debian FTP Masters
• 2023/08/17 Processing of ocaml-asn1-combinators_0.2.6-4_source.changes Debian FTP Masters
• 2023/08/17 Processing of ocaml-parany_14.0.0-2_source.changes Debian FTP Masters
• 2023/08/17 Processing of lambda-term_3.3.1-3_source.changes Debian FTP Masters
• 2023/08/17 Processing of ocaml-bigarray-compat_1.1.0-3_source.changes Debian FTP Masters
• 2023/08/17 Processing of ocaml-afl-persistent_1.4-4_source.changes Debian FTP Masters
• 2023/08/17 Processing of ocaml-domain-name_0.4.0-3_source.changes Debian FTP Masters
• 2023/08/17 Processing of ocaml-extunix_0.4.1-3_source.changes Debian FTP Masters
• 2023/08/17 Processing of mlpost_0.9-4_source.changes Debian FTP Masters
• 2023/08/17 Processing of ocaml-taglib_0.3.10-3_source.changes Debian FTP Masters
• 2023/08/17 Processing of ocaml-parsexp_0.16.0-3_source.changes Debian FTP Masters
• 2023/08/17 Processing of ocaml-qcheck_0.21.1-2_source.changes Debian FTP Masters
• 2023/08/17 Processing of ocaml-sedlex_3.0-3_source.changes Debian FTP Masters
• 2023/08/17 Processing of ocaml-speex_0.4.1-4_source.changes Debian FTP Masters
• 2023/08/17 [Git][ocaml-team/mlpost] Pushed new tag debian/0.9-4 @glondu
• 2023/08/17 [Git][ocaml-team/lambda-term] Pushed new tag debian/3.3.1-3 @glondu
• 2023/08/17 [Git][ocaml-team/mlpost] Pushed new tag archive/debian/0.9-4 @glondu
• 2023/08/17 [Git][ocaml-team/lambda-term] Pushed new tag archive/debian/3.3.1-3 @glondu
• 2023/08/17 [Git][ocaml-team/mlpost][master] Prepare upload to unstable @glondu
• 2023/08/17 [Git][ocaml-team/lambda-term][master] Prepare upload to unstable @glondu
• 2023/08/17 [Git][ocaml-team/ocaml-dssi] Pushed new tag debian/0.1.5-3 @glondu
• 2023/08/17 [Git][ocaml-team/ocaml-dssi] Pushed new tag archive/debian/0.1.5-3 @glondu
• 2023/08/17 [Git][ocaml-team/ocaml-dssi][master] Prepare upload to unstable @glondu
• 2023/08/17 [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.1-3 @glondu
• 2023/08/17 [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.1-3 @glondu
• 2023/08/17 [Git][ocaml-team/ocaml-extunix][master] Prepare upload to unstable @glondu
• 2023/08/17 [Git][ocaml-team/ocaml-speex] Pushed new tag debian/0.4.1-4 @glondu
• 2023/08/17 [Git][ocaml-team/ocaml-sedlex] Pushed new tag debian/3.0-3 @glondu

• Earlier messages
• Later messages