debian-ocaml-maint  

Messages by Thread

• • nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
  • nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
  • nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
  • nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
  • nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
• not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
  • not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
  • not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
  • not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
  • not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
  • not-ocamlfind is marked for autoremoval from testing Debian testing autoremoval watch
• js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
  • js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
  • js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
  • js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
  • js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
  • js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
• morbig is marked for autoremoval from testing Debian testing autoremoval watch
  • morbig is marked for autoremoval from testing Debian testing autoremoval watch
  • morbig is marked for autoremoval from testing Debian testing autoremoval watch
  • morbig is marked for autoremoval from testing Debian testing autoremoval watch
  • morbig is marked for autoremoval from testing Debian testing autoremoval watch
  • morbig is marked for autoremoval from testing Debian testing autoremoval watch
  • morbig is marked for autoremoval from testing Debian testing autoremoval watch
• jsonm is marked for autoremoval from testing Debian testing autoremoval watch
  • jsonm is marked for autoremoval from testing Debian testing autoremoval watch
  • jsonm is marked for autoremoval from testing Debian testing autoremoval watch
• meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
  • lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
  • lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
  • lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
  • lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
  • lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
• mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
• mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-multinomials is marked for autoremoval from testing Debian testing autoremoval watch
• mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
• mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
• mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
  • mathcomp-algebra-tactics is marked for autoremoval from testing Debian testing autoremoval watch
• ledit is marked for autoremoval from testing Debian testing autoremoval watch
  • ledit is marked for autoremoval from testing Debian testing autoremoval watch
  • ledit is marked for autoremoval from testing Debian testing autoremoval watch
  • ledit is marked for autoremoval from testing Debian testing autoremoval watch
  • ledit is marked for autoremoval from testing Debian testing autoremoval watch
  • ledit is marked for autoremoval from testing Debian testing autoremoval watch
• lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
• lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
• [Git][ocaml-team/why3] Pushed new tag debian/1.8.2-1 Ralf Treinen (@treinen)
• Processed: tagging 1039125, reassign 1017553 to src:nvidia-texture-tools ..., tagging 1116253, tagging 1047026 ... Debian Bug Tracking System
• [Git][ocaml-team/ocaml-re][pristine-tar] pristine-tar data for ocaml-re_1.14.0.orig.tar.gz @glondu
• Processing of ocaml-uunf_17.0.0-1_source.changes Debian FTP Masters
• Processing of bisect-ppx_2.8.3+dfsg-4_source.changes Debian FTP Masters
• Processing of why3_1.8.2-1_source.changes Debian FTP Masters
• [Git][ocaml-team/why3] Pushed new tag upstream/1.8.2 Ralf Treinen (@treinen)
• why3_1.8.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.2.orig.tar.bz2 Ralf Treinen (@treinen)
• [Git][ocaml-team/lambda-term] Pushed new tag debian/3.3.2-2 @glondu
• ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-iomux is marked for autoremoval from testing Debian testing autoremoval watch
• [Git][ocaml-team/ocaml-re] Pushed new tag upstream/1.14.0 @glondu
• [Git][ocaml-team/ocamlgraph] Pushed new tag debian/2.2.0-2 @glondu
• ocaml-iomux_0.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
• lambda-term_3.3.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/lambda-term][master] 2 commits: Update packaging @glondu
  • [Git][ocaml-team/lambda-term][master] 2 commits: Update packaging @glondu
• Processing of ocaml-iomux_0.4-1_source.changes Debian FTP Masters
• Processing of ocaml-uuseg_17.0.0-1_source.changes Debian FTP Masters
• ocaml-uunf_17.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-uuseg_17.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-uucp_17.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
• ocaml-base64_3.5.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
• [Git][ocaml-team/ocaml-base64][upstream] New upstream version 3.5.2 @glondu
• [Git][ocaml-team/ocaml-re] Pushed new tag debian/1.14.0-1 @glondu
• [Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.14.0-1 @glondu
• [Git][ocaml-team/ocaml-re][master] 6 commits: Bump debian/watch version to 5 @glondu
• Accepted coq 9.1.0+dfsg-1 (source amd64) into experimental Debian FTP Masters
• Bug#1111916: coq-quickchick: diff for NMU version 2.1.0-1.1 Adrian Bunk
  • Processed: coq-quickchick: diff for NMU version 2.1.0-1.1 Debian Bug Tracking System
• Processing of coq-quickchick_2.1.0-1.1_source.changes Debian FTP Masters
• ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-ptime is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
• js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
  • liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
• lwt is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt is marked for autoremoval from testing Debian testing autoremoval watch
  • lwt 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
• elpi is marked for autoremoval from testing Debian testing autoremoval watch
  • elpi is marked for autoremoval from testing Debian testing autoremoval watch
  • elpi is marked for autoremoval from testing Debian testing autoremoval watch
  • elpi is marked for autoremoval from testing Debian testing autoremoval watch
  • elpi is marked for autoremoval from testing Debian testing autoremoval watch
  • elpi is marked for autoremoval from testing Debian testing autoremoval watch
  • elpi is marked for autoremoval from testing Debian testing autoremoval watch
• ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
• ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-yojson-conv is marked for autoremoval from testing Debian testing autoremoval watch
• why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
  • why3 is marked for autoremoval from testing Debian testing autoremoval watch
• coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-quickchick is marked for autoremoval from testing Debian testing autoremoval watch

• Earlier messages
• Later messages