debian-ocaml-maint  

Messages by Thread

• • ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-multicore-magic is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-saturn is marked for autoremoval from testing Debian testing autoremoval watch
• tophide is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-merlin is marked for autoremoval from testing Debian testing autoremoval watch
• Processing of ocaml-tools_20120103-13_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-tools] Pushed new tag debian/20120103-13 @glondu
• [Git][ocaml-team/ocaml-tools] Pushed new tag archive/debian/20120103-13 @glondu
• [Git][ocaml-team/ocaml-tools][master] Recompile with OCaml 5.3.0 @glondu
• ocaml-tools_20120103-13_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-alcotest_1.8.0-2_source.changes Debian FTP Masters
• ocaml-alcotest_1.8.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.3.0-2 @glondu
• ocaml_5.3.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml_5.3.0-2_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.3.0-2 @glondu
• Bug#1094334: ocaml: Please enable natdynlink on hurd-amd64 Samuel Thibault
  • Processed: Bug#1094334 marked as pending in ocaml Debian Bug Tracking System
  • Bug#1094334: marked as done (ocaml: Please enable natdynlink on hurd-amd64) Debian Bug Tracking System
• ppxlib-jane_0.17.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ppxlib-jane_0.17.2-1_source.changes Debian FTP Masters
• Processing of camlp4_5.3+1-1_source.changes Debian FTP Masters
• camlp4_5.3+1-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/camlp4] Pushed new tag archive/debian/5.3+1-1 @glondu
• [Git][ocaml-team/camlp4] Pushed new tag debian/5.3+1-1 @glondu
• [Git][ocaml-team/camlp4][master] Prepare upload to unstable @glondu
  • [Git][ocaml-team/camlp4][master] Prepare upload to unstable @glondu
• Processed: severity of 1093101 is serious, severity of 1093102 is serious, severity of 1093103 is serious ... Debian Bug Tracking System
• ocaml_5.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml_5.3.0-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.3.0-1 @glondu
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.3.0-1 @glondu
• [Git][ocaml-team/ocaml][debian/sid] 14 commits: Switch to experimental branches @glondu
• [Git][ocaml-team/ocaml][upstream/sid] 2 commits: New upstream version 5.2.1 @glondu
• coq-doc is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-markup_1.0.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
• Bug#1093964: Removed package(s) from unstable Debian FTP Masters
• Bug#1093967: ocaml-taglib: Should this abandoned project be removed from Debian? Bastian Germann
  • Bug#1093967: marked as done (ocaml-taglib: Should this abandoned project be removed from Debian?) Debian Bug Tracking System
• Processing of ben_1.8_source.changes Debian FTP Masters
• ben_1.8_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/coq-doc][master] Improve the patch to compile with recent Python Julien Puydt (@jpuydt)
• [Git][ocaml-team/coq-doc] Pushed new tag debian/8.20.0-2 Julien Puydt (@jpuydt)
• Bug#1093827: why3 has an undeclared file conflict on /usr/lib/ocaml/why3 Helmut Grohne
  • Processed: why3 has an undeclared file conflict on /usr/lib/ocaml/why3 Debian Bug Tracking System
  • Processed: Bug#1093827 marked as pending in why3 Debian Bug Tracking System
  • Bug#1093827: marked as done (why3 has an undeclared file conflict on /usr/lib/ocaml/why3) Debian Bug Tracking System
• [Git][ocaml-team/why3] Pushed new tag upstream/1.8.0 Ralf Treinen (@treinen)
• [Git][ocaml-team/why3][master] upload to unstable Ralf Treinen (@treinen)
• [Git][ocaml-team/why3] Pushed new tag debian/1.8.0-1 Ralf Treinen (@treinen)
• [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.0.orig.tar.bz2 Ralf Treinen (@treinen)
• why3_1.8.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of why3_1.8.0-1_source.changes Debian FTP Masters
• Processing of ocaml-markup_1.0.3-1_amd64.changes Debian FTP Masters
• ocaml-markup_1.0.3-1_amd64.changes is NEW Debian FTP Masters
• Bug#1093660: ITP: ocaml-markup -- error-recovering functional HTML5 and XML parsers and writers Stéphane Glondu
• [Git][ocaml-team/why3] Deleted branch v1.8.0/master Ralf Treinen (@treinen)
• [Git][ocaml-team/why3][master] 6 commits: New upstream version 1.8.0 Ralf Treinen (@treinen)
• [bts-link] source package src:ocaml-taglib debian-bts-link
• [Git][ocaml-team/coccinelle][pristine-tar] pristine-tar data for coccinelle_1.3.0.deb.orig.tar.gz Ralf Treinen (@treinen)
• [Git][ocaml-team/coccinelle][master] 7 commits: New upstream version 1.3.0.deb Ralf Treinen (@treinen)
• [Git][ocaml-team/coccinelle][upstream] New upstream version 1.3.0.deb Ralf Treinen (@treinen)
• Processing of unison-2.53_2.53.7-2_source.changes Debian FTP Masters
• unison-2.53_2.53.7-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/unison] Pushed new tag archive/debian/2.53.7-2 @glondu
• [Git][ocaml-team/unison] Pushed new tag debian/2.53.7-2 @glondu
• [Git][ocaml-team/unison][2.53/debian] Synchronize debian/control.in with debian/control @glondu
• unison-2.53_2.53.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of unison-2.53_2.53.7-1_source.changes Debian FTP Masters
• [Git][ocaml-team/unison][pristine-tar] 2 commits: pristine-tar data for unison-2.53_2.53.6.orig.tar.gz @glondu
• [Git][ocaml-team/why3] Pushed new branch v1.8.0/master Ralf Treinen (@treinen)
• [Git][ocaml-team/coccinelle] Pushed new tag upstream/1.3.0.deb Ralf Treinen (@treinen)
• [Git][ocaml-team/coccinelle] Pushed new tag debian/1.3.0.deb-1 Ralf Treinen (@treinen)
• Processing of coccinelle_1.3.0.deb-1_source.changes Debian FTP Masters
• Bug#1087437: marked as done (coccinelle: FTBFS: Fatal error occurred, no output PDF file produced!) Debian Bug Tracking System
• coccinelle_1.3.0.deb-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processed: severity of 1093099 is serious Debian Bug Tracking System
• Processed: merging 1087437 1093099 Debian Bug Tracking System
• Processing of ocaml-version_3.7.3-1_source.changes Debian FTP Masters
• ocaml-version_3.7.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-qcheck_0.23-1_source.changes Debian FTP Masters
• ocaml-qcheck_0.23-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-fileutils_0.6.6-1_source.changes Debian FTP Masters
• Processing of ocaml-mccs_1.1+19-1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-fileutils][pristine-tar] 2 commits: pristine-tar data for ocaml-fileutils_0.6.5.orig.tar.gz @glondu
• ocaml-fileutils_0.6.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-mccs_1.1+19-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Bug#1093087: Removed package(s) from unstable Debian FTP Masters
  • Bug#1093087: Removed package(s) from unstable Debian FTP Masters
  • Bug#1000004: marked as done (pcre-ocaml: depends on obsolete pcre3 library) Debian Bug Tracking System
  • Bug#1048064: marked as done (pcre-ocaml: Fails to build source after successful build) Debian Bug Tracking System
• Processed (with 1 error): Duplicate! Debian Bug Tracking System
• Bug#1093324: coq-doc: FTBFS: No module named 'typing.io'; 'typing' is not a package Santiago Vila
  • Processed: Bug#1093324 marked as pending in coq-doc Debian Bug Tracking System
  • Bug#1093324: marked as done (coq-doc: FTBFS: No module named 'typing.io'; 'typing' is not a package) Debian Bug Tracking System
• Bug#1086600: marked as done (ocaml: Please enable native backend on hurd-amd64) Debian Bug Tracking System
  • Bug#1086600: marked as done (ocaml: Please enable native backend on hurd-amd64) Debian Bug Tracking System
• ocaml-multicoretests_0.4-2_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml_5.3.0-1~exp2_source.changes ACCEPTED into experimental Debian FTP Masters
• Processing of ocaml-multicoretests_0.4-2_source.changes Debian FTP Masters
• Processing of ocaml_5.3.0-1~exp2_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml][debian/experimental] 5 commits: Run tests with OCAML_TEST_SIZE=1 @glondu
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.3.0-1_exp2 @glondu
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.3.0-1_exp2 @glondu
• Processed: Bug#1086600 marked as pending in ocaml Debian Bug Tracking System
• Bug#1093112: why3: FTBFS with OCaml 5.3.0 (syntax error due to new "effect" keyword) Stephane Glondu
• Bug#1093106: ocaml-taglib: FTBFS with OCaml 5.3.0 (error in C stubs, not in testing) Stephane Glondu
  • Bug#1093106: marked as done (ocaml-taglib: FTBFS with OCaml 5.3.0 (error in C stubs, not in testing)) Debian Bug Tracking System
• Bug#1093111: tophide: FTBFS with OCaml 5.3.0 (Format-related change) Stephane Glondu
  • Bug#1093111: marked as done (tophide: FTBFS with OCaml 5.3.0 (Format-related change)) Debian Bug Tracking System
• Bug#1093104: ocaml-merlin: FTBFS with OCaml 5.3.0 (needs porting) Stephane Glondu
  • Bug#1093104: marked as done (ocaml-merlin: FTBFS with OCaml 5.3.0 (needs porting)) Debian Bug Tracking System
• Bug#1093105: ocaml-multicore-magic: FTBFS with OCaml 5.3.0 (packaging issue) Stephane Glondu
  • Bug#1093105: marked as done (ocaml-multicore-magic: FTBFS with OCaml 5.3.0 (packaging issue)) Debian Bug Tracking System
• Bug#1093102: frama-c: FTBFS with OCaml 5.3.0 (syntax error due to new "effect" keyword) Stephane Glondu
• Bug#1093101: eliom: FTBFS with OCaml 5.3.0 (ppx needs porting) Stephane Glondu
  • Processed: Bug#1093101 marked as pending in eliom Debian Bug Tracking System
  • Bug#1093101: marked as done (eliom: FTBFS with OCaml 5.3.0 (ppx needs porting)) Debian Bug Tracking System
• Bug#1093100: coq-doc: FTBFS with OCaml 5.3.0 (seems unrelated to OCaml) Stephane Glondu
  • Bug#1093100: marked as done (coq-doc: FTBFS with OCaml 5.3.0 (seems unrelated to OCaml)) Debian Bug Tracking System
• Bug#1093099: coccinelle: FTBFS with OCaml 5.3.0 (make[2]: *** [Makefile:39: manual.pdf] Error 1) Stephane Glondu
  • Bug#1093099: not an ocaml-related error Ralf Treinen
  • Bug#1093099: marked as done (coccinelle: FTBFS with OCaml 5.3.0 (make[2]: *** [Makefile:39: manual.pdf] Error 1)) Debian Bug Tracking System
• Bug#1093087: RM: pcre-ocaml -- ROM; depends on obsolete pcre3 library Stéphane Glondu
• ocaml-gettext_0.4.2-5_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-gettext_0.4.2-5_source.changes Debian FTP Masters
• ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
• eliom is marked for autoremoval from testing Debian testing autoremoval watch
  • eliom is marked for autoremoval from testing Debian testing autoremoval watch
  • eliom is marked for autoremoval from testing Debian testing autoremoval watch
  • eliom is marked for autoremoval from testing Debian testing autoremoval watch
  • eliom is marked for autoremoval from testing Debian testing autoremoval watch
  • eliom is marked for autoremoval from testing Debian testing autoremoval watch
  • eliom is marked for autoremoval from testing Debian testing autoremoval watch
  • eliom is marked for autoremoval from testing Debian testing autoremoval watch
• [Git][ocaml-team/ocaml-gettext] Pushed new tag archive/debian/0.4.2-5 @glondu
• [Git][ocaml-team/ocaml-gettext] Pushed new tag debian/0.4.2-5 @glondu
• ocaml-stdcompat_20~git20240529-2_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-batteries_3.9.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• camlp5_8.03.01-1_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of camlp5_8.03.01-1_source.changes Debian FTP Masters
• Processing of ocaml-batteries_3.9.0-1_source.changes Debian FTP Masters
• Processing of ocaml-stdcompat_20~git20240529-2_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.9.0-1 @glondu
• [Git][ocaml-team/ocaml-batteries][master] 4 commits: New upstream version 3.9.0 @glondu
• [Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.9.0 @glondu
• [Git][ocaml-team/ocaml-batteries][pristine-tar] pristine-tar data for ocaml-batteries_3.9.0.orig.tar.gz @glondu
• [Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.9.0-1 @glondu
• [Git][ocaml-team/ocaml-batteries][upstream] New upstream version 3.9.0 @glondu
• [Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.01 @glondu
• [Git][ocaml-team/camlp5] Pushed new tag debian/8.03.01-1 @glondu
• [Git][ocaml-team/camlp5][upstream] New upstream version 8.03.01 @glondu
• [Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.03.01-1 @glondu
• [Git][ocaml-team/camlp5][master] 5 commits: New upstream version 8.03.01 @glondu
• [Git][ocaml-team/camlp5][pristine-tar] pristine-tar data for camlp5_8.03.01.orig.tar.gz @glondu
• Processing of ppxlib_0.34.0-1_source.changes Debian FTP Masters
• ppxlib_0.34.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/camlp4] Pushed new tag upstream/5.3+1 @glondu
• [Git][ocaml-team/camlp4][pristine-tar] pristine-tar data for camlp4_5.3+1.orig.tar.gz @glondu
• Processing of ocaml_5.3.0-1~exp1_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.3.0-1_exp1 @glondu
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.3.0-1_exp1 @glondu
• [Git][ocaml-team/ocaml][debian/experimental] Prepare upload to experimental @glondu
• ocaml_5.3.0-1~exp1_source.changes ACCEPTED into experimental Debian FTP Masters
• Bug#1092985: OCaml 5.3.0 Stéphane Glondu
  • Re: Bug#1092985: OCaml 5.3.0 Julien Puydt
  • Bug#1092985: OCaml 5.3.0 Stéphane Glondu
  • Bug#1092985: OCaml 5.3.0 Ralf Treinen
  • Bug#1092985: OCaml 5.3.0 Kyle Robbertze
  • Bug#1092985: OCaml 5.3.0 Julien Puydt
  • Bug#1092985: marked as done (OCaml 5.3.0) Debian Bug Tracking System
• Bug#1092976: RM: ocaml-taglib/0.3.10-3+b2 Boyuan Yang
• Bug#1092688: ocaml-taglib: FTBFS with taglib 2.0 Boyuan Yang
  • Processed: Re: ocaml-taglib: FTBFS with taglib 2.0 Debian Bug Tracking System
• [Git][ocaml-team/ocaml][debian/experimental] 56 commits: Revert "Switch to experimental branches" @glondu
• [Git][ocaml-team/ocaml] Pushed new tag upstream/5.3.0 @glondu
• [Git][ocaml-team/ocaml] Pushed new tag upstream/5.2.1 @glondu
• [Git][ocaml-team/ocaml][upstream/experimental] 3 commits: New upstream version 5.2.0 @glondu
• [Git][ocaml-team/ocaml][pristine-tar] 2 commits: pristine-tar data for ocaml_5.2.1.orig.tar.xz @glondu
• liquidsoap_2.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/liquidsoap] Pushed new tag debian/2.3.0-1 Kyle Robbertze (@paddatrapper)
• Processing of liquidsoap_2.3.0-1_source.changes Debian FTP Masters
• Bug#1072432: marked as done (liquidsoap: FTBFS with ffmpeg 7.0: (.text+0x4b60): undefined reference to `av_get_channel_name') Debian Bug Tracking System
• [Git][ocaml-team/liquidsoap][master] prepare upload to unstable Kyle Robbertze (@paddatrapper)
• Bug#1077110: marked as done (liquidsoap: needs rebuild against dh-elpa >=2.1.5) Debian Bug Tracking System

• Later messages