debian-ocaml-maint  

Messages by Thread

• • sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
  • sail-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
• paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
  • paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
  • paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
  • paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
  • paramcoq is marked for autoremoval from testing Debian testing autoremoval watch
• ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
  • ppx-yojson-conv-lib is marked for autoremoval from testing Debian testing autoremoval watch
• react is marked for autoremoval from testing Debian testing autoremoval watch
  • react is marked for autoremoval from testing Debian testing autoremoval watch
  • react is marked for autoremoval from testing Debian testing autoremoval watch
  • react is marked for autoremoval from testing Debian testing autoremoval watch
  • react is marked for autoremoval from testing Debian testing autoremoval watch
  • react is marked for autoremoval from testing Debian testing autoremoval watch
• tyxml is marked for autoremoval from testing Debian testing autoremoval watch
  • tyxml is marked for autoremoval from testing Debian testing autoremoval watch
  • tyxml is marked for autoremoval from testing Debian testing autoremoval watch
  • tyxml is marked for autoremoval from testing Debian testing autoremoval watch
  • tyxml is marked for autoremoval from testing Debian testing autoremoval watch
• flocq is marked for autoremoval from testing Debian testing autoremoval watch
  • flocq is marked for autoremoval from testing Debian testing autoremoval watch
  • flocq is marked for autoremoval from testing Debian testing autoremoval watch
  • flocq is marked for autoremoval from testing Debian testing autoremoval watch
  • flocq is marked for autoremoval from testing Debian testing autoremoval watch
• uuidm is marked for autoremoval from testing Debian testing autoremoval watch
  • uuidm is marked for autoremoval from testing Debian testing autoremoval watch
  • uuidm is marked for autoremoval from testing Debian testing autoremoval watch
  • uuidm is marked for autoremoval from testing Debian testing autoremoval watch
  • uuidm 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
  • jsonm 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
• 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
• dose3 is marked for autoremoval from testing Debian testing autoremoval watch
  • dose3 is marked for autoremoval from testing Debian testing autoremoval watch
  • dose3 is marked for autoremoval from testing Debian testing autoremoval watch
  • dose3 is marked for autoremoval from testing Debian testing autoremoval watch
  • dose3 is marked for autoremoval from testing Debian testing autoremoval watch
  • dose3 is marked for autoremoval from testing Debian testing autoremoval watch
• coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-stdpp is marked for autoremoval from testing Debian testing autoremoval watch
• unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
  • unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
  • unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
  • unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
  • unison-2.53 is marked for autoremoval from testing Debian testing autoremoval watch
• uutf is marked for autoremoval from testing Debian testing autoremoval watch
  • uutf is marked for autoremoval from testing Debian testing autoremoval watch
  • uutf is marked for autoremoval from testing Debian testing autoremoval watch
  • uutf is marked for autoremoval from testing Debian testing autoremoval watch
  • uutf is marked for autoremoval from testing Debian testing autoremoval watch
• coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-iris is marked for autoremoval from testing Debian testing autoremoval watch
• coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-relation-algebra is marked for autoremoval from testing Debian testing autoremoval watch
• coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-unimath is marked for autoremoval from testing Debian testing autoremoval watch
• coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
• coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-mtac2 is marked for autoremoval from testing Debian testing autoremoval watch
• coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-unicoq is marked for autoremoval from testing Debian testing autoremoval watch
• coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-reduction-effects is marked for autoremoval from testing Debian testing autoremoval watch
• coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-reglang is marked for autoremoval from testing Debian testing autoremoval watch
• coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-menhirlib is marked for autoremoval from testing Debian testing autoremoval watch
• coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-hammer is marked for autoremoval from testing Debian testing autoremoval watch
• coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-dpdgraph is marked for autoremoval from testing Debian testing autoremoval watch
• coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-hott is marked for autoremoval from testing Debian testing autoremoval watch
• coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-libhyps is marked for autoremoval from testing Debian testing autoremoval watch
• coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
• coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-corn is marked for autoremoval from testing Debian testing autoremoval watch
• coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
  • coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
• aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
  • aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
  • aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
  • aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
  • aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
• obus is marked for autoremoval from testing Debian testing autoremoval watch
  • obus is marked for autoremoval from testing Debian testing autoremoval watch
  • obus is marked for autoremoval from testing Debian testing autoremoval watch
  • obus is marked for autoremoval from testing Debian testing autoremoval watch
  • obus is marked for autoremoval from testing Debian testing autoremoval watch
• wyrd is marked for autoremoval from testing Debian testing autoremoval watch
  • wyrd is marked for autoremoval from testing Debian testing autoremoval watch
  • wyrd is marked for autoremoval from testing Debian testing autoremoval watch
  • wyrd is marked for autoremoval from testing Debian testing autoremoval watch
  • wyrd is marked for autoremoval from testing Debian testing autoremoval watch
• ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
  • ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
• yojson is marked for autoremoval from testing Debian testing autoremoval watch
  • yojson is marked for autoremoval from testing Debian testing autoremoval watch
  • yojson is marked for autoremoval from testing Debian testing autoremoval watch
  • yojson is marked for autoremoval from testing Debian testing autoremoval watch
  • yojson is marked for autoremoval from testing Debian testing autoremoval watch
• Bug#1114239: ocaml-hmap: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
  • Bug#1114239: marked as done (ocaml-hmap: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• ocaml-dune_3.20.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
• Processing of ocaml-dune_3.20.2-2_source.changes Debian FTP Masters
• [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.20.2-2 @glondu
• [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.20.2-2 @glondu
• [Git][ocaml-team/ocaml-dune][master] 2 commits: Fix autopkgtest on bytecode archs @glondu
• Bug#1114428: uutf: FTBFS: dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2 Santiago Vila
  • Bug#1114428: marked as done (uutf: FTBFS: dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2) Debian Bug Tracking System
• Bug#1114345: react: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
  • Processed: Bug#1114345 marked as pending in react Debian Bug Tracking System
  • Bug#1114345: marked as pending in react Stéphane Glondu
  • Bug#1114345: marked as done (react: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• Bug#1114242: ocaml-uuseg: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
  • Bug#1114242: marked as done (ocaml-uuseg: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• Bug#1114241: ocaml-ptime: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
  • Bug#1114241: marked as done (ocaml-ptime: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• Bug#1114240: ocaml-mtime: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
  • Bug#1114240: marked as done (ocaml-mtime: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• Bug#1114238: ocaml-fpath: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
  • Bug#1114238: marked as done (ocaml-fpath: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• Bug#1114237: ocaml-astring: FTBFS: dh_missing: error: missing files, aborting Santiago Vila
  • Bug#1114237: marked as done (ocaml-astring: FTBFS: dh_missing: error: missing files, aborting) Debian Bug Tracking System
• [Git][ocaml-team/ocaml-dune][pristine-tar] pristine-tar data for ocaml-dune_3.20.2.orig.tar.bz2 @glondu

• Earlier messages
• Later messages