debian-ocaml-maint Jun 2025 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/ocaml] Pushed new tag archive/debian/5.3.0-3 Jun 12
• [Git][ocaml-team/ocaml] Pushed new tag debian/5.3.0-3 Jun 12
• [Git][ocaml-team/ocaml][debian/sid] Prepare upload to unstable Jun 12

Stéphane Glondu

• Re: Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3 Jun 18
• Re: unblock (pre-approval): ocaml/5.3.0-3 Jun 17
• Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3 Jun 10

Adrian Bunk

• Bug#1107826: coq-elpi FTBFS on riscv64: too slow: 10.899094 < 10.000000 Jun 15

Alexandre Detiste

• Bug#1107762: hol-light: please stop Suggesting the old & remove "python" (= Python2) Jun 13

Damian

• Bug#1108394: Package is missing fsmonitor Jun 27

Debian Bug Tracking System

• Processed: uploaded to sid Jun 17
• Processed: Bug#1103008 marked as pending in ocaml Jun 10
• Processed: Embeds BLAKE3 C implementation, should use libblake3-dev when it becomes available Jun 01
• Processed: forcibly merging 1107826 1107829 Jun 15
• Processed: Re: Bug#1107773: ocaml: FTBFS on ppc64el: Something failed. Exiting with error status. Jun 14
• Bug#890609: marked as done (ocaml-native-compilers: Generates invalid assembly for arm64 when building hhvm) Jun 10
• Bug#1105410: marked as done (lem: FTBFS with make --shuffle=reverse: make[1]: *** [debian/rules:23: execute_after_dh_auto_install] Error 127 shuffle=reverse) Jun 24
• Bug#1101353: marked as done (ocaml: FTBFS: List of failed tests: tests/memory-model/forbidden.ml tests/memory-model/publish.ml tests/parallel/pingpong.ml) Jun 12
• Processed: Re: Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3 Jun 14
• Bug#1103008: marked as done (ocaml: FTBFS on arm64: test_dropped_events.ml flaky) Jun 12
• Processed: Re: 1103008 ocaml: FTBFS on arm64: test_dropped_events.ml flaky Jun 09
• Bug#1107829: marked as done (coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 < 10.000000)) Jun 17
• Bug#1107826: marked as done (coq-elpi FTBFS on riscv64: too slow: 10.899094 < 10.000000) Jun 17

Debian FTP Masters

• Processing of coq-elpi_2.5.0-1.1_source.changes Jun 17
• lem_2025-03-13+dfsg-1_source.changes REJECTED Jun 25
• coq-elpi_2.5.0-1.1_source.changes ACCEPTED into unstable Jun 17
• lem_2025-03-13+dfsg-1_source.changes ACCEPTED into unstable Jun 24
• Processing of ocaml_5.3.0-3_source.changes Jun 12
• Processing of lem_2025-03-13+dfsg-1_source.changes Jun 25
• ocaml_5.3.0-3_source.changes ACCEPTED into unstable Jun 12

Gianfranco Costamagna

• Bug#1107826: uploaded to sid Jun 17

Hand Tong

• 研究：使用牙线可以预防中风 Jun 26

Paul Gevers

• Bug#1103008: 1103008 ocaml: FTBFS on arm64: test_dropped_events.ml flaky Jun 09

Santiago Vila

• Re: Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3 Jun 17

Sebastian Ramacher

• Bug#1107773: ocaml: FTBFS on ppc64el: Something failed. Exiting with error status. Jun 14
• Bug#1107773: ocaml: FTBFS on ppc64el: Something failed. Exiting with error status. Jun 14
• Re: Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3 Jun 17

Yue Gui

• Bug#1107829: coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 < 10.000000) Jun 15

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