debian-ocaml-maint Sep 2020 by author

[previous page]

Page 1 of 1

[next page]

[Thread Index] [Date Index] [Subject Index] [Other Debian Lists] [Debian Home]

---

Stéphane Glondu

• [Git][ocaml-team/labltk] Pushed new tag debian/8.06.9-1 Sep 11
• [Git][ocaml-team/camomile] Pushed new tag archive/debian/1.0.2-3 Sep 27
• [Git][ocaml-team/ocaml-xmlplaylist] Pushed new tag debian/0.1.5-1 Sep 21
• [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/2.7.0-1+exp1 Sep 13
• [Git][ocaml-team/ocaml-lame] Pushed new tag archive/debian/0.3.4-1 Sep 21
• [Git][ocaml-team/camlp5] Pushed new tag upstream/7.13 Sep 04
• [Git][ocaml-team/ocaml-zarith][pristine-tar] pristine-tar data for ocaml-zarith_1.10.orig.tar.gz Sep 21
• [Git][ocaml-team/ocaml-lame][upstream] New upstream version 0.3.4 Sep 21
• [Git][ocaml-team/labltk][pristine-tar] pristine-tar data for labltk_8.06.9.orig.tar.gz Sep 11
• [Git][ocaml-team/opam-file-format] Pushed new tag archive/debian/2.1.0-1 Sep 11
• [Git][ocaml-team/camlp5] Pushed new tag debian/7.13-1 Sep 04
• [Git][ocaml-team/camomile] Pushed new tag debian/1.0.2-3 Sep 27
• [Git][ocaml-team/camlp5][pristine-tar] pristine-tar data for camlp5_7.13.orig.tar.gz Sep 04
• [Git][ocaml-team/ocaml-xmlplaylist][pristine-tar] pristine-tar data for ocaml-xmlplaylist_0.1.5.orig.tar.gz Sep 21
• [Git][ocaml-team/cppo] Pushed new tag debian/1.6.6-2 Sep 28
• [Git][ocaml-team/ocaml] Pushed new tag debian/4.11.1-2 Sep 04
• [Git][ocaml-team/ocaml-xmlplaylist] Pushed new tag archive/debian/0.1.5-1 Sep 21
• [Git][ocaml-team/ocaml][upstream/experimental] 6 commits: New upstream version 4.09.0 Sep 04
• [Git][ocaml-team/ocaml][debian/experimental] 65 commits: Provide libnum-ocaml{,-dev} Sep 04
• [Git][ocaml-team/opam-file-format][pristine-tar] pristine-tar data for opam-file-format_2.1.0.orig.tar.gz Sep 11
• [Git][ocaml-team/ocaml-shine][master] 2 commits: Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse. Sep 10
• [Git][ocaml-team/labltk] Pushed new tag upstream/8.06.9 Sep 11
• [Git][ocaml-team/utop][pristine-tar] 2 commits: pristine-tar data for utop_2.5.0.orig.tar.gz Sep 26
• [Git][ocaml-team/ocaml] Pushed new tag archive/debian/4.11.1-2 Sep 04
• [Git][ocaml-team/ocaml-xmlplaylist] Pushed new tag upstream/0.1.5 Sep 21
• [Git][ocaml-team/ocaml][pristine-tar] 6 commits: pristine-tar data for ocaml_4.09.0.orig.tar.xz Sep 04
• [Git][ocaml-team/ocaml-zarith] Pushed new tag debian/1.10-1 Sep 21
• [Git][ocaml-team/ocaml-lame] Pushed new tag upstream/0.3.4 Sep 21
• [Git][ocaml-team/ocaml-ssl] Pushed new tag debian/0.5.9-2 Sep 29
• [Git][ocaml-team/ocaml-rope] Pushed new tag debian/0.6.2-3 Sep 28
• [Git][ocaml-team/ocaml-rope] Pushed new tag archive/debian/0.6.2-3 Sep 28
• [Git][ocaml-team/ocaml-dune] Pushed new tag debian/2.7.0-1+exp1 Sep 13
• [Git][ocaml-team/opam-file-format] Pushed new tag debian/2.1.0-1 Sep 11
• [Git][ocaml-team/ocaml-ssl] Pushed new tag archive/debian/0.5.9-2 Sep 29
• [Git][ocaml-team/ocaml-zarith] Pushed new tag upstream/1.10 Sep 21
• [Git][ocaml-team/lambda-term] Pushed new tag archive/debian/3.1.0-1 Sep 25
• [Git][ocaml-team/ocaml-xmlplaylist][upstream] New upstream version 0.1.5 Sep 21
• [Git][ocaml-team/ocaml-lame] Pushed new tag debian/0.3.4-1 Sep 21
• [Git][ocaml-team/lambda-term] Pushed new tag debian/3.1.0-1 Sep 25
• [Git][ocaml-team/ocaml-zarith] Pushed new tag archive/debian/1.10-1 Sep 21
• [Git][ocaml-team/cppo] Pushed new tag archive/debian/1.6.6-2 Sep 28
• [Git][ocaml-team/ocaml-xmlplaylist][master] 6 commits: Update debian/watch Sep 21
• [Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.1.0 Sep 11
• [Git][ocaml-team/opam-file-format] Pushed new tag 2.1.0 Sep 11
• [Git][ocaml-team/labltk] Pushed new tag archive/debian/8.06.9-1 Sep 11
• [Git][ocaml-team/ocaml-lame][master] 6 commits: Update debian/watch Sep 21
• [Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.1.0-1 Sep 11
• [Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.1.0-1 Sep 11
• [Git][ocaml-team/ocaml-dune] Pushed new branch debian/experimental Sep 13
• [Git][ocaml-team/ocaml-lame][pristine-tar] pristine-tar data for ocaml-lame_0.3.4.orig.tar.gz Sep 21

Stéphane Glondu

• Bug#970744: ben: please provide machine-parseable version of transition status Sep 24
• Bug#970010: ITP: ocaml-csexp -- parsing and printing of S-expressions in Canonical form Sep 10
• Bug#970222: ITP: ocaml-graphics -- the OCaml graphics library Sep 13
• Bug#971415: transition: ocaml Sep 30
• Bug#970627: ITP: ocaml-mew-vi -- modal editing witch, VI interpreter Sep 20
• Bug#970744: ben: please provide machine-parseable version of transition status Sep 27
• Bug#970744: ben: please provide machine-parseable version of transition status Sep 23
• Bug#970626: ITP: ocaml-mew -- modal editing witch Sep 20
• Bug#970744: ben: please provide machine-parseable version of transition status Sep 26

Stéphane Glondu

• OCaml 4.11.1 Sep 23
• Status of aac-tactics (and migration of coq) Sep 23

Debian Bug Tracking System

• Processed: limit source to coccinelle, tagging 969451 Sep 03
• Bug#830185: marked as done ([coccinelle] Fatal errors when running Linux coccicheck) Sep 03
• Bug#953229: marked as done (coq: FTBFS test failures) Sep 11
• Processed: Re: Bug#970744: ben: please provide machine-parseable version of transition status Sep 27
• Bug#969451: marked as done (coccinelle: use the system pyml library) Sep 06
• Processed: tag ftbfs bugs Sep 27
• Bug#970744: marked as done (ben traker: please support multiple outputs) Sep 27
• Bug#970510: marked as done (why3: does not work with current version of cvc4) Sep 23
• Bug#968946: marked as done (coccinelle: FTBFS in sid) Sep 02
• Bug#886712: marked as done (Semantic patch uses python, but Coccinelle has been compiled without Python support) Sep 02
• Processed: tagging 968946 Sep 02

Debian buildds

• failed s390x build of coq 8.12.0-3 Sep 10
• failed s390x build of coq 8.12.0-2 Sep 06

Debian FTP Masters

• Processing of ocaml-dune_2.7.0-1+exp1_source.changes Sep 13
• ben_0.9.1_source.changes ACCEPTED into unstable Sep 27
• ocaml-mew-vi_0.5.0-1_amd64.changes ACCEPTED into unstable, unstable Sep 24
• ocaml-batteries_3.1.0-1_source.changes ACCEPTED into unstable Sep 11
• opam-file-format_2.1.0-1_source.changes ACCEPTED into unstable Sep 11
• Processing of why3_1.3.2-1_source.changes Sep 11
• ocaml-hex_1.4.0-1_amd64.changes is NEW Sep 24
• Processing of ocaml-batteries_3.1.0-1_source.changes Sep 11
• ocaml-mew-vi_0.5.0-1_amd64.changes is NEW Sep 24
• lambda-term_3.1.0-1_source.changes ACCEPTED into unstable Sep 25
• ocaml-bigarray-compat_1.0.0-1_amd64.changes ACCEPTED into unstable, unstable Sep 18
• Processing of ocaml-xmlplaylist_0.1.5-1_source.changes Sep 21
• Processing of ocaml-lame_0.3.4-1_source.changes Sep 21
• ocaml-lame_0.3.4-1_source.changes ACCEPTED into unstable Sep 21
• Processing of ben_0.9.1_source.changes Sep 27
• camomile_1.0.2-3_source.changes ACCEPTED into unstable Sep 27
• camlp5_7.13-1_source.changes ACCEPTED into unstable Sep 04
• Processing of ocaml-fpath_0.7.3-1_source.changes Sep 21
• coccinelle_1.0.8.deb-5_source.changes ACCEPTED into unstable Sep 06
• ocaml-trie_1.0.0-1_amd64.changes ACCEPTED into unstable, unstable Sep 18
• ocaml_4.11.1-1_source.changes ACCEPTED into experimental Sep 04
• Processing of ocaml_4.11.1-1_source.changes Sep 04
• Processing of ocaml-ffmpeg_0.4.3-1_source.changes Sep 07
• ocaml-hex_1.4.0-1_amd64.changes ACCEPTED into unstable, unstable Sep 24
• ocaml-fpath_0.7.3-2_source.changes ACCEPTED into unstable Sep 27
• Processing of coccinelle_1.0.8.deb-4_source.changes Sep 02
• Processing of ocaml-hex_1.4.0-1_amd64.changes Sep 24
• dh-ocaml_1.1.3_source.changes ACCEPTED into unstable Sep 04
• Processing of ocaml-rope_0.6.2-3_source.changes Sep 28
• Processing of ocaml-qcheck_0.15-1_source.changes Sep 21
• Processing of coq_8.12.0-3_source.changes Sep 10
• ocaml-qtest_2.11.1-1_source.changes ACCEPTED into unstable Sep 21
• Processing of ocaml-csexp_1.3.1-1_amd64.changes Sep 10
• ocaml-cstruct_5.2.0-1_amd64.changes is NEW Sep 19
• ocaml-zarith_1.10-1_source.changes ACCEPTED into unstable Sep 21
• ocaml-dune_2.7.0-1+exp1_source.changes ACCEPTED into experimental Sep 13
• coccinelle_1.0.8.deb-4_source.changes ACCEPTED into unstable Sep 02
• ocaml-ffmpeg_0.4.3-1_source.changes ACCEPTED into unstable Sep 07
• ocaml-graphics_5.1.0-1_amd64.changes ACCEPTED into experimental, experimental Sep 18
• ocaml-ssl_0.5.9-2_source.changes ACCEPTED into unstable Sep 29
• why3_1.3.2-1_source.changes ACCEPTED into unstable Sep 11
• coq_8.12.0-3_source.changes ACCEPTED into unstable Sep 10
• Processing of coq_8.12.0-2_source.changes Sep 06
• utop_2.6.0-1_source.changes ACCEPTED into unstable Sep 26
• ocaml-mew_0.1.0-1_amd64.changes is NEW Sep 20
• Processing of utop_2.6.0-1_source.changes Sep 26
• Processing of camlp5_7.13-1_source.changes Sep 04
• Processing of lambda-term_3.1.0-1_source.changes Sep 25
• Processing of dh-ocaml_1.1.3_source.changes Sep 04
• Processing of camomile_1.0.2-3_source.changes Sep 27
• Processing of ocaml-zarith_1.10-1_source.changes Sep 21
• Processing of ocaml_4.11.1-2_source.changes Sep 04
• Processing of cppo_1.6.6-2_source.changes Sep 28
• Processing of ocaml-cstruct_5.2.0-1_amd64.changes Sep 19
• Processing of coccinelle_1.0.8.deb-5_source.changes Sep 06
• ocaml-fpath_0.7.3-1_source.changes ACCEPTED into unstable Sep 21
• Processing of opam-file-format_2.1.0-1_source.changes Sep 11
• ocaml-csexp_1.3.1-1_amd64.changes is NEW Sep 10
• why3_1.3.3-1_source.changes ACCEPTED into unstable Sep 23
• Processing of why3_1.3.3-1_source.changes Sep 23
• Processing of labltk_8.06.9-1_source.changes Sep 11
• coq_8.12.0-2_source.changes ACCEPTED into experimental Sep 06
• Processing of ocaml-graphics_5.1.0-1_amd64.changes Sep 13
• Processing of ocaml-qtest_2.11.1-1_source.changes Sep 21
• labltk_8.06.9-1_source.changes ACCEPTED into unstable Sep 11
• ocaml_4.11.1-2_source.changes ACCEPTED into experimental Sep 04
• Processing of ssreflect_1.11.0-1_source.changes Sep 11
• ocaml-rresult_0.6.0-1_amd64.changes ACCEPTED into unstable, unstable Sep 18
• ocaml-graphics_5.1.0-1_amd64.changes is NEW Sep 13
• Processing of ocaml-mew_0.1.0-1_amd64.changes Sep 20
• Processing of ocaml-fpath_0.7.3-2_source.changes Sep 27
• Accepted coq 8.12.0-2 (source) into experimental Sep 06
• ocaml-mew_0.1.0-1_amd64.changes ACCEPTED into unstable, unstable Sep 23
• Processing of ocaml-ssl_0.5.9-2_source.changes Sep 29
• ssreflect_1.11.0-1_source.changes ACCEPTED into unstable Sep 11
• ocaml-xmlplaylist_0.1.5-1_source.changes ACCEPTED into unstable Sep 21
• ocaml-csexp_1.3.1-1_amd64.changes ACCEPTED into unstable, unstable Sep 18
• ocaml-rope_0.6.2-3_source.changes ACCEPTED into unstable Sep 28
• cppo_1.6.6-2_source.changes ACCEPTED into unstable Sep 28
• Processing of ocaml-mew-vi_0.5.0-1_amd64.changes Sep 24
• ocaml-cstruct_5.2.0-1_amd64.changes ACCEPTED into unstable, unstable Sep 23
• Accepted coq 8.12.0-3 (source) into unstable Sep 10
• ocaml-qcheck_0.15-1_source.changes ACCEPTED into unstable Sep 21

Debian testing autoremoval watch

• coccinelle is marked for autoremoval from testing Sep 01
• coccinelle is marked for autoremoval from testing Sep 05
• coq-float is marked for autoremoval from testing Sep 25
• aac-tactics is marked for autoremoval from testing Sep 25

Debian testing watch

• coq 8.12.0-3 MIGRATED to testing Sep 30

Emilio Jesús Gallego Arias

• Bug#971439: Build procedure is incorrect and produces invalid files Sep 30

Fabian Wolff

• Bug#970510: why3: does not work with current version of cvc4 Sep 17
• Bug#970510: why3: does not work with current version of cvc4 Sep 23

Lisa Williams

• Hi Dear Sep 17

Lucas Nussbaum

• Bug#971176: ocaml-reins: FTBFS: File config.omake: line 9, characters 10-29 unbound variable: this.OCAMLDEP_MODULES Sep 27

Paul Wise

• Bug#970069: marionnet: bullseye: /updates -> -security Sep 11

Pino Toscano

• Bug#969451: coccinelle: use the system pyml library Sep 03

Ralf Treinen

• Bug#969451: coccinelle: use the system pyml library Sep 03
• [Git][ocaml-team/ssreflect][master] 4 commits: New upstream version 1.11.0 Sep 11
• [Git][ocaml-team/why3] Pushed new tag debian/1.3.3-1 Sep 23
• [Git][ocaml-team/coq][master] 32 commits: New upstream version 8.10.1 Sep 10
• Re: Status of aac-tactics (and migration of coq) Sep 23
• [Git][ocaml-team/coq][upstream] 2 commits: New upstream version 8.11.1~pre1 Sep 10
• [Git][ocaml-team/why3][master] 4 commits: New upstream version 1.3.2 Sep 09
• [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.3.3.orig.tar.gz Sep 23
• [Git][ocaml-team/ssreflect] Pushed new tag upstream/1.11.0 Sep 11
• [Git][ocaml-team/coq] Pushed new tag debian/8.12.0-3 Sep 10
• [Git][ocaml-team/why3] Pushed new tag upstream/1.3.3 Sep 23
• [Git][ocaml-team/why3] Pushed new tag debian/1.3.2-1 Sep 11
• [Git][ocaml-team/why3][upstream] New upstream version 1.3.2 Sep 09
• [Git][ocaml-team/ssreflect] Pushed new tag debian/1.11.0-1 Sep 11
• Bug#970510: why3: does not work with current version of cvc4 Sep 23
• [Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.12.0.orig.tar.gz Sep 11
• [Git][ocaml-team/ssreflect][upstream] New upstream version 1.11.0 Sep 11
• [Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_1.11.0.orig.tar.gz Sep 11

Sebastian Ramacher

• Bug#970744: ben: please provide machine-parseable version of transition status Sep 22
• Bug#970744: ben: please provide machine-parseable version of transition status Sep 23
• Bug#970744: ben: please provide machine-parseable version of transition status Sep 25
• Bug#970744: ben: please provide machine-parseable version of transition status Sep 23

Sorbonne

• Paris 2021 conferene Sep 04

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]