debian-ocaml-maint Sep 2020 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
- coccinelle is marked for autoremoval from testing Debian testing autoremoval watch
- Processed: tagging 968946 Debian Bug Tracking System
- Bug#886712: marked as done (Semantic patch uses python, but Coccinelle has been compiled without Python support) Debian Bug Tracking System
- Bug#968946: marked as done (coccinelle: FTBFS in sid) Debian Bug Tracking System
- Processing of coccinelle_1.0.8.deb-4_source.changes Debian FTP Masters
- coccinelle_1.0.8.deb-4_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#969451: coccinelle: use the system pyml library Pino Toscano
- Processed: limit source to coccinelle, tagging 969451 Debian Bug Tracking System
- Bug#830185: marked as done ([coccinelle] Fatal errors when running Linux coccicheck) Debian Bug Tracking System
- [Git][ocaml-team/ocaml][pristine-tar] 6 commits: pristine-tar data for ocaml_4.09.0.orig.tar.xz Stéphane Glondu
- [Git][ocaml-team/ocaml][debian/experimental] 65 commits: Provide libnum-ocaml{,-dev} Stéphane Glondu
- [Git][ocaml-team/ocaml][upstream/experimental] 6 commits: New upstream version 4.09.0 Stéphane Glondu
- Processing of ocaml_4.11.1-1_source.changes Debian FTP Masters
- [Git][ocaml-team/camlp5][pristine-tar] pristine-tar data for camlp5_7.13.orig.tar.gz Stéphane Glondu
- [Git][ocaml-team/camlp5] Pushed new tag debian/7.13-1 Stéphane Glondu
- [Git][ocaml-team/camlp5] Pushed new tag upstream/7.13 Stéphane Glondu
- Processing of camlp5_7.13-1_source.changes Debian FTP Masters
- camlp5_7.13-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml_4.11.1-1_source.changes ACCEPTED into experimental Debian FTP Masters
- Processing of dh-ocaml_1.1.3_source.changes Debian FTP Masters
- dh-ocaml_1.1.3_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml] Pushed new tag archive/debian/4.11.1-2 Stéphane Glondu
- [Git][ocaml-team/ocaml] Pushed new tag debian/4.11.1-2 Stéphane Glondu
- Processing of ocaml_4.11.1-2_source.changes Debian FTP Masters
- ocaml_4.11.1-2_source.changes ACCEPTED into experimental Debian FTP Masters
- Paris 2021 conferene Sorbonne
- Processing of coq_8.12.0-2_source.changes Debian FTP Masters
- coq_8.12.0-2_source.changes ACCEPTED into experimental Debian FTP Masters
- Accepted coq 8.12.0-2 (source) into experimental Debian FTP Masters
- failed s390x build of coq 8.12.0-2 Debian buildds
- Processing of coccinelle_1.0.8.deb-5_source.changes Debian FTP Masters
- coccinelle_1.0.8.deb-5_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-ffmpeg_0.4.3-1_source.changes Debian FTP Masters
- ocaml-ffmpeg_0.4.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/why3][upstream] New upstream version 1.3.2 Ralf Treinen
- [Git][ocaml-team/why3][master] 4 commits: New upstream version 1.3.2 Ralf Treinen
- [Git][ocaml-team/ocaml-shine][master] 2 commits: Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse. Stéphane Glondu
- Bug#970010: ITP: ocaml-csexp -- parsing and printing of S-expressions in Canonical form Stéphane Glondu
- Processing of ocaml-csexp_1.3.1-1_amd64.changes Debian FTP Masters
- ocaml-csexp_1.3.1-1_amd64.changes is NEW Debian FTP Masters
- Processing of coq_8.12.0-3_source.changes Debian FTP Masters
- coq_8.12.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
- Accepted coq 8.12.0-3 (source) into unstable Debian FTP Masters
- [Git][ocaml-team/coq][upstream] 2 commits: New upstream version 8.11.1~pre1 Ralf Treinen
- [Git][ocaml-team/coq][master] 32 commits: New upstream version 8.10.1 Ralf Treinen
- [Git][ocaml-team/coq] Pushed new tag debian/8.12.0-3 Ralf Treinen
- failed s390x build of coq 8.12.0-3 Debian buildds
- Bug#953229: marked as done (coq: FTBFS test failures) Debian Bug Tracking System
- Processing of why3_1.3.2-1_source.changes Debian FTP Masters
- why3_1.3.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#970069: marionnet: bullseye: /updates -> -security Paul Wise
- [Git][ocaml-team/why3] Pushed new tag debian/1.3.2-1 Ralf Treinen
- [Git][ocaml-team/ssreflect][master] 4 commits: New upstream version 1.11.0 Ralf Treinen
- [Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_1.11.0.orig.tar.gz Ralf Treinen
- [Git][ocaml-team/ssreflect][upstream] New upstream version 1.11.0 Ralf Treinen
- Processing of ssreflect_1.11.0-1_source.changes Debian FTP Masters
- ssreflect_1.11.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ssreflect] Pushed new tag debian/1.11.0-1 Ralf Treinen
- [Git][ocaml-team/ssreflect] Pushed new tag upstream/1.11.0 Ralf Treinen
- [Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.12.0.orig.tar.gz Ralf Treinen
- [Git][ocaml-team/labltk] Pushed new tag archive/debian/8.06.9-1 Stéphane Glondu
- [Git][ocaml-team/labltk][pristine-tar] pristine-tar data for labltk_8.06.9.orig.tar.gz Stéphane Glondu
- [Git][ocaml-team/labltk] Pushed new tag debian/8.06.9-1 Stéphane Glondu
- [Git][ocaml-team/labltk] Pushed new tag upstream/8.06.9 Stéphane Glondu
- [Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.1.0-1 Stéphane Glondu
- [Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.1.0-1 Stéphane Glondu
- [Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.1.0 Stéphane Glondu
- Processing of labltk_8.06.9-1_source.changes Debian FTP Masters
- Processing of ocaml-batteries_3.1.0-1_source.changes Debian FTP Masters
- [Git][ocaml-team/opam-file-format][pristine-tar] pristine-tar data for opam-file-format_2.1.0.orig.tar.gz Stéphane Glondu
- [Git][ocaml-team/opam-file-format] Pushed new tag 2.1.0 Stéphane Glondu
- [Git][ocaml-team/opam-file-format] Pushed new tag archive/debian/2.1.0-1 Stéphane Glondu
- [Git][ocaml-team/opam-file-format] Pushed new tag debian/2.1.0-1 Stéphane Glondu
- labltk_8.06.9-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-batteries_3.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of opam-file-format_2.1.0-1_source.changes Debian FTP Masters
- opam-file-format_2.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#970222: ITP: ocaml-graphics -- the OCaml graphics library Stéphane Glondu
- [Git][ocaml-team/ocaml-dune] Pushed new branch debian/experimental Stéphane Glondu
- [Git][ocaml-team/ocaml-dune] Pushed new tag debian/2.7.0-1+exp1 Stéphane Glondu
- [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/2.7.0-1+exp1 Stéphane Glondu
- Processing of ocaml-dune_2.7.0-1+exp1_source.changes Debian FTP Masters
- ocaml-dune_2.7.0-1+exp1_source.changes ACCEPTED into experimental Debian FTP Masters
- Processing of ocaml-graphics_5.1.0-1_amd64.changes Debian FTP Masters
- ocaml-graphics_5.1.0-1_amd64.changes is NEW Debian FTP Masters
- Hi Dear Lisa Williams
- Bug#970510: why3: does not work with current version of cvc4 Fabian Wolff
- ocaml-bigarray-compat_1.0.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-graphics_5.1.0-1_amd64.changes ACCEPTED into experimental, experimental Debian FTP Masters
- ocaml-csexp_1.3.1-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-trie_1.0.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-rresult_0.6.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Processing of ocaml-cstruct_5.2.0-1_amd64.changes Debian FTP Masters
- ocaml-cstruct_5.2.0-1_amd64.changes is NEW Debian FTP Masters
- Bug#970626: ITP: ocaml-mew -- modal editing witch Stéphane Glondu
- Bug#970627: ITP: ocaml-mew-vi -- modal editing witch, VI interpreter Stéphane Glondu
- Processing of ocaml-mew_0.1.0-1_amd64.changes Debian FTP Masters
- ocaml-mew_0.1.0-1_amd64.changes is NEW Debian FTP Masters
- [Git][ocaml-team/ocaml-lame][pristine-tar] pristine-tar data for ocaml-lame_0.3.4.orig.tar.gz Stéphane Glondu
- [Git][ocaml-team/ocaml-lame][master] 6 commits: Update debian/watch Stéphane Glondu
- [Git][ocaml-team/ocaml-lame][upstream] New upstream version 0.3.4 Stéphane Glondu
- [Git][ocaml-team/ocaml-lame] Pushed new tag archive/debian/0.3.4-1 Stéphane Glondu
- [Git][ocaml-team/ocaml-lame] Pushed new tag debian/0.3.4-1 Stéphane Glondu
- [Git][ocaml-team/ocaml-lame] Pushed new tag upstream/0.3.4 Stéphane Glondu
- Processing of ocaml-lame_0.3.4-1_source.changes Debian FTP Masters
- Processing of ocaml-fpath_0.7.3-1_source.changes Debian FTP Masters
- ocaml-fpath_0.7.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-lame_0.3.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-qcheck_0.15-1_source.changes Debian FTP Masters
- ocaml-qcheck_0.15-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-qtest_2.11.1-1_source.changes Debian FTP Masters
- [Git][ocaml-team/ocaml-xmlplaylist][master] 6 commits: Update debian/watch Stéphane Glondu
- [Git][ocaml-team/ocaml-xmlplaylist][pristine-tar] pristine-tar data for ocaml-xmlplaylist_0.1.5.orig.tar.gz Stéphane Glondu
- [Git][ocaml-team/ocaml-xmlplaylist][upstream] New upstream version 0.1.5 Stéphane Glondu
- [Git][ocaml-team/ocaml-xmlplaylist] Pushed new tag archive/debian/0.1.5-1 Stéphane Glondu
- [Git][ocaml-team/ocaml-xmlplaylist] Pushed new tag debian/0.1.5-1 Stéphane Glondu
- [Git][ocaml-team/ocaml-xmlplaylist] Pushed new tag upstream/0.1.5 Stéphane Glondu
- ocaml-qtest_2.11.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-xmlplaylist_0.1.5-1_source.changes Debian FTP Masters
- [Git][ocaml-team/ocaml-zarith][pristine-tar] pristine-tar data for ocaml-zarith_1.10.orig.tar.gz Stéphane Glondu
- [Git][ocaml-team/ocaml-zarith] Pushed new tag archive/debian/1.10-1 Stéphane Glondu
- [Git][ocaml-team/ocaml-zarith] Pushed new tag debian/1.10-1 Stéphane Glondu
- [Git][ocaml-team/ocaml-zarith] Pushed new tag upstream/1.10 Stéphane Glondu
- ocaml-xmlplaylist_0.1.5-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-zarith_1.10-1_source.changes Debian FTP Masters
- ocaml-zarith_1.10-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#970744: ben: please provide machine-parseable version of transition status Sebastian Ramacher
- Status of aac-tactics (and migration of coq) Stéphane Glondu
- OCaml 4.11.1 Stéphane Glondu
- ocaml-cstruct_5.2.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-mew_0.1.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Processing of why3_1.3.3-1_source.changes Debian FTP Masters
- why3_1.3.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.3.3.orig.tar.gz Ralf Treinen
- [Git][ocaml-team/why3] Pushed new tag debian/1.3.3-1 Ralf Treinen
- [Git][ocaml-team/why3] Pushed new tag upstream/1.3.3 Ralf Treinen
- Processing of ocaml-mew-vi_0.5.0-1_amd64.changes Debian FTP Masters
- Processing of ocaml-hex_1.4.0-1_amd64.changes Debian FTP Masters
- ocaml-hex_1.4.0-1_amd64.changes is NEW Debian FTP Masters
- ocaml-mew-vi_0.5.0-1_amd64.changes is NEW Debian FTP Masters
- ocaml-hex_1.4.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-mew-vi_0.5.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- coq-float is marked for autoremoval from testing Debian testing autoremoval watch
- aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
- [Git][ocaml-team/lambda-term] Pushed new tag archive/debian/3.1.0-1 Stéphane Glondu
- [Git][ocaml-team/lambda-term] Pushed new tag debian/3.1.0-1 Stéphane Glondu
- Processing of lambda-term_3.1.0-1_source.changes Debian FTP Masters
- lambda-term_3.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/utop][pristine-tar] 2 commits: pristine-tar data for utop_2.5.0.orig.tar.gz Stéphane Glondu
- Processing of utop_2.6.0-1_source.changes Debian FTP Masters
- utop_2.6.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processed: tag ftbfs bugs Debian Bug Tracking System
- Processing of ocaml-fpath_0.7.3-2_source.changes Debian FTP Masters
- ocaml-fpath_0.7.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ben_0.9.1_source.changes Debian FTP Masters
- ben_0.9.1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/camomile] Pushed new tag archive/debian/1.0.2-3 Stéphane Glondu
- [Git][ocaml-team/camomile] Pushed new tag debian/1.0.2-3 Stéphane Glondu
- Processing of camomile_1.0.2-3_source.changes Debian FTP Masters
- camomile_1.0.2-3_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#971176: ocaml-reins: FTBFS: File config.omake: line 9, characters 10-29 unbound variable: this.OCAMLDEP_MODULES Lucas Nussbaum
- [Git][ocaml-team/ocaml-rope] Pushed new tag archive/debian/0.6.2-3 Stéphane Glondu
- [Git][ocaml-team/ocaml-rope] Pushed new tag debian/0.6.2-3 Stéphane Glondu
- Processing of ocaml-rope_0.6.2-3_source.changes Debian FTP Masters
- ocaml-rope_0.6.2-3_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/cppo] Pushed new tag archive/debian/1.6.6-2 Stéphane Glondu
- [Git][ocaml-team/cppo] Pushed new tag debian/1.6.6-2 Stéphane Glondu
- Processing of cppo_1.6.6-2_source.changes Debian FTP Masters
- cppo_1.6.6-2_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-ssl] Pushed new tag archive/debian/0.5.9-2 Stéphane Glondu
- [Git][ocaml-team/ocaml-ssl] Pushed new tag debian/0.5.9-2 Stéphane Glondu
- Processing of ocaml-ssl_0.5.9-2_source.changes Debian FTP Masters
- ocaml-ssl_0.5.9-2_source.changes ACCEPTED into unstable Debian FTP Masters
- coq 8.12.0-3 MIGRATED to testing Debian testing watch
- Bug#971415: transition: ocaml Stéphane Glondu
- Bug#971439: Build procedure is incorrect and produces invalid files Emilio Jesús Gallego Arias
The last update was on 16:40 GMT Wed Sep 30. There are 192 messages. Page 1 of 1.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc