debian-ocaml-maint Aug 2022 by author

[previous page]

Page 1 of 1

[next page]

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

---

Stéphane Glondu (@glondu)

• [Git][ocaml-team/belenios][master] 7 commits: New upstream version 1.18+dfsg Aug 11
• [Git][ocaml-team/belenios][upstream] 2 commits: New upstream version 1.18+dfsg Aug 11

Stéphane Glondu

• Re: Updating yojson to 2.0.2 Aug 16

Debian Bug Tracking System

• Bug#1016748: marked as done (mathcomp-analysis: FTBFS: test failure: Error: apply-w-params) Aug 06
• Bug#1016259: marked as done (mathcomp-analysis: FTBFS: build-dependency not installable: libcoq-elpi-b71f8) Aug 06
• Bug#1014726: marked as done (Please package new upstream) Aug 07
• Bug#477084: marked as done (wyrd: pasting reminder omits newline) Aug 20

Debian FTP Masters

• Processing of coq-unimath_20220816-1_source.changes Aug 22
• coq-interval_4.5.2-2_source.changes ACCEPTED into unstable Aug 27
• Processing of coq-mtac2_1.4+8.15-3_source.changes Aug 07
• coq-quickchick_1.6.4-1_source.changes ACCEPTED into unstable Aug 15
• coq-iris_4.0.0-1_source.changes ACCEPTED into unstable Aug 19
• mathcomp-analysis_0.5.3-1_source.changes ACCEPTED into unstable Aug 11
• Bug#1017368: Removed package(s) from experimental Aug 15
• Processing of mathcomp-finmap_1.5.2-1_source.changes Aug 15
• morbig_0.10.4-5.1_source.changes ACCEPTED into experimental Aug 12
• yojson_2.0.2-1_source.changes ACCEPTED into experimental Aug 12
• Processing of mathcomp-analysis_0.5.3-1_source.changes Aug 11
• Processing of coq-hott_8.15-4_source.changes Aug 22
• coq-quickchick_1.6.3-2_source.changes ACCEPTED into unstable Aug 14
• belenios_1.19+dfsg-1_source.changes ACCEPTED into unstable Aug 11
• ppx-sexp-conv_0.15.1+really0.14.3-1_source.changes ACCEPTED into unstable Aug 08
• Processing of wyrd_1.7.1-1_source.changes Aug 22
• Processing of coq-interval_4.5.2-1_source.changes Aug 26
• Processing of yojson_2.0.2-1_source.changes Aug 12
• wyrd_1.7.1-1_source.changes ACCEPTED into unstable Aug 22
• Processing of coq-quickchick_1.6.4-1_source.changes Aug 15
• alt-ergo_2.4.2-1_source.changes ACCEPTED into unstable Aug 06
• coq-simple-io_1.7.0-2_source.changes ACCEPTED into unstable Aug 14
• Processing of coq-simple-io_1.7.0-2_source.changes Aug 14
• Processing of belenios_1.19+dfsg-1_source.changes Aug 11
• Processing of wyrd_1.7-2_source.changes Aug 20
• Processing of wyrd_1.7-1_source.changes Aug 20
• Processing of coq-iris_4.0.0-1_source.changes Aug 19
• ppx-sexp-conv_0.15.1-1_source.changes ACCEPTED into unstable Aug 07
• Processing of morbig_0.10.4-5.1_source.changes Aug 12
• coq-mtac2_1.4+8.15-3_source.changes ACCEPTED into unstable Aug 07
• Processing of coq-stdpp_1.8.0-1_source.changes Aug 19
• coq-unimath_20220816-1_source.changes ACCEPTED into unstable Aug 22
• Processing of coq-ext-lib_0.11.7-1_source.changes Aug 13
• wyrd_1.7-2_source.changes ACCEPTED into unstable Aug 20
• alt-ergo_2.4.2-2_source.changes ACCEPTED into unstable Aug 06
• Processing of coq-reduction-effects_0.1.4-1_source.changes Aug 13
• ocaml-atd_2.10.0-1_source.changes ACCEPTED into experimental Aug 12
• Processing of coq-quickchick_1.6.3-2_source.changes Aug 14
• Processing of mathcomp-analysis_0.5.2-2_source.changes Aug 06
• wyrd_1.7-1_source.changes ACCEPTED into unstable Aug 20
• Processing of ppx-sexp-conv_0.15.1+really0.14.3-1_source.changes Aug 08
• Processing of coq-interval_4.5.2-2_source.changes Aug 27
• coq-ext-lib_0.11.7-1_source.changes ACCEPTED into unstable Aug 13
• coq-interval_4.5.2-1_source.changes ACCEPTED into unstable Aug 26
• coq-reduction-effects_0.1.4-1_source.changes ACCEPTED into unstable Aug 13
• coq-stdpp_1.8.0-1_source.changes ACCEPTED into unstable Aug 19
• Processing of ocaml-atd_2.10.0-1_source.changes Aug 12
• Processing of wyrd_1.7-3_source.changes Aug 21
• mathcomp-analysis_0.5.2-2_source.changes ACCEPTED into unstable Aug 06
• Processing of alt-ergo_2.4.2-2_source.changes Aug 06
• mathcomp-finmap_1.5.2-1_source.changes ACCEPTED into unstable Aug 15
• wyrd_1.7-3_source.changes ACCEPTED into unstable Aug 21
• Processing of ppx-sexp-conv_0.15.1-1_source.changes Aug 07
• coq-hott_8.15-4_source.changes ACCEPTED into unstable Aug 22
• Processing of alt-ergo_2.4.2-1_source.changes Aug 06

Debian testing autoremoval watch

• mathcomp-analysis is marked for autoremoval from testing Aug 07
• coq-hierarchy-builder is marked for autoremoval from testing Aug 07

julien . puydt

• Updating yojson to 2.0.2 Aug 12
• Updating the ppx stack in Debian Aug 15
• Re: Updating yojson to 2.0.2 Aug 16
• Re: Updating yojson to 2.0.2 Aug 22

Julien Puydt (@jpuydt)

• [Git][ocaml-team/ppx-sexp-conv] Pushed new tag debian/1%0.15.1+really0.14.3-1 Aug 08
• [Git][ocaml-team/yojson] Pushed new tag upstream/2.0.2 Aug 12
• [Git][ocaml-team/alt-ergo][upstream] New upstream version 2.4.2 Aug 06
• [Git][ocaml-team/ppx-sexp-conv][upstream] New upstream version 0.15.1+really0.14.3 Aug 08
• [Git][ocaml-team/alt-ergo][master] 5 commits: New upstream version 2.4.2 Aug 06
• [Git][ocaml-team/yojson][upstream] New upstream version 2.0.2 Aug 12
• [Git][ocaml-team/yojson] Pushed new tag debian/2.0.2-1 Aug 12
• [Git][ocaml-team/alt-ergo][master] 2 commits: Re-enable the patch for non-native architectures Aug 06
• [Git][ocaml-team/yojson][master] 7 commits: New upstream version 2.0.2 Aug 12
• [Git][ocaml-team/aac-tactics][master] 4 commits: New upstream version 8.16.0 Aug 22
• [Git][ocaml-team/morbig][master] 2 commits: Add fix_yojson_2.patch Aug 12
• [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.4.2-1 Aug 06
• [Git][ocaml-team/ppx-sexp-conv][master] 3 commits: New upstream version 0.15.1+really0.14.3 Aug 08
• [Git][ocaml-team/alt-ergo] Pushed new tag upstream/2.4.2 Aug 06
• [Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.16.0 Aug 22
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.16.0-1 Aug 22
• [Git][ocaml-team/ppx-sexp-conv] Pushed new tag upstream/0.15.1 Aug 07
• [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.4.2-2 Aug 06
• [Git][ocaml-team/ppx-sexp-conv] Pushed new tag debian/1%0.15.1-1 Aug 07
• [Git][ocaml-team/ppx-sexp-conv] Pushed new tag upstream/0.15.1+really0.14.3 Aug 08
• [Git][ocaml-team/ppx-sexp-conv][master] 6 commits: New upstream version 0.15.0 Aug 07
• [Git][ocaml-team/morbig] Pushed new tag debian/0.10.4-5.1 Aug 12

Sebastian Ramacher

• Bug#1016748: mathcomp-analysis: FTBFS: test failure: Error: apply-w-params Aug 06

Sven Mueller

• Bug#1016678: dose3: Overly sensitive to newlines in package control fields Aug 05

Sylvain Leroy

• Bug#819341: [unison] Please build unison-fsmonitor Aug 12

[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]