debian-ocaml-maint Jun 2025 by thread

[previous page]

Page 1 of 1

[next page]

Processed: Embeds BLAKE3 C implementation, should use libblake3-dev when it becomes available Debian Bug Tracking System
Bug#1103008: 1103008 ocaml: FTBFS on arm64: test_dropped_events.ml flaky Paul Gevers

Bug#890609: marked as done (ocaml-native-compilers: Generates invalid assembly for arm64 when building hhvm) Debian Bug Tracking System
Processed: Bug#1103008 marked as pending in ocaml Debian Bug Tracking System
Bug#1107586: unblock (pre-approval): ocaml/5.3.0-3 Stéphane Glondu

ocaml_5.3.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
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) Debian Bug Tracking System
Bug#1103008: marked as done (ocaml: FTBFS on arm64: test_dropped_events.ml flaky) Debian Bug Tracking System
[Git][ocaml-team/ocaml][debian/sid] Prepare upload to unstable Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.3.0-3 Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml] Pushed new tag debian/5.3.0-3 Stéphane Glondu (@glondu)
Processing of ocaml_5.3.0-3_source.changes Debian FTP Masters
Bug#1107762: hol-light: please stop Suggesting the old & remove "python" (= Python2) Alexandre Detiste
Bug#1107773: ocaml: FTBFS on ppc64el: Something failed. Exiting with error status. Sebastian Ramacher

Processed: Re: Bug#1107773: ocaml: FTBFS on ppc64el: Something failed. Exiting with error status. Debian Bug Tracking System
Bug#1107773: ocaml: FTBFS on ppc64el: Something failed. Exiting with error status. Sebastian Ramacher

Bug#1107826: coq-elpi FTBFS on riscv64: too slow: 10.899094 < 10.000000 Adrian Bunk

Processed: uploaded to sid Debian Bug Tracking System
Bug#1107826: uploaded to sid Gianfranco Costamagna
Bug#1107826: marked as done (coq-elpi FTBFS on riscv64: too slow: 10.899094 < 10.000000) Debian Bug Tracking System

Bug#1107829: coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 < 10.000000) Yue Gui

Bug#1107829: marked as done (coq-elpi:FTBFS:build failed(test Error: too slow: 10.899094 < 10.000000)) Debian Bug Tracking System

Processed: forcibly merging 1107826 1107829 Debian Bug Tracking System
coq-elpi_2.5.0-1.1_source.changes ACCEPTED into unstable Debian FTP Masters
Processing of coq-elpi_2.5.0-1.1_source.changes Debian FTP Masters
lem_2025-03-13+dfsg-1_source.changes ACCEPTED into unstable Debian FTP Masters
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) Debian Bug Tracking System
Processing of lem_2025-03-13+dfsg-1_source.changes Debian FTP Masters
lem_2025-03-13+dfsg-1_source.changes REJECTED Debian FTP Masters
研究：使用牙线可以预防中风 Hand Tong
Bug#1108394: Package is missing fsmonitor Damian

The last update was on 15:00 GMT Fri Jun 27. There are 37 messages. Page 1 of 1.

[previous page]

Page 1 of 1

[next page]

Mail converted by MHonArc